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
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆97Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 6 months ago
• ferrilab / funty
  Trait generalization of the fundamental types
  ☆43Updated 8 months ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆18Updated last month
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 3 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 10 months ago
• LyonSyonII / akin
  Rust crate for writing repetitive code easier and faster.
  ☆43Updated 2 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆54Updated last month
• Lol3rrr / termgraph
  A Crate to display Graphs on the Terminal
  ☆31Updated last year
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆63Updated last year
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• LPGhatguy / nonmax
  Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.
  ☆46Updated last year
• mpdn / schedwalk
  Test futures under all possible polling schedules
  ☆18Updated 2 years ago
• CAD97 / generativity
  ☆35Updated last year
• zademn / facto-rs
  Working prototype
  ☆16Updated 2 years ago
• auxoncorp / tnfilt
  ☆33Updated 2 years ago
• rsnively / rangetools
  Traits extending the Rust Range structs in std::ops
  ☆38Updated last year
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆107Updated last month
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• wrsturgeon / inator
  An evil parsing library.
  ☆54Updated last year
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 10 months ago
• ahirner / backtrack-rs
  Solve hard constraints easily with Rust.
  ☆15Updated 2 years ago
• Kixiron / tagged-box
  A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…
  ☆19Updated 4 years ago
• roman-kashitsyn / phantom-newtype
  Lightweight Rust newtypes.
  ☆25Updated last year
• matklad / macro-dep-test
  ☆41Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 2 years ago
• rust-formal-methods / rust-formal-methods.github.io
  ☆11Updated 3 weeks ago
• disiamylborane / ranged_integers
  Ranged integers for Rust based on const generics
  ☆28Updated 4 months ago