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 3 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆16Updated 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
• af / shmup.re
  Learning Reason/OCaml by making an old-school canvas game.
  ☆24Updated 7 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆39Updated 2 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 weeks ago
• dfithian / chez-grater
  ☆36Updated last year
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• donut / OCamURL-server
  A URL shortener server with a GraphQL API written in OCaml.
  ☆29Updated 7 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 4 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• jaredly / jerd
  ☆36Updated 3 years ago
• bobzhang / belt-simple-bench
  ☆12Updated 7 years ago
• eeue56 / coed
  Elm-style library for writing modern frontends
  ☆15Updated 2 years ago
• asolove / explore-concurrent-ml
  Exploring Concurrent ML in Reason
  ☆18Updated 7 years ago
• broom-lang / broom
  A programming language with first-class modules and algebraic effects.
  ☆15Updated 2 years ago
• Lupus / ocaml2go
  OCaml to Golang compiler
  ☆38Updated 4 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• pachadb / pachadb
  an edge database
  ☆28Updated 6 months ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 4 years ago
• rlucha / reasonml-minimal-config
  ReasonML minimal webpack config with webpack-dashboard & reports enabled
  ☆18Updated 7 years ago
• Risto-Stevcev / bs-free
  Free monads for bucklescript
  ☆25Updated 6 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• Rigellute / L-system-reasonml
  L-system tree in ReasonML using Reprocessing
  ☆18Updated 6 years ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated last year
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated 11 months ago
• glennsl / sane-reason-grammar
  ☆11Updated 7 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆29Updated 3 years ago
• tmattio / inquire
  Create beautiful interactive command line interface in OCaml
  ☆43Updated 3 years ago