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"☆954Updated 3 weeks ago
- Units of measurement -- type-safe zero-cost dimensional analysis☆1,198Updated last week
- Refinement Types for Rust☆816Updated this week
- Rust grammar tool libraries and binaries☆571Updated last month
- Attribute macro to require that the compiler prove a function can't ever panic☆1,175Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,273Updated 2 months ago
- Language development libraries for Rust☆985Updated last year
- The FLS☆472Updated 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
- Automatically create GUI applications from clap3 apps☆418Updated 2 years ago
- A list of programming languages implemented in Rust, for inspiration.☆1,009Updated last month
- 🍄 an alleged 'operating system'☆727Updated 3 weeks ago
- Compile-time reference counting☆455Updated 8 months ago
- A memory efficient string type that can store up to 24* bytes on the stack☆809Updated 3 weeks ago
- Rust programs written entirely in Rust☆862Updated 8 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,412Updated this week
- Runtime for executing procedural macros as WebAssembly☆1,452Updated 2 weeks ago
- Command line parser with applicative interface☆417Updated last week
- Use Tree Sitter to parse your own languages in Rust☆684Updated 7 months ago
- Serialization library with zero dependencies☆854Updated 3 weeks ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆493Updated last year
- A minimal `syn` syntax tree pretty-printer☆734Updated last month
- A fancy diagnostics & error reporting crate☆2,111Updated 3 weeks ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆911Updated 2 weeks ago
- ☆804Updated last year
- Computational graphs with reverse automatic differentation in the GPU☆397Updated 3 years ago
- Generic extensions for tapping values in Rust.☆478Updated 2 years ago
- An ultra simple CLI arguments parser.☆623Updated 2 years ago
- An arbitrary-precision arithmetic library for Rust.☆548Updated last week
- Defines the Rust borrow checker.☆1,567Updated 7 months ago