Alternatives and similar repositories for panini

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

• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 5 years ago
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 3 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 10 years ago
• rsaarelm / urbit-rs
  ☆11Updated 8 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 4 years ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• losfair / hexagon-e
  The HexagonE VM
  ☆26Updated 3 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆41Updated 11 months ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆48Updated 8 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated 2 years ago
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 7 years ago
• chalcolith / rslogic
  A logic programming library (inspired by uKanren) in Rust.
  ☆20Updated 9 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 5 months ago
• comex / namedarg
  Named arguments for Rust
  ☆38Updated 8 years ago
• crev-dev / recursive-digest
  A recursive file-system digest (hash)
  ☆13Updated 2 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆57Updated 2 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 3 months ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 5 years ago
• pczarn / gearley
  An Earley parser engine in Rust.
  ☆35Updated last week
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 5 years ago
• graydon / bocu1
  a BOCU-1 encoder/decoder library in rust
  ☆18Updated 2 years ago
• tailhook / probor
  A protocol on top of CBOR that provides protobuf-like functionality
  ☆54Updated 7 years ago
• icefoxen / nanowasm
  A small standalone WebAssembly interpreter in Rust
  ☆36Updated 6 years ago
• AltSysrq / lmdb-zero
  Near-zero-cost, unabstracted Rust wrapper for LMDB.
  ☆87Updated 4 years ago
• rodrimati1992 / type_level
  Libraries for declaring and using type-level values.
  ☆11Updated 6 years ago