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:
- A precise specification for "Rust lite / MIR plus"☆949Updated last week
- Computational graphs with reverse automatic differentation in the GPU☆397Updated 3 years ago
- Units of measurement -- type-safe zero-cost dimensional analysis☆1,193Updated 3 months ago
- Refinement Types for Rust☆807Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,265Updated 2 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆492Updated last year
- Rust grammar tool libraries and binaries☆566Updated 3 weeks ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,168Updated last week
- A fancy diagnostics & error reporting crate☆2,087Updated last week
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆903Updated 3 weeks ago
- An arbitrary-precision arithmetic library for Rust.☆542Updated this week
- Easy c̵̰͠r̵̛̠ö̴̪s̶̩̒s̵̭̀-t̶̲͝h̶̯̚r̵̺͐e̷̖̽ḁ̴̍d̶̖̔ ȓ̵͙ė̶͎ḟ̴͙e̸̖͛r̶̖͗ë̶̱́ṉ̵̒ĉ̷̥e̷͚̍ s̷̹͌h̷̲̉a̵̭͋r̷̫̊ḭ̵̊n̷̬͂g̵̦̃ f̶̻̊ơ̵̜ṟ̸̈́ R̵̞̋ù̵…☆311Updated 3 years ago
- Runtime for executing procedural macros as WebAssembly☆1,448Updated last week
- Use Tree Sitter to parse your own languages in Rust☆682Updated 6 months ago
- Rust programs written entirely in Rust☆858Updated 7 months ago
- The FLS☆470Updated this week
- Numeric traits for generic mathematics in Rust☆900Updated 6 months ago
- Language development libraries for Rust☆981Updated last year
- 🍄 an alleged 'operating system'☆695Updated last month
- ☆802Updated last year
- Incremental computation through constrained memoization.☆565Updated 3 weeks ago
- Automatically create GUI applications from clap3 apps☆418Updated 2 years ago
- Compile-time reference counting☆455Updated 7 months ago
- Command line parser with applicative interface☆417Updated last month
- A crate for managing memory bit by bit☆1,361Updated last year
- libgccjit AOT codegen for rustc☆1,083Updated last week
- A high fidelity time management library in Rust☆477Updated 3 weeks ago
- Defines the Rust borrow checker.☆1,557Updated 6 months ago
- A memory efficient string type that can store up to 24* bytes on the stack☆800Updated this week
- ☆804Updated 5 months ago