Alternatives and similar repositories for dayder:

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

• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆49Updated 5 years ago
• afiodorov / radixmmap
  Mmap radix sort file by a fixed length prefix of each line
  ☆52Updated 4 years ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 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
• connorwstein / exchange
  ☆96Updated 3 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆84Updated 8 months ago
• wangyi-fudan / wyHLL
  The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.
  ☆55Updated 3 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 2 months ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆65Updated 5 years ago
• zacstewart / comm
  A hypothetical, distributed, encrypted, instant messaging protocol.
  ☆61Updated 6 years ago
• kach / chaos-game-fractal-foliage
  Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
  ☆14Updated 4 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆27Updated 3 years ago
• breck7 / particles.scroll.pub
  Particle Syntax Website
  ☆16Updated 4 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 9 months ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• christianscott / levenshtein-distance-benchmarks
  Code for "Making rust as fast as go"
  ☆23Updated 4 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆17Updated 4 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆68Updated 3 years ago
• garrensmith / couch_hack_week
  Rust CouchDB implementation for Cloudant hackweek
  ☆67Updated 4 years ago
• fredhohman / card-shuffling
  The Math of Card Shufflig
  ☆38Updated 2 years ago
• savarin / bridge
  speed up Python with Rust via WebAssembly - Oct 2020
  ☆23Updated 4 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆31Updated 6 years ago