JamesGallicchio/nixpkgs
Nix Packages collection & NixOS
"Sandbox everything now! Condone first-class functions! Advocate compilation! Typecheck!" -Divine, probably
Repositories
JamesGallicchio/lean_rms
JamesGallicchio/http
Basic HTTP definitions and parsing for Lean
JamesGallicchio/stalwart
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
JamesGallicchio/zod_gen
Generate Zod schemas and TypeScript types from Rust types. Use with zod_gen_derive for automatic #[derive(ZodSchema)] support and serde rename compatibility.
JamesGallicchio/csd-blog
CSD Blog
JamesGallicchio/socket.lean
sockets for Lean 4
JamesGallicchio/LeanColls
WIP collections library for Lean 4
JamesGallicchio/dbus4lean
JamesGallicchio/Stravum
Java implementation of the Stratum Bitcoin mining protocol
JamesGallicchio/cmuwebr.ing
The Unofficial CMU Webring
JamesGallicchio/verus
Verified Rust for low-level systems code
JamesGallicchio/lean-openapi
JamesGallicchio/capnproto-lean
Library for generating Lean types from capnproto specs
JamesGallicchio/quote4
Intuitive, type-safe expression quotations for Lean 4.
JamesGallicchio/Numbers
Arbitrary Bit-Length Integers in Lean
JamesGallicchio/SmtLibLean
some experiments with SMT-LIB
JamesGallicchio/std4
Standard Library for Lean 4
JamesGallicchio/pauline
Lean formalization of SML, mainly for educational purposes
JamesGallicchio/waterfall
bot for managing dependent PRs, particularly dependent PRs across GH projects
JamesGallicchio/ElectionSimulator
Simulates US Democratic Primary elections using Monte Carlo predictions with poll data from across the country
JamesGallicchio/eternity2
Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle
JamesGallicchio/RedBot
General Purpose Discord Bot
JamesGallicchio/brunched-invitations
JamesGallicchio/Megaparsec.lean
Lean 4 port of Megaparsec
JamesGallicchio/YatimaStdLib.lean
JamesGallicchio/SciLean
Scientific computing in Lean 4
JamesGallicchio/m1crosc0pe
JamesGallicchio/PiCluster
Software for my cluster of RPis connected over USB ports
JamesGallicchio/molasses
MLB support for CM (the SML/NJ Compilation and Library Manager)