Homepage of Dennis J. Darland's Favorite Open Source Software
Consult the documentation in each distribution for any restictions on its use.
-
Email:
dennis.darland@yahoo.com
Comments welcome
-
For other things I'm doing see
my home page.
-
For Links to Open Source Software Documentation [in many cases the documentation also has links with the software itself below]
Open Source Software Documentation
Open Source Operating Environments
-
Linux - A unix like Operating System
-
Cygwin - A unix like environment under Windows
Open Source Programming Languages
-
Snobol
-
Icon
-
Unicon
-
Ruby
-
Swi-Prolog
-
Goedel (looks interesting)
-
Common Lisp
-
OPS5
-
Polyml implementation of Standard ML
-
Standard ML of New Jersey
-
Eiffel (looks interesting)
-
Bertrand - The first Constraint Programming Language
Bertrand - doxygen generated documentation
-
Russell (obsolete)
Russell - doxygen generated documentation
Open Source Tools
-
doxygden Documentation Generator
-
Isabelle Logic Theorem Proving Tool
The Archive of Formal Proofs [in Isabelle]
-
GNU Emacs
-
Ruby on Rails - A Web Framework
-
A Web Page Design Tool
It isn't completely polished, but is very useful.
The installation directions are in German, but when installed you can choose between German and English.
-
OpenOffice.org
-
AbstractSpoon ToDoList for Vista
Visitors since December 24, 2007