Alternatives and similar repositories for hotstuff

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

• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• dysinger / restack
  Full Stack ReasonML Tutorials
  ☆229Updated 4 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆17Updated 6 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 4 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆101Updated last year
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated 2 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆42Updated 2 years ago
• lexi-lambda / scripty
  Distributable shell scripts with dependencies
  ☆11Updated 8 years ago
• pdubroy / 200andchange
  ☆45Updated 2 months ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 6 months ago
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆25Updated 3 years ago
• dfithian / chez-grater
  ☆37Updated last year
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 6 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆77Updated 3 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆40Updated 2 years ago
• pachadb / pachadb
  an edge database
  ☆30Updated last year
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated 11 months ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• chris-martin / graphical-haskell
  ☆13Updated 5 years ago
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆18Updated 4 months ago
• dkrasner / Simpletalk
  ☆60Updated 2 years ago
• bopwerks / omnino
  Omnino is a windowing system for web applications.
  ☆57Updated last year
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• Bogdanp / Noise
  A Swift wrapper around Racket CS.
  ☆64Updated this week