| Type |
Name |
Summary |
| Project |
unladen-swallow
|
A faster implementation of Python
|
| Project |
google-code-prettify
|
syntax highlighting of code snippets in a web page
|
| Project |
geocam
|
Geometric Evolutions on Computational Abstract manifolds
|
| Project |
tapl-haskell
|
Haskell ports of the OCaml implementations for "Types and Programming Languages" by Benjamin C. Pierce
|
| Project |
hiccup
|
tcl impersonator
|
| Project |
quagmire
|
quagmire is a replacement for automake and libtool using GNU make features
|
| Project |
serf
|
High-performance asynchronous HTTP client library
|
| Project |
spiped
|
spiped secure pipe daemon
|
| Project |
svn-time-lapse-view
|
Subversion tool for quickly viewing all revisions of a file
|
| Project |
replib
|
A Datatype-Generic Programming Library
|
| Project |
yhc
|
York Haskell Compiler
|
| Project |
macfuse
|
The Easiest and Fastest Way to Create File Systems for Mac OS X
|
| Project |
omega
|
Ωmega is a purely functional programming language and a proof system
|
| Project |
trellys
|
The Trellys programming language: dependent types for the masses.
|
| Project |
include-what-you-use
|
A tool for use with clang to analyze #includes in C and C++ source files
|
| Project |
llvm-lua
|
JIT/Static compiler for Lua using LLVM on the backend.
|
| Project |
nax
|
Nax programming language
|
| Project |
xmonad
|
xmonad: a tiling window manager
|