Trac is an enhanced wiki and issue tracking system for software development projects. Trac uses a minimalistic approach to web-based software project management. Our mission is to help developers write great software while staying out of the way. Trac sho
monotone is a free distributed version control system. it provides a simple, single-file transactional version store, with fully disconnected operation and an efficient peer-to-peer synchronization protocol. it understands history-sensitive merging, light
Augmenting Hardware Design with Functional Languages. A series of functional languages for hardware design. Confluence and HDLcaml (sp?) were based on OCaml, the newest called "Atom" is based on Haskell.
A Common Lisp library to allow querying del.icio.us. Might be useful to analyse my (currently it supports only access to the bookmarks of the account owner) bookmarks. As of 2013-02-15, the site is not accessible.
Blog article about quantum computing, discussion D-wave's controversial claims and mentioning Structure and Interpretation of Quantum Mechanics, a conference paper describing a way to model quantum mechanics in Haskell.
Found this page when looking for a Spigot algorithm for pi, but has also an article about using formal methods in the development of the Transputer Floating Point Unit.