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
• calebwin / rep
  enforce representation/class invariants in your Rust data structures
  ☆12Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆64Updated 2 years ago
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆81Updated 11 months ago
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆64Updated last year
• JoshMcguigan / nerve
  ☆17Updated 5 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• m-ou-se / intbits
  Easy access to individual bits of integers.
  ☆51Updated 2 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
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• Eh2406 / quadrature
  Fast Numerical Integration
  ☆24Updated 6 years ago
• 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
• eira-fransham / crunchy
  Crunchy unroller - deterministically unroll constant loops
  ☆50Updated 6 months ago
• Emoun / graphene
  Graph library for Rust
  ☆27Updated 4 months ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆27Updated last month
• gmorenz / qc
  Experimental Quantum Computer Simulator + Quantum Chess Implementation
  ☆19Updated 5 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated last week
• JASory / ENT
  Elementary Number Theory for Integers in Rust
  ☆19Updated 10 months ago
• gengteng / rust-assistant
  GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…
  ☆18Updated 10 months ago
• mcoblenz / Bronze
  ☆37Updated 4 months ago
• samsieber / tco
  ☆18Updated 5 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
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• newpavlov / fsm-bench
  Benchmark of Finite State Machine approaches
  ☆28Updated 5 years ago
• calum / terminal_image_display
  Displays images & gifs in the terminal using rust 🖼️🖥️
  ☆11Updated 2 years ago
• dontpanic92 / feca
  A web browser prototype.
  ☆13Updated 2 years ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 5 years ago
• spacekookie / fool
  ❓ A powerful git terminal interface which focuses on usability
  ☆54Updated 7 years ago