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
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆33Updated 4 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 7 months ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• PolySync / libsel4-sys
  Building seL4 and generating Rust bindings based on feL4 configuration
  ☆22Updated 7 years ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆51Updated 8 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 4 years ago
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 3 years ago
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆52Updated 7 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• AltSysrq / lmdb-zero
  Near-zero-cost, unabstracted Rust wrapper for LMDB.
  ☆91Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 9 months ago
• rsaarelm / urbit-rs
  ☆11Updated 9 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 9 years ago
• losfair / hexagon-e
  The HexagonE VM
  ☆26Updated 3 years ago
• lemonrock / predicator
  Predicator, a Rust crate for generating and running dynamic code
  ☆16Updated 7 years ago
• zv / sexpr
  An encoding, decoding & utility library for S-expressions in Rust
  ☆37Updated 8 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆44Updated 5 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 6 years ago
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆48Updated 4 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• comex / namedarg
  Named arguments for Rust
  ☆38Updated 8 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆46Updated 8 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆42Updated last year
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 7 years ago
• ndmitchell / interpret
  ☆39Updated 4 years ago
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 6 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆62Updated 6 months ago