CasperN / drug

Related projects: ⓘ

• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• calebwin / rep
  enforce representation/class invariants in your Rust data structures
  ☆11Updated 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…
  ☆16Updated 3 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 3 years ago
• graydon / submerge
  experimental databasey thing
  ☆10Updated this week
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆36Updated last year
• auxoncorp / tnfilt
  ☆31Updated 2 years ago
• rigetti / quil-rs
  Quil Parser & Program Builder
  ☆18Updated this week
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 3 years ago
• 2dav / crabgrind
  "Valgrind Client Request" interface for Rust programs
  ☆14Updated 2 weeks ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆30Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• rust-ml / enzyme_build
  A repo just containing everything to build a working enzyme/rustc/llvm/clang stack.
  ☆10Updated 2 years ago
• bytesnake / mdbook-scientific
  A plugin for scientific mdbooks
  ☆14Updated last year
• huonw / ieee754
  Low-level manipulations of IEEE754 floating-point numbers.
  ☆28Updated last year
• samsieber / tco
  ☆16Updated 4 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆31Updated 10 months ago
• c410-f3r / mop
  Flexible and modular framework for different NP-Problems with different solvers
  ☆20Updated last week
• OliverKillane / WACC-Compiler
  ☆12Updated this week
• yvt / svgbobdoc
  Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.
  ☆19Updated 10 months ago
• At0micBee / scilib
  A rust crate for mathematics and science
  ☆39Updated last year
• ManifoldFR / point-process-rust
  Simulation of point processes in the Rust programming language
  ☆40Updated last year
• indexmap-rs / equivalent
  Rust traits for key comparison in maps.
  ☆14Updated last year
• cessen / str_indices
  Count and convert between various ways of indexing utf8 string slices.
  ☆16Updated 3 months ago
• brurucy / ftree
  A pure-rust(with zero dependencies) fenwick tree, for the efficient computation of dynamic prefix sums.
  ☆11Updated 3 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆46Updated 8 months ago
• zademn / facto-rs
  Working prototype
  ☆16Updated 2 years ago
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆15Updated 6 years ago