csgordon/bedrock
A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)
Discovered public repositories for csgordon in the GitHub catalog.
A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)
Development of homotopy type theory in Agda
Liquid Types For Haskell
Playing with guarded recursion in Coq and Agda
Concurrency fork of rely-guarantee references
A Dependently Typed Functional Programming Language
Libraries and tools for extracting Coq code to F#
A (partial) Agda port of the RGref Coq DSL
Resurrecting Lennart Augustsson's implementation of Cayenne
A Java compiler plugin to prevent invalid thread accesses when writing GUIs.
Prototype Implementation of Rely-Guarantee References as a Coq DSL