All Git Users → lthms

2 open source projects by lthms

[ Open user page on Github ]

Extensible, Type Safe Error Handling in Haskell

✭ 13

haskell shell error-handling type-safe

A framework for implementing and certifying impure computations in Coq

✭ 48

Coq ocaml shell Standard ML coq formal-verification freer-monads

1-2 of 2 user projects