p-e-w / savageLinks
A primitive computer algebra system
☆584Updated 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"☆940Updated this week
- 🍄 an alleged 'operating system'☆680Updated last week
- Compile-time reference counting☆456Updated 5 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,248Updated last week
- Language development libraries for Rust☆980Updated 10 months ago
- Units of measurement -- type-safe zero-cost dimensional analysis☆1,158Updated last month
- Refinement Types for Rust☆783Updated last week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,157Updated this week
- Runtime for executing procedural macros as WebAssembly☆1,437Updated this week
- Rust grammar tool libraries and binaries☆561Updated this week
- Computational graphs with reverse automatic differentation in the GPU☆395Updated 3 years ago
- A memory efficient string type that can store up to 24* bytes on the stack☆775Updated last month
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆869Updated last week
- Defines the Rust borrow checker.☆1,525Updated 4 months ago
- Use Tree Sitter to parse your own languages in Rust☆674Updated 4 months ago
- Rust programs written entirely in Rust☆857Updated 5 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆484Updated last year
- Serialization library with zero dependencies☆822Updated 3 months ago
- Automatically create GUI applications from clap3 apps☆415Updated 2 years ago
- Data structure serialization library with several opposite design goals from Serde☆892Updated this week
- A minimal `syn` syntax tree pretty-printer☆722Updated this week
- Command line parser with applicative interface☆398Updated 5 months ago
- A crate for managing memory bit by bit☆1,343Updated last year
- Numeric traits for generic mathematics in Rust☆880Updated 4 months ago
- 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
- An arbitrary-precision arithmetic library for Rust.☆527Updated this week
- Slotmap data structure for Rust☆1,244Updated last year
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,968Updated last month
- An ultra simple CLI arguments parser.☆624Updated 2 years ago
- Array of Struct to Struct of Array helpers in Rust☆462Updated 6 months ago