Language, engine, and tooling for testing composable language rules
Proof Logic : A logical framework for theorem proving
Public files of alphabit.org domain
Command-line interface for Fission
Collection of scripts for transfinite ordinals computations
Haskell LLVM JIT Compiler Tutorial
Functional Arabic Morphology
realtime 3d surface rendering library
open game world to be set in a realistic environment
Power tools for creating Stunts track maps.
foundation of the General Intelligence Operating System
wiki engine for small teams
Distributed reverse / forward proxy and tunneling solution for TCP.
iptables web interface