Alternatives and similar repositories for panini

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

• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 8 months ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆33Updated 4 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 5 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆42Updated last year
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆52Updated 7 years ago
• chalcolith / rslogic
  A logic programming library (inspired by uKanren) in Rust.
  ☆20Updated 10 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆62Updated 7 months ago
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆49Updated 4 years ago
• Manishearth / humpty_dumpty
  Implicit Drop/move protection for Rust (linear types)
  ☆12Updated 10 years ago
• AltSysrq / lmdb-zero
  Near-zero-cost, unabstracted Rust wrapper for LMDB.
  ☆91Updated 4 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• ballard26 / concurrent-hamt
  ☆86Updated 9 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 4 years ago
• fitzgen / bacon-rajan-cc
  ☆94Updated 2 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 10 months ago
• comex / namedarg
  Named arguments for Rust
  ☆38Updated 8 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆44Updated 5 years ago
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 3 years ago
• pczarn / gearley
  An Earley parser engine in Rust.
  ☆36Updated 3 months ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆51Updated 8 years ago
• rsaarelm / urbit-rs
  ☆11Updated 9 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 8 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 6 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆43Updated 4 years ago