Pinned Repositories
cayenne
Resurrecting Lennart Augustsson's implementation of Cayenne
coq-fsharp
Libraries and tools for extracting Coq code to F#
freebsd-vf2
FreeBSD on StarFive VisionFive 2
guarded-recursion
Playing with guarded recursion in Coq and Agda
javaui
A Java compiler plugin to prevent invalid thread accesses when writing GUIs.
rghaskell
Porting a variant of rely-guarantee references to Liquid Haskell
rgref
Prototype Implementation of Rely-Guarantee References as a Coq DSL
rgref-concurrent
Concurrency fork of rely-guarantee references
SJS
SJS is a static ahead of time compiler for a subset of JavaScript
csgordon's Repositories
csgordon/freebsd-vf2
FreeBSD on StarFive VisionFive 2
csgordon/ir441
csgordon/cs647template
csgordon/freebsd-starfive2
Work based off 14-CURRENT to run FreeBSD on the StarFive VisionFive2. Cross-build w/ 13.2 or 14
csgordon/ascent
logic programming in Rust
csgordon/blog_os
Writing an OS in Rust
csgordon/BSD-XFCE
Turn your FreeBSD system in a complete and reliable workstation and creative studio with no hassle in minutes! Feel the daemon inside!
csgordon/effects-bibliography
A collaborative bibliography of work related to algebraic effects and handlers
csgordon/effing-mad
Algebraic effects for Rust
csgordon/facetimehd-firmware
FacetimeHD firmware download and extraction tool
csgordon/gospel
A tool-agnostic formal specification language for OCaml.
csgordon/gt-nlp-class
Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"
csgordon/HoTTEST-Summer-School
HoTTEST Summer School materials
csgordon/kodama-theme
Theme for zola inspired by hugo academic theme.
csgordon/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
csgordon/lanyon
A content-first, sliding sidebar theme for Jekyll.
csgordon/lean-chat
csgordon/loom
Concurrency permutation testing tool for Rust.
csgordon/mfsbsd
mfsBSD
csgordon/mnemos
An Operating System for Building Small Computers
csgordon/OpenLogic
An open-source, customizable intermediate logic textbook
csgordon/rust-bert
Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)
csgordon/rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
csgordon/shuttle
Shuttle is a library for testing concurrent Rust code
csgordon/smalltt
Demo for high-performance type theory elaboration
csgordon/toaruos
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.
csgordon/vcsn
csgordon/wmii
csgordon/xv6-public
xv6 OS
csgordon/zst-volatile