Alternatives and similar repositories for hotstuff

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

• dysinger / restack
  Full Stack ReasonML Tutorials
  ☆229Updated 4 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆17Updated 6 years ago
• eeue56 / coed
  Elm-style library for writing modern frontends
  ☆15Updated last week
• asolove / explore-concurrent-ml
  Exploring Concurrent ML in Reason
  ☆18Updated 8 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• skx / closure-based-brainfuck-vm
  An understandable fast brainfuck interpreter using closures rather than bytecode
  ☆12Updated 2 months ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆39Updated last year
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• multiprocessio / shape
  Basic schema inference for arbitrary JavaScript data objects
  ☆34Updated 3 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• revery-ui / revery-terminal
  Barebones terminal emulator built with ReasonML + Revery + libvterm
  ☆81Updated 4 years ago
• bopwerks / omnino
  Omnino is a windowing system for web applications.
  ☆57Updated last year
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• xoba / sc
  storage combinators
  ☆18Updated 5 years ago
• ELLIOTTCABLE / bs-deriving
  Type-driven code generation for OCaml, ReasonML, and BuckleScript
  ☆42Updated 2 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 10 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• 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
• af / shmup.re
  Learning Reason/OCaml by making an old-school canvas game.
  ☆25Updated 7 years ago
• vmchale / madlang
  Madlang is a language for generative literature
  ☆51Updated 6 years ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 5 years ago
• tmattio / inquire
  Create beautiful interactive command line interface in OCaml
  ☆43Updated 4 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated last month
• Gizra / ihp-simple-seat-reservation
  ☆20Updated last year
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 4 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• dfithian / chez-grater
  ☆37Updated last year