Ptival's Stars
doomemacs/doomemacs
An Emacs framework for the stubborn martian hacker
ghcjs/ghcjs
Haskell to JavaScript compiler, based on GHC
bos/stanford-cs240h
Course materials for Stanford CS240h, "Functional Systems in Haskell"
liamoc/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
pvorb/learn-you-a-haskell
“Learn You a Haskell for Great Good!” by Miran Lipovača
PLSysSec/FaCT
Flexible and Constant Time Programming Language
the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
NoharOSP/Perfect_Works_Build
Xenogears Perfect Works Build: Including all official Xenogears information in PSX ROM and other improvements.
stevecheckoway/ucsddissertation
LaTeX class file for writing dissertations at UC San Diego
UCSD-PL/kraken
raphael-proust/cps-ssa
Experiments about intermediate representations in compilers
qingkaishi/netlifter
Lifting network implementation to precise format specification
FreeProving/language-coq
Coq AST and pretty-printer written in Haskell
jamiehumphries/marvel-shuffle
Marvel Champions game randomiser.
rtegrity/cheritree
CHERI Capability Derivation Tree
Steap/Pire2Pire
Second year project. Network programming, system programming.
xaviershay/legendary-bench