Pinned Repositories
571-proj
598-pres-redirect
actix-web
Actix web is a small, pragmatic, and extremely fast rust web framework.
clojure-mode
Emacs support for the Clojure(Script) programming language
discrete-mathematics
A computational way to study discrete mathematics using Haskell
FStar
Verification system for effectful programs
ipfs
IPFS - The Permanent Web
joearms.github.com
blog
jonesforth
Just a backup of the very nice Richard W.M. Jones Forth interpreter
radamsa
a general-purpose fuzzer
0xFORDCOMMA's Repositories
0xFORDCOMMA/571-proj
0xFORDCOMMA/598-pres-redirect
0xFORDCOMMA/actix-web
Actix web is a small, pragmatic, and extremely fast rust web framework.
0xFORDCOMMA/clojure-mode
Emacs support for the Clojure(Script) programming language
0xFORDCOMMA/discrete-mathematics
A computational way to study discrete mathematics using Haskell
0xFORDCOMMA/FStar
Verification system for effectful programs
0xFORDCOMMA/ipfs
IPFS - The Permanent Web
0xFORDCOMMA/joearms.github.com
blog
0xFORDCOMMA/jonesforth
Just a backup of the very nice Richard W.M. Jones Forth interpreter
0xFORDCOMMA/radamsa
a general-purpose fuzzer
0xFORDCOMMA/research-CRDT
Repo to organize our ideas about research implementations of CRDTs.
0xFORDCOMMA/sicp
SICP, the LFE Edition