| 1. | | T * sin (t) ≈ Christmas tree (2013) (github.com/anvaka) |
| 3 points by adamnemecek 20 days ago | past |
|
| 2. | | Céu: Language for Structured Synchronous Reactive Programming (ceu-lang.org) |
| 3 points by adamnemecek 35 days ago | past | 1 comment |
|
| 3. | | Symbolica 1.0 released: Symbolic mathematics in Rust (symbolica.io) |
| 3 points by adamnemecek 50 days ago | past |
|
| 4. | | Ribir: Non-intrusive GUI framework for Rust/WASM (github.com/ribirx) |
| 78 points by adamnemecek 67 days ago | past | 24 comments |
|
| 5. | | Shiroa: MdBook for Typst (github.com/myriad-dreamin) |
| 1 point by adamnemecek 69 days ago | past |
|
| 6. | | Fast Forward: macOS window switcher built with Rust and GPUI (github.com/gaauwe) |
| 3 points by adamnemecek 71 days ago | past |
|
| 7. | | Nipdf: PDF Reader in Rust (github.com/redforks) |
| 4 points by adamnemecek 4 months ago | past | 1 comment |
|
| 8. | | 2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust (wxiaoyun.com) |
| 3 points by adamnemecek 4 months ago | past |
|
| 9. | | Functorio: Build Factorio factories in the Lean 4 (github.com/konne88) |
| 2 points by adamnemecek 4 months ago | past |
|
| 10. | | GG: GUI for Jujutsu (github.com/gulbanana) |
| 2 points by adamnemecek 5 months ago | past |
|
| 11. | | Annotated History of Modern AI and Deep Learning (2022) (idsia.ch) |
| 3 points by adamnemecek 5 months ago | past |
|
| 12. | | Diagrammatic algebra: On the road to category theory (chalkdustmagazine.com) |
| 1 point by adamnemecek 5 months ago | past |
|
| 13. | | Open source PDF reader built with Rust, Dioxus and PDFium (github.com/lailogue) |
| 2 points by adamnemecek 5 months ago | past | 1 comment |
|
| 14. | | TurnFormal: Theorem Prover Written in Rust (github.com/turnersoft) |
| 1 point by adamnemecek 6 months ago | past |
|
| 15. | | Quantum Computing without the Linear Algebra [pdf] (iacr.org) |
| 2 points by adamnemecek 7 months ago | past |
|
| 16. | | Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library (microsoft.com) |
| 2 points by adamnemecek 7 months ago | past |
|
| 17. | | Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft (github.com/microsoft) |
| 1 point by adamnemecek 7 months ago | past |
|
| 18. | | Does Using Rust Make Our Software Safer? (rustfoundation.org) |
| 2 points by adamnemecek 8 months ago | past |
|
| 19. | | Does Using Rust Make Our Software Safer? (rustfoundation.org) |
| 2 points by adamnemecek 8 months ago | past |
|
| 20. | | Proxyman: HTTP network debugging tool written in Rust (github.com/stickmy) |
| 2 points by adamnemecek 8 months ago | past |
|
| 21. | | Sapphire: Rust based package manager for macOS (github.com/alexykn) |
| 443 points by adamnemecek 8 months ago | past | 290 comments |
|
| 22. | | Control Theory for Distributed Systems: A New View of Operations at Scale (evilchili.github.io) |
| 1 point by adamnemecek 10 months ago | past |
|
| 23. | | Hyperspeedcube: 3D and 4D Rubik's Cube simulator in Rust (hypercubing.xyz) |
| 1 point by adamnemecek on Dec 30, 2024 | past |
|
| 24. | | RFC 9669: BPF Instruction Set (rfc-editor.org) |
| 2 points by adamnemecek on Nov 14, 2024 | past |
|
| 25. | | Fast Rust expression evaluation with custom assembly (symbolica.io) |
| 3 points by adamnemecek on Oct 10, 2024 | past |
|
| 26. | | List of OSINT Exercises (gralhix.com) |
| 4 points by adamnemecek on Sept 14, 2024 | past |
|
| 27. | | Changes to `impl Trait` in Rust 2024 (rust-lang.org) |
| 2 points by adamnemecek on Sept 6, 2024 | past |
|
| 28. | | Differential Geometry: An Autistic Introduction (github.com/abogatskiy) |
| 4 points by adamnemecek on Sept 6, 2024 | past |
|
| 29. | | Algorithms through the lens of symbolic pattern matching (symbolica.io) |
| 71 points by adamnemecek on Aug 14, 2024 | past | 8 comments |
|
| 30. | | Visualizing Convex Conjugates (remilepriol.github.io) |
| 2 points by adamnemecek on Aug 3, 2024 | past |
|
|
| More |
