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
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆50Updated 8 years ago
• rsaarelm / urbit-rs
  ☆11Updated 8 years ago
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆53Updated 7 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 4 months ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• bkchr / picoquic-rs
  Picoquic bindings for rust.
  ☆28Updated 5 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 5 years ago
• losfair / hexagon-e
  The HexagonE VM
  ☆26Updated 3 years ago
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 3 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 7 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 4 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆59Updated 2 months ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• mindbeam / unbase
  ☆40Updated 5 years ago
• chalcolith / rslogic
  A logic programming library (inspired by uKanren) in Rust.
  ☆20Updated 9 years ago
• bobbin-rs / bobbin-wasm
  A #[no_std], allocation-free WebAssembly interpreter written in Rust
  ☆15Updated 6 years ago
• icefoxen / nanowasm
  A small standalone WebAssembly interpreter in Rust
  ☆36Updated 6 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆41Updated last year
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 10 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 5 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• zv / sexpr
  An encoding, decoding & utility library for S-expressions in Rust
  ☆35Updated 8 years ago
• zacstewart / comm
  A hypothetical, distributed, encrypted, instant messaging protocol.
  ☆62Updated 6 years ago
• frehberg / wasm-sign
  WebAssembly signing and verification tool
  ☆50Updated 7 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• valarauca / consistenttime
  Constant Time Operations for Crypto Libraries
  ☆10Updated 8 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 4 years ago