Stories by adamnemecek

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]

Evolution of Version Control System (VCS) Internals – Part 2

Archetypal vs. Grouped ECS Architectures

Haskell Visual Arrow Syntax

12
13
14
15
16
17
18
19
20
21