Pinned Repositories
eternity2
Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle
book
deployment for smlhelp page
c0deine
Reference compiler for c0
ControlFlow
A control flow graph library for Lean
DateTime
DateTime package for Lean 4
lean-wasm
Formalising the WASM spec in Lean
lean2wasm
Tool for compiling Lean to WASM
molasses
MLB support for CM (the SML/NJ Compilation and Library Manager)
Numbers
Arbitrary Bit-Length Integers in Lean
TwoRoomsOneBoom
Web versions of the game Two Rooms and a Boom that supports 6 to 30 players.
T-Brick's Repositories
T-Brick/c0deine
Reference compiler for c0
T-Brick/molasses
MLB support for CM (the SML/NJ Compilation and Library Manager)
T-Brick/lean2wasm
Tool for compiling Lean to WASM
T-Brick/lean-wasm
Formalising the WASM spec in Lean
T-Brick/DateTime
DateTime package for Lean 4
T-Brick/ControlFlow
A control flow graph library for Lean
T-Brick/Numbers
Arbitrary Bit-Length Integers in Lean
T-Brick/TwoRoomsOneBoom
Web versions of the game Two Rooms and a Boom that supports 6 to 30 players.
T-Brick/17355-program-analysis-project-s21
Constant propagation on simple Ocaml programs.
T-Brick/Arduino-NMEA-Message-Parser
Parses NMEA Messages from the SkyTraQ S1216F8‐RTK
T-Brick/Engine2
T-Brick/Engine2-Online
T-Brick/LeanColls
WIP collections library for Lean 4
T-Brick/pauline
Lean formalization of SML, mainly for educational purposes
T-Brick/WowBot
T-Brick/WowBot2
Rewrite of the original WowBot
T-Brick/c0_web_driver
T-Brick/cmu-coursemap
Geneology map of courses
T-Brick/ExtraGameJam1
T-Brick/LudumDare37
Theme: One room
T-Brick/LudumDare38
T-Brick/LudumDare39
T-Brick/LudumDare40
T-Brick/LudumDare41
Bomber Ball
T-Brick/LudumDare43
T-Brick/millet
A language server for Standard ML
T-Brick/mpllib
Official library for the MPL compiler (https://github.com/mpllang/mpl)
T-Brick/parse-sml
A custom parser/auto-formatter for Standard ML
T-Brick/Pugnare
T-Brick/waterfall-test