P2P CAS / P2P Framework / Distributed GIT
☆23Aug 27, 2025Updated 8 months ago
Alternatives and similar repositories for hbs2
Users that are interested in hbs2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Multiplatform BTC wallet with client side filters☆33Mar 16, 2024Updated 2 years ago
- OpenAPI server handler for Cowboy: erlang http server☆13May 5, 2026Updated 2 weeks ago
- 💧Elixir client for Fluvio streaming platform☆12Dec 11, 2025Updated 5 months ago
- Elixir library to access multiple remote Docker through the HTTP API☆11Apr 29, 2021Updated 5 years ago
- A curated collection of resources for the Boolean Satisfiability Problem (SAT).☆49Nov 30, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GHCJS widgets for reflex-dom and material bootstrap☆10Jan 11, 2018Updated 8 years ago
- Golang SDK for GrowthBook☆16May 11, 2026Updated last week
- A CLI tool that fetches GitHub PR diffs, analyzes them with OpenAI, and generates a Markdown code review to streamline the review process…☆11Apr 29, 2025Updated last year
- A talk given at the Polyglot meetup in CPH, March 2018☆12Nov 5, 2018Updated 7 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- ☆10Oct 22, 2025Updated 6 months ago
- Erlang bindings to tdlib/td written in Rust☆12Jan 29, 2025Updated last year
- QuasiQuoter for Perl6-style multi-line interpolated strings with q, qq and qc support.☆25Oct 15, 2019Updated 6 years ago
- User-friendly command-line search scripts combining find and grep utilities with fzf previewing and direct actions on specific file types☆17Dec 8, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated 2 years ago
- Parser for asciidoctor written in Rust☆25Jul 12, 2019Updated 6 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- ☆14Oct 17, 2022Updated 3 years ago
- Opengl based 3D real time PBR render engine.☆10Dec 24, 2023Updated 2 years ago
- HMI components for egui☆31Jan 19, 2026Updated 4 months ago
- Decentralized private key recovery☆12Nov 3, 2020Updated 5 years ago
- Certification authority based on OpenSSL, SQLite3 and Tcl/Tk☆12Feb 8, 2024Updated 2 years ago
- ☆12Dec 16, 2025Updated 5 months 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.
- Haskell parser for the djot light markup language☆30Mar 17, 2026Updated 2 months ago
- ☆12Jun 14, 2021Updated 4 years ago
- Simple Indexer for Riak based on Links☆27Oct 10, 2013Updated 12 years ago
- A Haskell library for on-disk tables based on LSM-Trees☆53Updated this week
- Forms for you ministry☆13Nov 12, 2025Updated 6 months ago
- Header-only ECMAScript (JavaScript) compatible regular expression engine☆18Mar 21, 2026Updated last month
- ☆10Sep 7, 2022Updated 3 years ago
- Industrial Cybersecurity Conference Index☆13Mar 11, 2024Updated 2 years ago
- Synchronize Erlang/OTP releases to remote nodes☆26May 15, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple BNF parser.☆11Nov 15, 2023Updated 2 years ago
- ☆12Sep 18, 2024Updated last year
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Add attribution to your quotations☆12Feb 10, 2021Updated 5 years ago
- mirror all your visible repos between gitlab and github☆13Oct 29, 2024Updated last year
- A tiny game console for education☆41Apr 23, 2026Updated 3 weeks ago
- Joe Armstrong implementation of X11 protocol for Erlang☆27Jul 31, 2010Updated 15 years ago