T-Brick

Thea Brick's repositories

c0deine

Reference compiler for c0

Language:Lean28 3 8

molasses

MLB support for CM (the SML/NJ Compilation and Library Manager)

Language:Standard MLMIT17 4 1

lean2wasm

Tool for compiling Lean to WASM

Language:LeanMIT12 20

DateTime

DateTime package for Lean 4

Language:LeanGPL-3.010 2 1

lean-wasm

Formalising the WASM spec in Lean

Language:LeanGPL-3.010 20

ControlFlow

A control flow graph library for Lean

Language:LeanGPL-3.06 20

Numbers

Arbitrary Bit-Length Integers in Lean

Language:LeanGPL-3.0300

TwoRoomsOneBoom

Web versions of the game Two Rooms and a Boom that supports 6 to 30 players.

Language:JavaScript300

17355-program-analysis-project-s21

Constant propagation on simple Ocaml programs.

Language:OCaml1 20

Arduino-NMEA-Message-Parser

Parses NMEA Messages from the SkyTraQ S1216F8‐RTK

Language:C++1 10

Engine2

Language:Java1 10

Engine2-Online

Language:Java1 20

LeanColls

WIP collections library for Lean 4

Language:LeanGPL-3.01 10

pauline

Lean formalization of SML, mainly for educational purposes

Language:Lean1 10

WowBot

Language:Java100

WowBot2

Rewrite of the original WowBot

Language:Java1 20

c0_web_driver

Language:JavaScript000

cmu-coursemap

Geneology map of courses

Language:Python000

ExtraGameJam1

Language:Java000

LudumDare37

Theme: One room

Language:Java020

LudumDare38

Language:Java020

LudumDare39

Language:Java020

LudumDare40

Language:Java020

LudumDare41

Bomber Ball

Language:Java020

LudumDare43

Language:Java02 1

millet

A language server for Standard ML

MIT000

mpllib

Official library for the MPL compiler (https://github.com/mpllang/mpl)

Language:Standard MLMIT000

parse-sml

A custom parser/auto-formatter for Standard ML

Language:Standard MLMIT010

Pugnare

Language:Java000

waterfall-test

Language:Lean03 1