Stories by adamnemecek

Fyrox Rust Game Engine 1.0 Release Candidate 2

Google Books search is back to normal

Crabtime, a novel way to write Rust macros

Google Books removed all search functions for any books with previews

Google Books has been effectively killed by the last algorithm update

RustCast: Free, open-source Raycast-style launcher written in Rust

T * sin (t) ≈ Christmas tree (2013)

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

1
2
3
4
5
6
7
8
9
10