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
  ☆230Updated 4 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆17Updated 6 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆102Updated last year
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆146Updated 3 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.
  ☆25Updated 7 years ago
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆25Updated 3 years ago
• tmattio / inquire
  Create beautiful interactive command line interface in OCaml
  ☆43Updated 4 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 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
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 6 months ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• revery-ui / revery-terminal
  Barebones terminal emulator built with ReasonML + Revery + libvterm
  ☆81Updated 4 years ago
• lexi-lambda / scripty
  Distributable shell scripts with dependencies
  ☆11Updated 8 years ago
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆24Updated 3 years ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆208Updated 5 years ago
• sordina / japl
  Font for turning J into APL
  ☆12Updated 6 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆56Updated 3 weeks ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• rlucha / reasonml-minimal-config
  ReasonML minimal webpack config with webpack-dashboard & reports enabled
  ☆18Updated 7 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆138Updated 6 years ago
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆61Updated 5 months 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
• arcfide / Haven
  Your happy place for learning APL
  ☆15Updated 2 years ago
• glennsl / sane-reason-grammar
  ☆11Updated 7 years ago