cadadr.org
What follows is a tiny list of useful links.
I'm maintaining it just for my own reference.
Некоторые полезные ссылки
Некоторые домашние страницы с полезными записками лекций, обзорами или книжками:
Some useful links
Video archives:
Software
I'm using only free software. The following list reflects my preferences.
- GNU, FSF
- ...
- Debian GNU/Linux
- A free operating system
- Emacs
- Escape-Meta-Alt-Control-Shift
- xmonad
- A tiling X11 window manager written in Haskell
- TeX Users Group
- The TeX typesetting system
- LaTeX
- A document preparation system based on TeX
- Graphviz
- Graph Visualization Software
- Maxima
- A free computer algebra system
- GAP
- A free system for computational discrete algebra
- fetchmail
- A free mail retrieval agent
- procmail
- A free mail delivery agent and mail filter
- rxvt-unicode
- A nice terminal emulator for X11
- rlwrap
- A readline wrapper.
- rss2email
- (To read RSS feeds from Wanderlust or Gnus)
- GNU Aspell
- A spell checker
- Git
- A distributed version control system
- XMMS2
- A music player
- cdparanoia
- A compact disc ripper
Programming
Here are some links from my applied CS past.
A language that doesn’t affect the way you think about programming, is not worth knowing.
— Alan J. Perlis
Haskell
Implementations:
GHC,
Hugs 98,
nhc98.
Tutorials:
Clean
Caml
Coq
Prolog
Implementations:
SWI-Prolog,
GNU Prolog,
Ciao.
Standard ML
Implementations:
SML/NJ,
MLton.
Scheme
Implementations:
PLT,
SCM,
Elk,
MIT/GNU Scheme,
Gambit,
CHICKEN
Bigloo.
Common Lisp
Implementations:
CMUCL,
SBCL,
Clisp,
GCL.
Lua
Perl
Curry
Curry is an experimental functional logic programming language, based on Haskell.
More or less historical