Alternatives and similar repositories for ravel

Users that are interested in ravel are comparing it to the libraries listed below

• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• mdevlamynck / nix-flake-templates
  ☆13Updated 5 months ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆17Updated this week
• wrsturgeon / rsmonad
  Haskell-style monads in Rust.
  ☆22Updated last year
• lapce / piet-wgpu
  ☆24Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• edolstra / import-cargo
  A function for fetching the crates listed in a Cargo lock file
  ☆51Updated 3 years ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 5 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 7 months ago
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 3 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆59Updated last year
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆20Updated last week
• kanwren / nix-parsec
  ☆53Updated 2 years ago
• 9999years / git-prole
  A git-worktree(1) manager
  ☆17Updated 6 months ago
• guygastineau / rust-trees-that-grow
  Brief implementation of Trees that Grow in Rust
  ☆39Updated 2 years ago
• 3kyro / caprice
  A REPL for Rust projects featuring an easy to use, zsh like autocomplete feature.
  ☆22Updated last year
• kamirr / math-jit
  ☆35Updated 3 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• nix-community / redoxpkgs
  Cross-compile to Redox using Nix [maintainer=@aaronjanse]
  ☆58Updated 4 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆33Updated 3 months ago
• MangoTzara / rfz
  Kinda fzf but in Rust using the Nucleo crate
  ☆32Updated 6 months ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆25Updated 4 months ago
• brson / archaea
  Historic Rust code browsing
  ☆34Updated 4 years ago
• TheLostLambda / knus
  Rust KDL parser and derive implementation
  ☆27Updated 2 weeks ago
• kloenk / rusty-nix
  Nix written in rust (this will take some time if it will ever finish)
  ☆22Updated 4 years ago
• disiamylborane / ranged_integers
  Ranged integers for Rust based on const generics
  ☆28Updated 7 months ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆26Updated last month