Pinned Repositories
ChezScheme
Chez Scheme
.stumpwm.d
My stumpwm config
ChezScheme
Chez Scheme
coq-MiniHTTPServer
A minimal, certified, executable HTTP server written in Coq
drracket
DrRacket, IDE for Racket
freebsd
FreeBSD src tree (read-only mirror)
PNPNPN
scheme-to-c
A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
sofa
Swarm of Functions Analysis Tools
tokomikea's Repositories
tokomikea/.stumpwm.d
My stumpwm config
tokomikea/ChezScheme
Chez Scheme
tokomikea/coq-MiniHTTPServer
A minimal, certified, executable HTTP server written in Coq
tokomikea/drracket
DrRacket, IDE for Racket
tokomikea/freebsd
FreeBSD src tree (read-only mirror)
tokomikea/PNPNPN
tokomikea/scheme-to-c
A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
tokomikea/sofa
Swarm of Functions Analysis Tools