Stories by adamnemecek

Vault13: Fallout 2 engine reimplemented in Rust

Microsoft: Rust Is the Industry’s ‘Best Chance’ at Safe Systems Programming

Vault13: Fallout 2 engine reimplemented in Rust

Tock: Secure embedded operating system for microcontrollers in Rust

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

13 14 15 16 17 18 19 20 21 22