Homepage of Dennis J. Darland's Favorite Open Source Software

    Consult the documentation in each distribution for any restictions on its use.

  1. Email: dennis.darland@yahoo.com
    2. Comments welcome
  2. For other things I'm doing see my home page.
  3. For Links to Open Source Software Documentation [in many cases the documentation also has links with the software itself below] Open Source Software Documentation

    4. Open Source Operating Environments

  4. Linux - A unix like Operating System
    SUSE Linux
  5. Cygwin - A unix like environment under Windows

    6. Open Source Programming Languages

  6. maxima - a computer algebra system
  7. Snobol
  8. Icon
  9. Unicon
  10. Ruby
  11. Swi-Prolog
  12. Goedel (looks interesting)
  13. Common Lisp
  14. OPS5
  15. Polyml implementation of Standard ML
  16. Standard ML of New Jersey
  17. Eiffel (looks interesting)
  18. Bertrand - The first Constraint Programming Language
    19. Bertrand - doxygen generated documentation
  19. Russell (obsolete)
    20. Russell - doxygen generated documentation

    Open Source Tools

  20. doxygden Documentation Generator
  21. Isabelle Logic Theorem Proving Tool
    The Archive of Formal Proofs [in Isabelle]
  22. GNU Emacs
  23. GNU TeXmacs
    I had to do as little experimenting with it. I cannot yet print directly. It tried to print postscript even though I have ghostscript installed. (This is under cygewin and the cygwin version of TeXmacs - I haven't installed it under Linux). I did however export to HTML and print that. My main interest is using it for HTML anyway.
  24. Ruby on Rails - A Web Framework
  25. 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.
    I have made Code Snippets for special symbols.
  26. OpenOffice.org
  27. AbstractSpoon ToDoList for Vista
Visitors since December 24, 2007