Alternatives and similar repositories for dayder

Users that are interested in dayder are comparing it to the libraries listed below

• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 5 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆57Updated 12 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• connorwstein / exchange
  ☆96Updated 3 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• fredhohman / card-shuffling
  The Math of Card Shufflig
  ☆38Updated 3 years ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆51Updated 5 years ago
• bazald / hash-trie
  Hash Array Mapped Trie (HAMT) and Ctrie Implementations for Rust
  ☆13Updated 2 years ago
• savarin / bridge
  speed up Python with Rust via WebAssembly - Oct 2020
  ☆23Updated 4 years ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆21Updated 4 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…
  ☆31Updated 2 years ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 8 months ago
• afterburnerdb / afterburner
  Interactive SQL analytics in your browser!
  ☆22Updated 7 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 3 weeks ago
• breck7 / particles.scroll.pub
  Particle Syntax Website
  ☆16Updated 9 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆28Updated 3 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• afiodorov / radixmmap
  Mmap radix sort file by a fixed length prefix of each line
  ☆52Updated 5 years ago
• kach / chaos-game-fractal-foliage
  Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
  ☆15Updated 4 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 2 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• rgov / sqlite_protobuf
  A SQLite extension for extracting values from serialized Protobuf messages
  ☆88Updated last week