Pinned Repositories
9ferno
joe's experimental amd64 fork of purgatorio
acl2
ACL2 System and Books as Maintained by the Community
bup
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Current release is 0.29.1, and the development branch is master. Please post problems or patches to the mailing list for discussion (see the end of the README below).
lean-mode
Emacs mode for Lean
mlton
The MLton repository
node9
A portable hybrid distributed OS based on Inferno, LuaJIT and Libuv
ptlsim
My modifications to PTLsim
sbcl
Mirror of Steel Bank Common Lisp (SBCL)'s official repository
sst-core
SST Structural Simulation Toolkit Parallel Discrete Event Core and Services
cdunham's Repositories
cdunham/ptlsim
My modifications to PTLsim
cdunham/node9
A portable hybrid distributed OS based on Inferno, LuaJIT and Libuv
cdunham/9ferno
joe's experimental amd64 fork of purgatorio
cdunham/acl2
ACL2 System and Books as Maintained by the Community
cdunham/bup
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Current release is 0.29.1, and the development branch is master. Please post problems or patches to the mailing list for discussion (see the end of the README below).
cdunham/lean-mode
Emacs mode for Lean
cdunham/mlton
The MLton repository
cdunham/sbcl
Mirror of Steel Bank Common Lisp (SBCL)'s official repository
cdunham/sst-core
SST Structural Simulation Toolkit Parallel Discrete Event Core and Services
cdunham/swig
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.