Pinned Repositories
fabric
Distributed persistent programming language with secure information flow types
Documentation
autograde
general purpose scripts for running grading scripts
jalgebra
An abstract algebra library for Java.
jotto
ocaml tools for cheating at jotto
lfs
Simple log-structured filesystem implementation
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
portfolio
Annotated code samples and open source links for Michael D. George
sorts
A monadic approach to animating in-place sorting algorithms
stars
Javascript/d3 project to generate SVGs of repeating islamic star patterns.
mdgeorge4153's Repositories
mdgeorge4153/jalgebra
An abstract algebra library for Java.
mdgeorge4153/sorts
A monadic approach to animating in-place sorting algorithms
mdgeorge4153/stars
Javascript/d3 project to generate SVGs of repeating islamic star patterns.
mdgeorge4153/autograde
general purpose scripts for running grading scripts
mdgeorge4153/jotto
ocaml tools for cheating at jotto
mdgeorge4153/lfs
Simple log-structured filesystem implementation
mdgeorge4153/Tangy
Tangrams game with clever drag and drop
mdgeorge4153/algebra
Bringing together a bunch of implementations of algebra and geometry in various languages that I've worked on.
mdgeorge4153/LeanColls
WIP collections library for Lean 4
mdgeorge4153/presets
Playing with Milkdrop Presets
mdgeorge4153/rusted-roots
Experimenting with abstract algebra in rust.
mdgeorge4153/WBplus
mdgeorge4153/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
mdgeorge4153/portfolio
Annotated code samples and open source links for Michael D. George
mdgeorge4153/cglean
Verified computational geometry in Lean
mdgeorge4153/CVLDebugPrototype
mdgeorge4153/hymns
mdgeorge4153/jamcircle
mdgeorge4153/leagueByDay
Web service to plot league stats by day of week and time of day
mdgeorge4153/leanblueprint-toml
plasTeX plugin to build formalization blueprints.
mdgeorge4153/ray
Formalizing results about the Mandelbrot set in Lean
mdgeorge4153/regex
playing with regular expressions in ocaml
mdgeorge4153/slither
Static Analyzer for Solidity
mdgeorge4153/sumpuzzle
Solving a puzzle: find original seven numbers given their pairwise sums