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
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 5 months ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• 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
• dfithian / chez-grater
  ☆37Updated last year
• af / shmup.re
  Learning Reason/OCaml by making an old-school canvas game.
  ☆25Updated 7 years ago
• tmattio / inquire
  Create beautiful interactive command line interface in OCaml
  ☆43Updated 4 years ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆144Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆73Updated last year
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 3 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆17Updated 6 years ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆208Updated 5 years ago
• Lupus / ocaml2go
  OCaml to Golang compiler
  ☆38Updated 4 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
• kiranandcode / ocamlot
  An Activitypub server in OCaml!
  ☆70Updated 2 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆138Updated 6 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last week
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆41Updated 2 years ago
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆25Updated 3 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆50Updated last month
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆210Updated 6 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• jaredly / jerd
  ☆37Updated 3 years ago
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆143Updated 2 months ago