Alternatives and similar repositories for hotstuff:

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

• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆40Updated 2 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 5 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• af / shmup.re
  Learning Reason/OCaml by making an old-school canvas game.
  ☆24Updated 7 years ago
• multiprocessio / shape
  Basic schema inference for arbitrary JavaScript data objects
  ☆34Updated 3 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• dysinger / restack
  Full Stack ReasonML Tutorials
  ☆229Updated 4 years ago
• eeue56 / coed
  Elm-style library for writing modern frontends
  ☆15Updated 2 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated last month
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆17Updated 6 years ago
• dfithian / chez-grater
  ☆36Updated last year
• GrayJack / tree-sitter-janet
  A tree-sitter grammar parser for Janet
  ☆16Updated 2 years ago
• tmattio / inquire
  Create beautiful interactive command line interface in OCaml
  ☆43Updated 3 years ago
• StrykerKKD / SandDB
  A simple immutable database for the masses.
  ☆20Updated 3 years ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 4 years ago
• bopwerks / omnino
  Omnino is a windowing system for web applications.
  ☆57Updated last year
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• xoba / sc
  storage combinators
  ☆18Updated 4 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• ianthehenry / jimmy
  Janet bindings for the persistent data structure library "immer"
  ☆21Updated last year
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated this week
• pachadb / pachadb
  an edge database
  ☆28Updated 7 months ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated last year
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated last year