p-e-w / savageLinks
A primitive computer algebra system
☆587Updated 2 years ago
Alternatives and similar repositories for savage
Users that are interested in savage are comparing it to the libraries listed below
Sorting:
- A precise specification for "Rust lite / MIR plus"☆960Updated last week
- Refinement Types for Rust☆825Updated this week
- Use Tree Sitter to parse your own languages in Rust☆688Updated 7 months ago
- Rust programs written entirely in Rust☆868Updated 9 months ago
- Language development libraries for Rust☆984Updated last year
- An implementation of Joshua Yanovski's Ghost Cell paper.☆499Updated 2 years ago
- Units of measurement -- type-safe zero-cost dimensional analysis☆1,200Updated 2 weeks ago
- 🍄 an alleged 'operating system'☆734Updated last month
- Compile-time reference counting☆457Updated 8 months ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,182Updated 3 weeks ago
- An arbitrary-precision arithmetic library for Rust.☆553Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,277Updated 3 months ago
- Computational graphs with reverse automatic differentation in the GPU☆397Updated 3 years ago
- Runtime for executing procedural macros as WebAssembly☆1,469Updated 2 weeks ago
- The FLS☆477Updated this week
- Automatically create GUI applications from clap3 apps☆418Updated 2 years ago
- A memory efficient string type that can store up to 24* bytes on the stack☆816Updated last month
- Algebraic effects for Rust☆649Updated last year
- A list of programming languages implemented in Rust, for inspiration.☆1,009Updated 2 months ago
- ☆811Updated last year
- Command line parser with applicative interface☆423Updated last week
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆919Updated 3 weeks ago
- A minimal `syn` syntax tree pretty-printer☆737Updated last month
- A fancy diagnostics & error reporting crate☆2,122Updated 2 weeks ago
- Making parsing a breeze☆846Updated this week
- Rust grammar tool libraries and binaries☆572Updated 3 weeks ago
- Data structure serialization library with several opposite design goals from Serde☆915Updated this week
- ☆813Updated 6 months ago
- Incremental garbage collection from safe Rust☆806Updated 2 months ago
- Lifetime-Friendly, Component-Based, Retained-Mode UI Powered by Async Rust☆564Updated last year