trishume / dayder

Related projects ⓘ

Alternatives and complementary repositories for dayder

• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 6 months ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 3 weeks ago
• connorwstein / exchange
  ☆97Updated 2 years ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆48Updated 5 years ago
• kristoff-it / zig-cuckoofilter
  Production-ready Cuckoo Filters for any C ABI compatible target.
  ☆83Updated last year
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 3 years ago
• christianscott / levenshtein-distance-benchmarks
  Code for "Making rust as fast as go"
  ☆23Updated 4 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• dphm / rusty_chip
  CHIP-8 interpreter and virtual machine in Rust
  ☆15Updated 6 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• zacstewart / comm
  A hypothetical, distributed, encrypted, instant messaging protocol.
  ☆62Updated 5 years ago
• bazald / hash-trie
  Hash Array Mapped Trie (HAMT) and Ctrie Implementations for Rust
  ☆10Updated 2 years ago
• brundonsmith / life
  Simple Rust implementation of Conway's Game of Life
  ☆64Updated 2 years ago
• the8472 / fastar
  Fast tar archiver
  ☆103Updated 2 years ago
• kevinlawler / kerf
  Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…
  ☆26Updated 2 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• ottypes / libot
  A minimal C library for operational transform
  ☆109Updated 9 years ago
• seiflotfy / pcsa
  ☆37Updated 6 years ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 4 years ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆22Updated 4 years ago
• epilys / vfsstat.rs
  Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c
  ☆33Updated 9 months ago
• BurntSushi / notes
  A collection of small notes that aren't appropriate for my blog.
  ☆31Updated 2 years ago
• bootzin / bloc
  bloc is a better locate tool for finding files in your system
  ☆19Updated 6 years ago
• trishume / seqalign_pathing
  Rust implementation of sequence alignment / Levenshtein distance by A* acceleration of the DP algorithm
  ☆21Updated 7 years ago
• wildarch / jepsen.rqlite
  ☆58Updated 2 years ago
• oridb / mk
  Makefile Templates
  ☆19Updated 7 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆56Updated last year
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 4 years ago