leostera / hotstuffLinks
Composable, incremental, turnkey document compiler
☆22Updated 4 years ago
Alternatives and similar repositories for hotstuff
Users that are interested in hotstuff are comparing it to the libraries listed below
Sorting:
- Full Stack ReasonML Tutorials☆230Updated 4 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A functional language with Reason-like syntax that compiles to Go.☆139Updated 6 years ago
- Haskell In New Clothes☆110Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- ☆60Updated 2 years ago
- An Elm to OCaml compiler☆209Updated 5 years ago
- A LISP interpreter written in ReasonML, targeting native and browser environments☆17Updated 7 years ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- Port of microKanren to JavaScript.☆25Updated 3 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Build system☆90Updated 7 years ago
- Pure functional TUIs with The Elm Architecture☆47Updated 2 months ago
- ☆37Updated last year
- ☆46Updated 3 months ago
- A short guide detailing how to bootstrap PureScript.☆25Updated 6 years ago
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆42Updated 2 years ago
- Hotcaml: an interpreter with watching and reloading☆146Updated 3 years ago
- ☆69Updated 3 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- Barebones terminal emulator built with ReasonML + Revery + libvterm☆81Updated 4 years ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- Madlang is a language for generative literature☆51Updated 7 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- A Swift wrapper around Racket CS.☆64Updated 3 weeks ago
- The compiler for Keli☆174Updated 6 years ago