Composable, incremental, turnkey document compiler
☆22Nov 6, 2020Updated 5 years ago
Alternatives and similar repositories for hotstuff
Users that are interested in hotstuff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SecretHandshake secure connections in C++, with Cap'n Proto support☆15Jan 11, 2026Updated 9 months ago
- ☆11Jan 11, 2024Updated 2 years ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated 2 years ago
- Literate testing for command-line programs☆39Oct 14, 2026Updated 2 weeks ago
- ☆20Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Elixir plugin for Mise version manager☆13Aug 29, 2024Updated 2 years ago
- ☆12Feb 12, 2018Updated 8 years ago
- Morph one word into another, one letter at a time☆20Feb 14, 2020Updated 6 years ago
- Run multiple commands in parallel with clean stdout/stderr output☆16Jul 5, 2023Updated 3 years ago
- Minimalist categoried input React component where tags appear when user separates them by commas or tabs☆12Sep 16, 2016Updated 10 years ago
- Basic Harp container for octohost.☆13Apr 15, 2015Updated 11 years ago
- optimizing compiler for an imperative stack based language☆17Sep 28, 2026Updated last month
- A match-three video game built with React, where players can create and share their own levels with the community.☆12Aug 20, 2023Updated 3 years ago
- An api to make it easy to deploy complete infrastructures of microservices using now☆15Feb 7, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Open source code of a package on npm/rubygems/crates and more☆10Aug 2, 2017Updated 9 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆15Aug 4, 2026Updated 2 months ago
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- Parses route strings to a sum type using Matches from fp-ts-routing☆12Dec 2, 2025Updated 10 months ago
- A repository around how we can have a build provenance document you *might* trust☆14Oct 20, 2026Updated last week
- Python 3 interface to RChain RNode RPC☆10May 13, 2022Updated 4 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Lazy import and install on demand Python packages☆11Feb 5, 2021Updated 5 years ago
- Kylie is a blond and small Elixir client for Cayley graph data base☆12Apr 17, 2026Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An API wrapper around indexedDB☆11Mar 2, 2023Updated 3 years ago
- Fyne GUI library with Rye language.☆15Oct 12, 2026Updated 2 weeks ago
- Efficient, immutable, UTF friendly byte strings with Elixir-style pattern matching for OCaml☆16Sep 28, 2024Updated 2 years ago
- Elegant Emacs theme with bright colors, based on https://github.com/sindresorhus/hyper-snazzy☆12Mar 12, 2017Updated 9 years ago
- An implementation of the Newspeak programming language☆12Sep 20, 2026Updated last month
- Super simple WebSocket demo☆11May 28, 2016Updated 10 years ago
- The Duo logo.☆17Aug 20, 2014Updated 12 years ago
- Commit your changes with an auto-generated message☆14Jul 18, 2019Updated 7 years ago
- ☆13Nov 16, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Follow a bulk list of people on Twitter using the API☆10Aug 25, 2016Updated 10 years ago
- A simple turn based "game" using nodeJS and socket.io☆11Apr 18, 2016Updated 10 years ago
- ☆17Jul 29, 2023Updated 3 years ago
- unofficial Codepen.io API☆14Jan 15, 2019Updated 7 years ago
- Develop sandstorm apps using Docker☆16Nov 5, 2022Updated 3 years ago
- Haskell module for parsing of Go source code, forked from Hackage☆13Aug 8, 2018Updated 8 years ago
- Create teams to track Wordle scores for bragging rights☆12Updated this week