adamnemecek

http://traceoid.ai

Twitter: https://twitter.com/adamnemecek1

GitHub: https://github.com/adamnemecek

Posts

• Diagrammatic algebra: On the road to category theory
  by adamnemecekon 8/4/2025, 5:24 PMwith 0 comments
• Open source PDF reader built with Rust, Dioxus and PDFium
  by adamnemecekon 7/31/2025, 4:22 PMwith 1 comments
• TurnFormal: Theorem Prover Written in Rust
  by adamnemecekon 7/8/2025, 4:52 PMwith 0 comments
• Quantum Computing without the Linear Algebra [pdf]
  by adamnemecekon 6/13/2025, 4:36 PMwith 0 comments
• Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library
  by adamnemecekon 6/11/2025, 3:54 PMwith 0 comments
• Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft
  by adamnemecekon 6/6/2025, 4:01 PMwith 0 comments