Stories by adamnemecek

Penrose: From mathematical notation to beautiful diagrams

Campaign Zero: End police violence in America

By the Bluebook implementation of Smalltalk-80

Plasm: Function Plotter in Rust and WebAssembly

Stretch: Fast flexbox implementation in Rust (JS/Kotlin/Swift bindings)

DirectX is coming to the Windows Subsystem for Linux

Blocking: Convert between sync and async code in Rust

Poi: Pragmatic point-free theorem prover assistant in Rust

Imp Relational programming environemtn written in Rust

UTM: Virtual Machines for iOS

ZCore: Implementation of the Zircon Microkernel in Rust

Computational Category Theory in Python 3: Monoids, Groups, and Preorders

Enigma: Erlang VM Implementation in Rust

“Every proof assistant” online lecture

Rg3d: 3D game engine written in Rust

Taichi: Language for high-performance, sparse and differentiable computing

ClojureRS: Implementation of Clojure in Rust

ClojureRS: Implementation of Clojure in Rust

Iron Kaleidoscope: LLVM Tutorial in Rust

Modeler: Free 3D Modeling Tool in Kotlin

12
13
14
15
16
17
18
19
20
21