jatcwang / immix-rust

Related projects ⓘ

Alternatives and complementary repositories for immix-rust

• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆91Updated last month
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 3 weeks ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• salmans / codd
  A minimal in-memory database with relational algebraic expressions as queries
  ☆60Updated 3 years ago
• fitzgen / bacon-rajan-cc
  ☆91Updated last year
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆101Updated 2 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆32Updated last week
• ykjit / yk
  yk packages
  ☆32Updated this week
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆53Updated last year
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated last year
• komora-io / optimistic-cell
  ☆18Updated last year
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 4 months ago
• contain-rs / trie
  An ordered map and set based on a trie.
  ☆29Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆55Updated 3 weeks ago
• sujayakar / rsdict
  ☆45Updated 7 months ago
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆40Updated 4 months ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 3 years ago
• jbreitbart / criterion-perf-events
  A plugin for Criterion.rs to measure Linux perf events.
  ☆40Updated last year
• RalfJung / rustc-build-sysroot
  Build a rustc sysroot with custom flags
  ☆13Updated last month
• matklad / properly-concurrent
  ☆24Updated 4 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 4 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆12Updated 3 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆26Updated 2 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• neysofu / reltester
  Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
  ☆20Updated last year