Pinned Repositories
anki-decks
A collection of my personal anki decks.
ankideckffs
An anki plugin to import decks organized on the filesystem instead of in a SQLite database.
bevy-jam-2
Submission to the Bevy Jam 2 game jam
blog
My personal blog.
cedille2-metatheory
chez-rs
Rust bindings for embedding the Chez Scheme interpreter and compiler in Rust applications
Masters-Research
Code related to Applied Mathematics Masters Research
olette
Optimal Lambda Evaluator Toy
pvm
Parsing expression grammars
cedille2
amarmaduke's Repositories
amarmaduke/ankideckffs
An anki plugin to import decks organized on the filesystem instead of in a SQLite database.
amarmaduke/olette
Optimal Lambda Evaluator Toy
amarmaduke/pvm
Parsing expression grammars
amarmaduke/anki-decks
A collection of my personal anki decks.
amarmaduke/chez-rs
Rust bindings for embedding the Chez Scheme interpreter and compiler in Rust applications
amarmaduke/bevy-jam-2
Submission to the Bevy Jam 2 game jam
amarmaduke/blog
My personal blog.
amarmaduke/cedille2-metatheory
amarmaduke/homepage
Homepage for academic institutions
amarmaduke/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
amarmaduke/Masters-Research
Code related to Applied Mathematics Masters Research
amarmaduke/dissertation
amarmaduke/reducto
Benchmarks of various data structures and reduction strategies for the lambda calculus
amarmaduke/rust-lambda-calculus-bench
Benchmarks for different methods of evaluation of lambda calculus in Rust
amarmaduke/Sarah
Automated Theorem Prover for Presburger Arithmetic
amarmaduke/sigcomp-binder
Generator intended for a competitive programming physical binder to be taken to contests.
amarmaduke/thesis
amarmaduke/toys
I do random stuff.