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
trestle
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
pauline
Lean formalization of SML, mainly for educational purposes
SmtLibLean
some experiments with SMT-LIB
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/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/SmtLibLean
some experiments with SMT-LIB
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/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/capnproto-lean
Library for generating Lean types from capnproto specs
JamesGallicchio/cmuwebr.ing
The Unofficial CMU Webring
JamesGallicchio/dbus4lean
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/Numbers
Arbitrary Bit-Length Integers in Lean
JamesGallicchio/quote4
Intuitive, type-safe expression quotations for Lean 4.
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
Verified Rust for low-level systems code
JamesGallicchio/verus-lean
JamesGallicchio/YatimaStdLib.lean