advancedresearch / linear_solver
A linear solver designed to be easy to use with Rust enums.
☆32Updated 3 years ago
Alternatives and similar repositories for linear_solver:
Users that are interested in linear_solver are comparing it to the libraries listed below
- A disassembler framework☆18Updated 2 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Runtime with fast GC and easy concurrency.☆44Updated 3 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- A safe-guarded transmute for Rust☆38Updated 8 months ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated last month
- Run a function after some data was mutably borrowed☆30Updated 4 years ago
- A symbolic evaluator for MIR☆19Updated 5 years ago
- D-inspired contract programming in Rust using macros☆54Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 3 weeks ago
- A simple error library for no_std + no_alloc Rust☆18Updated 4 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- The closest we are to embedded no-std binaries on stable Rust☆18Updated 6 years ago
- ☆26Updated 3 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 7 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Updated 6 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- ☆17Updated 3 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 2 weeks ago
- Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIs☆34Updated 6 years ago
- A syn targetting PEG parser generator☆20Updated last year
- Set theory applied on sorted and deduplicated slices.☆45Updated 2 years ago
- Hazard pointer based concurrent memory reclamation for Rust.☆30Updated 4 years ago
- A Cargo plugin to list unsafe code in a Rust project.☆43Updated 6 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago
- A safe and reliable process manager☆42Updated 4 years ago