This is your work, valued

Pittsburgh, PA

James Gallicchio

Expert
@JamesGallicchio

I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)

LeanColls. WIP collections library for Lean 4

32

http. Basic HTTP definitions and parsing for Lean

9

lean-openapi. Lean

4

eternity2. Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle

4

SmtLibLean. some experiments with SMT-LIB

3

waterfall. bot for managing dependent PRs, particularly dependent PRs across GH projects

3

brunched-invitations. Lean

2

pauline. Lean formalization of SML, mainly for educational purposes

2

RedBot. General Purpose Discord Bot

2

lean_rms. Lean

2

LeanSerial. (De-)serialization library for Lean 4

1

ElectionSimulator. Simulates US Democratic Primary elections using Monte Carlo predictions with poll data from across the country

1

Stravum. Java implementation of the Stratum Bitcoin mining protocol

1