leostera / hotstuff

Related projects ⓘ

Alternatives and complementary repositories for hotstuff

• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆16Updated 6 years ago
• dysinger / restack
  Full Stack ReasonML Tutorials
  ☆229Updated 3 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆38Updated last year
• af / shmup.re
  Learning Reason/OCaml by making an old-school canvas game.
  ☆24Updated 7 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• jaredly / j3
  Another attempt to realize my programming language
  ☆18Updated last week
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆27Updated 2 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 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
• exercism / purescript
  Exercism exercises in PureScript.
  ☆37Updated 3 weeks ago
• tmattio / inquire
  Create beautiful interactive command line interface in OCaml
  ☆41Updated 3 years ago
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆23Updated 2 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• revery-ui / revery-terminal
  Barebones terminal emulator built with ReasonML + Revery + libvterm
  ☆80Updated 3 years ago
• ELLIOTTCABLE / bs-deriving
  Type-driven code generation for OCaml, ReasonML, and BuckleScript
  ☆42Updated last year
• odis-labs / rekube
  Rekube is a ReasonML toolkit for Kubernetes configuration.
  ☆26Updated 4 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated 4 months ago
• multiprocessio / shape
  Basic schema inference for arbitrary JavaScript data objects
  ☆34Updated 2 years ago
• state-machine-systems / JsonCodec
  JSON combinator library for BuckleScript/Reason
  ☆38Updated 5 years ago
• jaredly / jerd
  ☆36Updated 3 years ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆58Updated 2 months ago
• chris-martin / graphical-haskell
  ☆13Updated 5 years ago
• bobzhang / belt-simple-bench
  ☆12Updated 6 years ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 4 years ago
• Lupus / ocaml2go
  OCaml to Golang compiler
  ☆37Updated 3 years ago
• donut / OCamURL-server
  A URL shortener server with a GraphQL API written in OCaml.
  ☆29Updated 6 years ago
• kennetpostigo / qnd
  Quick and Dirty development builds
  ☆19Updated 7 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago