JamesGallicchio
PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
Carnegie MellonPittsburgh, PA
Pinned Repositories
brunched-invitations
eternity2
Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle
http
Basic HTTP definitions and parsing for Lean
lean-openapi
LeanColls
WIP collections library for Lean 4
LeanSAT
pauline
Lean formalization of SML, mainly for educational purposes
RedBot
General Purpose Discord Bot
waterfall
bot for managing dependent PRs, particularly dependent PRs across GH projects
c0deine
Reference compiler for c0
JamesGallicchio's Repositories
JamesGallicchio/LeanColls
WIP collections library for Lean 4
JamesGallicchio/LeanSAT
JamesGallicchio/http
Basic HTTP definitions and parsing for Lean
JamesGallicchio/eternity2
Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle
JamesGallicchio/lean-openapi
JamesGallicchio/waterfall
bot for managing dependent PRs, particularly dependent PRs across GH projects
JamesGallicchio/brunched-invitations
JamesGallicchio/pauline
Lean formalization of SML, mainly for educational purposes
JamesGallicchio/RedBot
General Purpose Discord Bot
JamesGallicchio/SmtLibLean
some experiments with SMT-LIB
JamesGallicchio/ElectionSimulator
Simulates US Democratic Primary elections using Monte Carlo predictions with poll data from across the country
JamesGallicchio/lean_rms
JamesGallicchio/LeanSerial
(De-)serialization library for Lean 4
JamesGallicchio/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
JamesGallicchio/book
deployment for smlhelp page
JamesGallicchio/git-practice
JamesGallicchio/lean-api-course
Website + materials for StuCo 98-013, Lean: A Practical Introduction
JamesGallicchio/lean-sexp
JamesGallicchio/lean4
Lean 4 programming language and theorem prover
JamesGallicchio/m1crosc0pe
JamesGallicchio/Megaparsec.lean
Lean 4 port of Megaparsec
JamesGallicchio/molasses
MLB support for CM (the SML/NJ Compilation and Library Manager)
JamesGallicchio/proofs-and-ladders
JamesGallicchio/SciLean
Scientific computing in Lean 4
JamesGallicchio/segtrees
Several translations of segment trees for CMU's 15-451 (Algorithms).
JamesGallicchio/socket.lean
sockets for Lean 4
JamesGallicchio/std4
Standard Library for Lean 4
JamesGallicchio/trellis-lang
Trellis is a dependently typed scripting language, meant to completely replace Excel
JamesGallicchio/verus-lean
JamesGallicchio/YatimaStdLib.lean