James Gallicchio's Projects
Some benchmarks of different languages
deployment for smlhelp page
Library for generating Lean types from capnproto specs
Collection of programs for automation of the Enchanting Guild on Nerdcrafteria :)
The Unofficial CMU Webring
A JVM-based REST/WS wrapper for the official Discord Bot API
Simulates US Democratic Primary elections using Monte Carlo predictions with poll data from across the country
Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle
Fsh - Fish With No Eyes
Basic HTTP definitions and parsing for Lean
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Website + materials for StuCo 98-013, Lean: A Practical Introduction
Lean 4 programming language and theorem prover
WIP collections library for Lean 4
(De-)serialization library for Lean 4
Lean 4 port of Megaparsec
MLB support for CM (the SML/NJ Compilation and Library Manager)
Arbitrary Bit-Length Integers in Lean
Lean formalization of SML, mainly for educational purposes
The Pebble app portion of the project.
Software for my cluster of RPis connected over USB ports
A Scala library to make PBASIC ... well, pretty basic!