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
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 5 months ago
• lapce / piet-wgpu
  ☆24Updated 2 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• 3kyro / caprice
  A REPL for Rust projects featuring an easy to use, zsh like autocomplete feature.
  ☆22Updated last year
• DeterminateSystems / nix-wasm-example
  ☆24Updated 8 months ago
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆24Updated last year
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 7 months ago
• JackMordaunt / fog-of-chess
  [toy] Chess, but with the fog of war.
  ☆12Updated 3 years ago
• edolstra / import-cargo
  A function for fetching the crates listed in a Cargo lock file
  ☆52Updated 3 years ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated this week
• mdevlamynck / nix-flake-templates
  ☆13Updated 7 months ago
• kloenk / rusty-nix
  Nix written in rust (this will take some time if it will ever finish)
  ☆22Updated 4 years ago
• nix-community / redoxpkgs
  Cross-compile to Redox using Nix [maintainer=@aaronjanse]
  ☆58Updated 4 years ago
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• DieracDelta / flake_generator
  Generate Nix Flakes imperatively.
  ☆20Updated last year
• wrsturgeon / rsmonad
  Haskell-style monads in Rust.
  ☆24Updated 2 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• Twey / mkRustCrate
  A Nix function for building Rust crates with Cargo, but using Nix for dependency management.
  ☆21Updated 4 years ago
• kanwren / nix-parsec
  ☆54Updated 2 years ago
• jneem / ojo
  ☆36Updated last week
• jsmith628 / wedged
  A robust and generalized library for Geometric Algebra in Rust
  ☆25Updated 2 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆20Updated 2 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 3 months ago
• SuperCuber / rmenu
  A dmenu and rofi inspired menu
  ☆21Updated 7 years ago
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆26Updated 3 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 6 months ago
• asayers / cbdr
  Continuous benchmarking, done right
  ☆22Updated 9 months ago