Colin S. Gordon

cayenne. Resurrecting Lennart Augustsson's implementation of Cayenne

coq-fsharp. Libraries and tools for extracting Coq code to F#

rghaskell. Porting a variant of rely-guarantee references to Liquid Haskell

guarded-recursion. Playing with guarded recursion in Coq and Agda

freebsd-vf2. FreeBSD on RISC-V Boards

ir441. Rust

javaui. A Java compiler plugin to prevent invalid thread accesses when writing GUIs.

csgordon. Github Profile README

bedrock. A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)

freebsd-starfive2. Work based off 14-CURRENT to run FreeBSD on the StarFive VisionFive2. Cross-build w/ 13.2 or 14

rgref-concurrent. Concurrency fork of rely-guarantee references

ml4code.github.io. Website for "A Survey of Machine Learning for Big Code and Naturalness"

rgref. Prototype Implementation of Rely-Guarantee References as a Coq DSL

cs647template. Java