p-e-w / savageLinks
A primitive computer algebra system
☆585Updated 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"☆919Updated last month
- Language development libraries for Rust☆968Updated 8 months ago
- Runtime for executing procedural macros as WebAssembly☆1,408Updated this week
- Refinement Types for Rust☆759Updated this week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,140Updated 5 months ago
- Units of measurement -- type-safe zero-cost dimensional analysis☆1,127Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,215Updated last week
- An arbitrary-precision arithmetic library for Rust.☆508Updated this week
- Compile-time reference counting☆458Updated 3 months ago
- A minimal `syn` syntax tree pretty-printer☆714Updated this week
- Rust grammar tool libraries and binaries☆551Updated 2 months ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆846Updated this week
- The FLS☆454Updated last week
- A fancy diagnostics & error reporting crate☆2,017Updated 2 months ago
- 🍄 an alleged 'operating system'☆655Updated last week
- A crate for managing memory bit by bit☆1,318Updated last year
- ☆769Updated 7 months ago
- Use Tree Sitter to parse your own languages in Rust☆663Updated 2 months ago
- ☆766Updated 3 weeks ago
- Command line parser with applicative interface☆395Updated 2 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆480Updated last year
- Numeric traits for generic mathematics in Rust☆857Updated 2 months ago
- A memory efficient string type that can store up to 24* bytes on the stack☆754Updated 5 months ago
- Rust programs written entirely in Rust☆850Updated 3 months ago
- Serialization library with zero dependencies☆812Updated last month
- Generic extensions for tapping values in Rust.☆462Updated last year
- Incremental computation through constrained memoization.☆532Updated 3 weeks ago
- Computational graphs with reverse automatic differentation in the GPU☆394Updated 2 years ago
- Making parsing a breeze☆770Updated 3 weeks ago
- Easy c̵̰͠r̵̛̠ö̴̪s̶̩̒s̵̭̀-t̶̲͝h̶̯̚r̵̺͐e̷̖̽ḁ̴̍d̶̖̔ ȓ̵͙ė̶͎ḟ̴͙e̸̖͛r̶̖͗ë̶̱́ṉ̵̒ĉ̷̥e̷͚̍ s̷̹͌h̷̲̉a̵̭͋r̷̫̊ḭ̵̊n̷̬͂g̵̦̃ f̶̻̊ơ̵̜ṟ̸̈́ R̵̞̋ù̵…☆310Updated 3 years ago