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
  ☆40Updated 11 months ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated 2 years ago
• calebwin / rep
  enforce representation/class invariants in your Rust data structures
  ☆12Updated 2 years ago
• calum / terminal_image_display
  Displays images & gifs in the terminal using rust 🖼️🖥️
  ☆11Updated 2 years ago
• c410-f3r / mop
  Flexible and modular framework for different NP-Problems with different solvers
  ☆22Updated 6 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last week
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆81Updated 6 months ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 4 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
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆63Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• SparkyPotato / yam
  A low level, expressive language
  ☆13Updated 8 months ago
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆40Updated 6 years ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆33Updated 2 years ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• Eh2406 / quadrature
  Fast Numerical Integration
  ☆24Updated 6 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• rodrimati1992 / type_level
  Libraries for declaring and using type-level values.
  ☆11Updated 6 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• 3kyro / caprice
  A REPL for Rust projects featuring an easy to use, zsh like autocomplete feature.
  ☆22Updated last month
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 3 years ago
• 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
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 4 years ago
• samsieber / tco
  ☆18Updated 5 years ago