leostera / hotstuff

Related projects ⓘ

Alternatives and complementary repositories for hotstuff

• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆38Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 5 years ago
• eeue56 / coed
  Elm-style library for writing modern frontends
  ☆15Updated 2 years ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆31Updated 4 years ago
• vmchale / madlang
  Madlang is a language for generative literature
  ☆51Updated 6 years ago
• dfithian / chez-grater
  ☆37Updated last year
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆30Updated last year
• multiprocessio / shape
  Basic schema inference for arbitrary JavaScript data objects
  ☆34Updated 2 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆81Updated this week
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆139Updated 5 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated last week
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated 11 months ago
• georgegarrington / Syphon
  An Elm-like language for declarative, purely functional GUI applications powered by Electron and React
  ☆17Updated 2 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆27Updated 2 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 6 months ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 4 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆78Updated 2 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 3 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆25Updated this week
• darklang / fizzboom
  Benchmark to compare async web server + interpreter + web client implementations across various languages
  ☆46Updated last year
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• steinuil / the-little-ocamler
  The examples from "The Little MLer" in OCaml and ReasonML
  ☆30Updated 4 years ago
• wiredsister / example-ocaml
  A simple OCaml program that makes an HTTP Get request and prints the output to the console.
  ☆21Updated 8 years ago