Elliot-Roberts

Elliot-Roberts's starred repositories

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION97200 1477 54577

A refreshingly simple data-driven game engine built in Rust

Language:RustApache-2.035389 294 5478

A Rust compiler front-end for IDEs

Language:RustApache-2.014120 92 7872

mimalloc is a compact general purpose allocator with excellent performance.

Language:CMIT10433 159 608

Record and Replay Framework

Language:C++NOASSERTION9115 159 2016

Create beautiful diagrams just by typing notation in plain text.

Language:TypeScriptMIT7381 115 753

Hybrid visual and textual functional programming.

Language:ScalaApache-2.07344 88 6377

Lean 4 programming language and theorem prover

Language:LeanApache-2.04544 67 1798

Koka language compiler and interpreter

Language:HaskellNOASSERTION3252 60 316

A purely functional programming language with first class types

Language:IdrisNOASSERTION2499 64 1192

A GPU compute-centric 2D renderer.

Language:RustApache-2.02295 62 165

lamdu - towards the next generation IDE

Language:HaskellGPL-3.01853 53 150

Penumbra Color Theme

Language:JuliaMIT1395 7 12

Hazel, a live functional programming environment with typed holes

Language:ReasonMIT745 15 770

Language:C++Apache-2.0279 35 9

The BAP tutorial

Language:PythonMIT71 11 4