jtmcx's Projects
A collection of tools for writing technical documents that mix Coq code and prose.
An (unfinished) rust API for alpaca.markets
The untyped lambda calculus, in C
Library to create Coq record update functions
~/.emacs.d
CHIP-8 running on the gameboy
Conway's Game of Life on the Gameboy
USB adapter for GameCube controllers
README for GitHub
A C++ library to create desktop applications
Coq Proof of the Church-Rosser Theorem for Martin-Löf's Type Theory
Fork of moody with support for solaire-mode
Nix Packages collection
A simple farbfeld dithering filter.
Fork of Proof General with extra language support
An implementation of a rope data structure in C, with a minimal ed-like shell. Currently lacks features, especially in the shell.
A toy programming language that uses set-theoretic types
λProlog translations of programming languages from the book "Types and Programming Languages"
Library for Classical Coq
Stream farbfeld images to a monitor using an FPGA
The Void source packages collection
Verified Software Toolchain
Implementation of the C compiler from the book 'Writing a C Compiler' by Nora Sandler
OpenBSD utility to pull wireguard configurations from LDAP
Generate infinite white noise using sndio
Test cases for Writing a C Compiler