Alternatives and similar repositories for immix-rust:

Users that are interested in immix-rust are comparing it to the libraries listed below

• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated 2 years ago
• fitzgen / bacon-rajan-cc
  ☆92Updated last year
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆96Updated 3 weeks ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆78Updated 2 years ago
• sujayakar / rsdict
  ☆47Updated 9 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆42Updated 3 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆54Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 6 months ago
• salmans / codd
  A minimal in-memory database with relational algebraic expressions as queries
  ☆60Updated 3 years ago
• nikis05 / derive-visitor
  ☆29Updated 7 months ago
• segeljakt / pratt
  Pratt parser written in Rust
  ☆88Updated last year
• contain-rs / trie
  An ordered map and set based on a trie.
  ☆29Updated 4 years ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 7 months ago
• paholg / minsky
  A Minsky Machine in Rust's type system
  ☆53Updated 4 years ago
• komora-io / optimistic-cell
  ☆18Updated 2 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆56Updated 2 years ago
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆44Updated 3 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 4 years ago
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆148Updated 8 months ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 7 years ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆52Updated last week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• 4lDO2 / real-async-trait-rs
  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…
  ☆45Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆129Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆61Updated last year
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 3 weeks ago
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago