peterbb/frp-formal
Formalization of Functional Reactive Programming
Developer Profile
peterbb
Discovered public repositories for peterbb in the GitHub catalog.
peterbb/twelf-examples
Public repository.
peterbb/formal-dlraces
Formalization in Ott and Coq for dlraces
peterbb/depend
Implementation of Lambda-P-omega in Haskell
peterbb/euler
Public repository.
peterbb/uio-print
Commandline tool for printing at uio via ssh.
peterbb/compiler
Public repository.