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
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆65Updated 2 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
• calebwin / rep
  enforce representation/class invariants in your Rust data structures
  ☆12Updated 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
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆64Updated last year
• nox / mitochondria
  Mitochondria is the powerhouse of the `Cell`
  ☆30Updated 9 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆23Updated 2 weeks ago
• rust-cv / meetups
  ☆16Updated 4 years ago
• m-ou-se / intbits
  Easy access to individual bits of integers.
  ☆51Updated 2 years ago
• afck / fann-rs
  Rust wrapper for the Fast Artificial Neural Network library
  ☆16Updated last year
• yeslogic / unicode-general-category
  Fast lookup of the Unicode General Category property for `char` in Rust.
  ☆20Updated 4 months ago
• izgzhen / RuScript
  Experimental Language based on Rust and Haskell
  ☆54Updated 9 years ago
• Skeletonxf / easy-ml
  Machine learning library providing matrices, named tensors, linear algebra and autodiff aimed at being easy to use
  ☆24Updated last week
• nox / rayon_croissant
  <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐
  ☆14Updated 6 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 2 weeks ago
• saresend / shack
  A CLI for storing simple stuff thats hard to remember
  ☆20Updated 7 years ago
• dalance / nom-packrat
  Extension of nom to apply "Packrat Parsing"
  ☆22Updated 11 months ago
• dpbriggs / x7
  Speedy self-documenting lisp in Rust.
  ☆21Updated last year
• samsieber / tco
  ☆18Updated 5 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• gmorenz / qc
  Experimental Quantum Computer Simulator + Quantum Chess Implementation
  ☆19Updated 5 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆41Updated 4 years ago
• mcoblenz / Bronze
  ☆37Updated 5 months ago
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆81Updated 11 months ago
• newpavlov / fsm-bench
  Benchmark of Finite State Machine approaches
  ☆28Updated 5 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• marcusklaas / sortedvec
  Rust vector types without dependencies that enable quick lookups
  ☆19Updated 5 years ago
• zmitchell / polsim
  A command line utility for doing polarization simulations
  ☆17Updated 6 years ago