graydon / photesthesis

Related projects ⓘ

Alternatives and complementary repositories for photesthesis

• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆60Updated 2 years ago
• fitzgen / minisynth-rs
  Program synthesis is possible in Rust
  ☆24Updated 5 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆32Updated 2 years ago
• rust-formal-methods / wg
  ☆22Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆130Updated last year
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆24Updated 6 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago
• fasterthanlime / stringsearch
  Collection of techniques for (binary) string searching
  ☆21Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 3 years ago
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆101Updated 2 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆19Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 2 weeks ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆54Updated last week
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆37Updated 6 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated last year
• zakarumych / scoped-arena
  Arena allocator with scopes
  ☆43Updated last year
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆22Updated last week
• okready / scratchpad
  A Rust library providing a stack-like memory allocator with double-ended allocation support.
  ☆22Updated 3 years ago
• mimoo / cargo-dephell
  Cargo dephell analyzes the third-party dependencies of a Rust workspace
  ☆47Updated last year
• ahrvoje / numerics
  Numerical snippets & tests
  ☆12Updated this week
• rrika / yvis
  bsp visibility precomputer, but in Rust
  ☆13Updated 5 years ago
• fitzgen / intrusive_splay_tree
  An intrusive splay tree implementation that is no-std compatible and free from allocation and moves
  ☆67Updated 2 years ago