Aaron Elligsen's repositories
LTLTS
Linear Temporal Logic in TypeScript
Language:TypeScript000
Language:TypeScript000
dafny-aoc-2019
Solving AoC 2019 problems in Dafny
Language:Dafny000
Language:Dafny000
Dafny-Grind75
Dafny solutions for the Grind75 and Blind75 leetcode problems
Language:TypeScript000
fast-check
Property based testing framework for JavaScript & TypeScript (like QuickCheck)
ImHex-Patterns
Hex patterns, include patterns and magic files for the use with the ImHex Hex Editor
Language:RustGPL-2.0000
Language:TypeScript000
mediasoup-client
mediasoup client side JavaScript library
snabbdom
A virtual DOM library with focus on simplicity, modularity, powerful features and performance.
Language:JavaScriptMIT000
wasmmts-A_wasm_interpreter
Super funny awesome project seriously the funniest thing to do studying and debugging .wasm binary format
000