p-e-w / savageLinks
A primitive computer algebra system
☆586Updated 2 years ago
Alternatives and similar repositories for savage
Users that are interested in savage are comparing it to the libraries listed below
Sorting:
- Units of measurement -- type-safe zero-cost dimensional analysis☆1,092Updated last month
- A precise specification for "Rust lite / MIR plus"☆875Updated 2 weeks ago
- A fancy diagnostics & error reporting crate☆1,975Updated 2 weeks ago
- Language development libraries for Rust☆960Updated 6 months ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆826Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,194Updated this week
- Use Tree Sitter to parse your own languages in Rust☆650Updated last week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,131Updated 3 months ago
- Compile-time reference counting☆451Updated last month
- Serialization library with zero dependencies☆800Updated 3 weeks ago
- Slotmap data structure for Rust☆1,207Updated last year
- Command line parser with applicative interface☆385Updated last month
- A memory efficient string type that can store up to 24* bytes on the stack☆743Updated 3 months ago
- Runtime for executing procedural macros as WebAssembly☆1,389Updated last month
- ☆753Updated 6 months ago
- Refinement Types for Rust☆741Updated this week
- An arbitrary-precision arithmetic library for Rust.☆501Updated 3 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,942Updated 3 weeks ago
- Rust programs written entirely in Rust☆842Updated last month
- A crate for managing memory bit by bit☆1,312Updated 10 months ago
- Algebraic effects for Rust☆618Updated 11 months ago
- rd is a record/replay debugger written in rust☆963Updated 3 years ago
- An intepreter for a simple dynamic language written in Rust☆291Updated 10 months ago
- The testing ground for the future of portable SIMD in Rust☆977Updated 2 weeks ago
- Incremental computation through constrained memoization.☆518Updated 7 months ago
- Automatically create GUI applications from clap3 apps☆415Updated 2 years ago
- A Rust API search engine☆412Updated 10 months ago
- A minimal `syn` syntax tree pretty-printer☆708Updated last week
- SIMD-accelerated UTF-8 validation for Rust.☆552Updated 3 months ago
- Numeric traits for generic mathematics in Rust☆836Updated last week