Stories by adamnemecek

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

About CRDTs

Embedded Graphics: Graphics library for embedded applications in Rust

Stanford CS248: Implement an SVG Rasterizer

GPU-accelerated path rendering (2012) [pdf]

12
13
14
15
16
17
18
19
20
21