rbohrer
Assistant Prof. of Computer Science at WPI. Interdisciplinary. (she/her)
Worcester Polytechnic InstituteWorcester, MA
Pinned Repositories
Isabelle-dL
A formally verified implementation of differential dynamic logic in Isabelle
KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
fif
Fortran In Fortran (Fortran 57 compiler in Fortran 08)
ocaml-krb
A native OCaml implementation of the Kerberos protocol based on MIT krb5
PieceWork
Quilting with HoTT
pl-course
rosetta
Contributions to RosettaCode
rbohrer's Repositories
rbohrer/fif
Fortran In Fortran (Fortran 57 compiler in Fortran 08)
rbohrer/PieceWork
Quilting with HoTT
rbohrer/ocaml-krb
A native OCaml implementation of the Kerberos protocol based on MIT krb5
rbohrer/pl-course
rbohrer/rosetta
Contributions to RosettaCode
rbohrer/waterboard
rbohrer/AirSim
Open source simulator based on Unreal Engine for autonomous vehicles from Microsoft AI & Research
rbohrer/bugkillr
Automatically exported from code.google.com/p/bugkillr
rbohrer/callforpartners
The greatest website in the history of websites
rbohrer/emacs
Emacs config files and stuff
rbohrer/hcpl
Repo for human centered programming languages book. Initially just for issue tracking
rbohrer/heroku-buildpack-cl
rbohrer/heroku-cl-example
Example use of Heroku Common Lisp Buildpack
rbohrer/KeYmaeraX-release
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (release)
rbohrer/lisp-openshift
Run sbcl-powered lisp-based web apps on Red Hat's OpenShift
rbohrer/outbreak
Automatically exported from code.google.com/p/outbreak
rbohrer/pl-elective
Teaching programming, languages, etc. to the masses.
rbohrer/thesis-proposal