Alternatives and similar repositories for WACC-Compiler

Users that are interested in WACC-Compiler are comparing it to the libraries listed below

• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• orsinium-labs / rlci
  🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
  ☆65Updated 3 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• RustyYato / type-families
  ☆46Updated 4 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• zademn / facto-rs
  Working prototype
  ☆16Updated 3 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• ferrilab / funty
  Trait generalization of the fundamental types
  ☆44Updated last year
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• mpdn / schedwalk
  Test futures under all possible polling schedules
  ☆19Updated 2 years ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆68Updated last year
• syhpoon / nsga
  Implementation of the multi-objective genetic optimization algorithm NSGA-II
  ☆12Updated 3 weeks ago
• dpbriggs / x7
  Speedy self-documenting lisp in Rust.
  ☆21Updated last year
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆20Updated 2 months ago
• 2bdkid / refinement
  Convenient creation of type-safe refinement types.
  ☆21Updated 11 months ago
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆115Updated 5 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 3 months ago
• rsnively / rangetools
  Traits extending the Rust Range structs in std::ops
  ☆38Updated 2 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• al-jshen / alea
  Fast and easy zero-dep random number generation.
  ☆25Updated 3 years ago
• Lol3rrr / termgraph
  A Crate to display Graphs on the Terminal
  ☆32Updated last year
• AngelOnFira / nadya
  A visually pleasing language for langjam 3
  ☆16Updated 2 years ago
• pnkfelix / krabcake
  Umbrella repository for Krabcake experiments
  ☆47Updated 5 months ago
• auxoncorp / tnfilt
  ☆34Updated 3 years ago
• CAD97 / generativity
  ☆41Updated last year
• twitu / rboids
  3D simulation for a flock of boids in Rust
  ☆29Updated 2 years ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆58Updated 3 months ago
• spencerwhite / frankencell
  An alternative to `qcell` and `ghost-cell` that instead uses const generics
  ☆13Updated 2 years ago
• ahirner / backtrack-rs
  Solve hard constraints easily with Rust.
  ☆15Updated 2 years ago