dnm

Pinned Repositories

bsc
Bluespec Compiler (BSC)
Language:Haskell927 49 308143
bsc
Bluespec Compiler (BSC)
Language:Bluespec0 0 00
cormanlisp
Corman Lisp
Language:Common Lisp0 2 00
dpg
Dylan Programming Guide, a book about Dylan.
Language:Python1 2 00
l4v
seL4 specification and proofs
Language:Isabelle0 2 00
OpenHT
Hybrid Threading Tool Set
Language:C++0 2 00
orp
Language:C0 2 00
seL4
The seL4 microkernel
Language:C0 2 00
opencola-alpha
41 6 72
umka-lang
Umka: a statically typed embeddable scripting language
Language:C1k 19 32954

dnm's Repositories

dnm/dpg
Dylan Programming Guide, a book about Dylan.
Language:Python1 2 00
dnm/bsc
Bluespec Compiler (BSC)
Language:Bluespec0 0 00
dnm/cormanlisp
Corman Lisp
Language:Common Lisp0 2 00
dnm/l4v
seL4 specification and proofs
Language:Isabelle0 2 00
dnm/OpenHT
Hybrid Threading Tool Set
Language:C++0 2 00
dnm/orp
Language:C0 2 00
dnm/seL4
The seL4 microkernel
Language:C0 2 00