noghartt / paxos-from-scratch

Related projects ⓘ

Alternatives and complementary repositories for paxos-from-scratch

• lffg / fdb
  A simple (and unfinished!!) database management system.
  ☆18Updated last year
• lffg / compressing
  Basic (and naive) LZW and Huffman compression algorithms in Rust.
  ☆10Updated last year
• vit0rr / json-parser
  A Json parser in TypeScript
  ☆16Updated last year
• woovibr / java-sdk
  OpenPix/Woovi Java SDK
  ☆9Updated 3 months ago
• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆13Updated 2 years ago
• HigherOrderCO / bend-language-server
  Language server for the Bend programming language
  ☆11Updated last month
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆33Updated 8 months ago
• samueldurantes / susi
  A simple viewer of the cutoff scores for all Brazilian higher education institutions participating in SISU
  ☆16Updated 10 months ago
• duplicateduuid / banoffee
  Banoffee is a social networking platform tailored for avid readers and knowledge seekers.
  ☆12Updated 5 months ago
• fersilva16 / nix-config
  My NixOS configuration
  ☆12Updated 2 weeks ago
• dhilst / vlisp
  VimL lisp evaluator
  ☆10Updated 3 years ago
• EduardoRFS / thoughts
  ☆22Updated last year
• miguel-nascimento / brainfuck-hs
  A brainfuck interpreter in Haskell. Rewrite of tsfuck
  ☆11Updated 3 years ago
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆30Updated 4 months ago
• woovibr / apiWithLog
  Powerful Fetch
  ☆24Updated 6 months ago
• viniciusfonseca / alexdb
  ☆11Updated 8 months ago
• powrjs / powr
  compile TypeScript or JavaScript to binaries
  ☆21Updated last year
• vinibgoulart / zius
  ⚡ Schema validator with custom messages
  ☆26Updated 2 months ago
• lucasew / torrent.el
  Find torrents using Google or DuckDuckGo without leaving emacs
  ☆10Updated 2 years ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated 10 months ago
• jeffque / rinha-compiler
  ☆18Updated last year
• EduardoRFS / f-omega
  ☆11Updated last year
• coproduto / purelisp
  Some day, a purely functional Lisp. Right now? Just a silly prototype.
  ☆15Updated 3 years ago
• lucassouzamatos / chico.lang
  a functional toy language
  ☆18Updated last year
• mauricioabreu / load-balancingo
  ☆23Updated last year
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆104Updated 11 months ago
• NicolasLopes7 / personal-notification-system
  Notification system, that schedules alarms on redis and send to all consumers.
  ☆13Updated 2 years ago
• MarcusXavierr / anki-helper
  A tool to make life easier for those who use anki as part of learning new languages
  ☆16Updated last year
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 10 months ago