Stories by adamnemecek

Céu: Language for Structured Synchronous Reactive Programming

Symbolica 1.0 released: Symbolic mathematics in Rust

Ribir: Non-intrusive GUI framework for Rust/WASM

Shiroa: MdBook for Typst

Fast Forward: macOS window switcher built with Rust and GPUI

Nipdf: PDF Reader in Rust

2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust

Functorio: Build Factorio factories in the Lean 4

GG: GUI for Jujutsu

Annotated History of Modern AI and Deep Learning (2022)

Diagrammatic algebra: On the road to category theory

Open source PDF reader built with Rust, Dioxus and PDFium

TurnFormal: Theorem Prover Written in Rust

Quantum Computing without the Linear Algebra [pdf]

Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library

Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft

Does Using Rust Make Our Software Safer?

Does Using Rust Make Our Software Safer?

Proxyman: HTTP network debugging tool written in Rust

Sapphire: Rust based package manager for macOS

1
2
3
4
5
6
7
8
9
10