Ashley Blacquiere's repositories
SampCert
SampCert : Verified Differential Privacy
Language:LeanApache-2.0000
Language:Lean000
Language:JavaScript000
DSLsofMath
Domain-Specific Languages of Mathematics
Language:HaskellBSD-3-Clause000
verso
Lean documentation authoring tool
Language:LeanApache-2.0000
pattern-library
A multi-language library containing implementations of common software design and architecture patterns
Language:Dart000
type_checking_in_lean4
Type Checking in Lean 4
Apache-2.0000
mal
mal - Make a Lisp
NOASSERTION000
dgl-204
Course home for DGL 204 at North Island College
MIT000
TLD-Struggle-Mechanic
Struggle mechanic prototype for The Long Dark
dssl-story
A game/interactive narrative framework developed for the UVic digital social simulation lab
Language:JavaScript000