Alternatives and similar repositories for drug

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

• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆42Updated last year
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 6 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 5 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆65Updated 2 years ago
• calebwin / rep
  enforce representation/class invariants in your Rust data structures
  ☆12Updated 3 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated last year
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆40Updated 7 years ago
• cdbfoster / zero_sum
  An analysis library for zero-sum games, written in Rust
  ☆18Updated 4 years ago
• nox / mitochondria
  Mitochondria is the powerhouse of the `Cell`
  ☆30Updated 9 years ago
• rodrimati1992 / type_level
  Libraries for declaring and using type-level values.
  ☆11Updated 6 years ago
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 6 years ago
• dalance / nom-packrat
  Extension of nom to apply "Packrat Parsing"
  ☆22Updated last year
• 2bdkid / refinement
  Convenient creation of type-safe refinement types.
  ☆23Updated last year
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆64Updated last year
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆82Updated last year
• siberianbluerobin / bulk-examples-generator
  Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…
  ☆15Updated 4 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆23Updated last month
• mcoblenz / Bronze
  ☆37Updated 5 months ago
• 197g / index-ext
  More indexing options for Rust slices
  ☆10Updated 2 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆41Updated 4 years ago
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 3 years ago
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆30Updated last week
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆43Updated 4 years ago
• gmorenz / qc
  Experimental Quantum Computer Simulator + Quantum Chess Implementation
  ☆19Updated 5 years ago