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
• 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
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 3 years ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• 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
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆63Updated last year
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 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
• JoshMcguigan / nerve
  ☆17Updated 5 years ago
• JASory / ENT
  Elementary Number Theory for Integers in Rust
  ☆19Updated 9 months ago
• newpavlov / fsm-bench
  Benchmark of Finite State Machine approaches
  ☆28Updated 5 years ago
• marcusklaas / sortedvec
  Rust vector types without dependencies that enable quick lookups
  ☆19Updated 5 years ago
• cdbfoster / zero_sum
  An analysis library for zero-sum games, written in Rust
  ☆18Updated 4 years ago
• NeoCogi / pfds
  ☆19Updated 3 months ago
• vorner / fastmatmult
  Some experiments… and maybe a surprise coming.
  ☆33Updated 7 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• elsuizo / static-math
  Safe and fast mathematical operations with static arrays in the Rust programming language
  ☆42Updated 3 years ago
• gmorenz / qc
  Experimental Quantum Computer Simulator + Quantum Chess Implementation
  ☆19Updated 4 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
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 4 years ago
• dalance / nom-packrat
  Extension of nom to apply "Packrat Parsing"
  ☆22Updated 10 months ago
• m-ou-se / intbits
  Easy access to individual bits of integers.
  ☆51Updated 2 years ago
• minirust / specr
  ☆14Updated 4 months ago
• nox / rayon_croissant
  <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐
  ☆14Updated 6 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆23Updated 2 months ago
• KerfuffleV2 / repugnant-pickle
  Low effort scraping Python's pickle format in Rust. It is to complete pickle parsing as BeautifulSoup was to complete HTML parsing.
  ☆25Updated last year
• mcoblenz / Bronze
  ☆37Updated 3 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 2 weeks ago