P2P CAS / P2P Framework / Distributed GIT
☆23Aug 27, 2025Updated 6 months ago
Alternatives and similar repositories for hbs2
Users that are interested in hbs2 are comparing it to the libraries listed below
Sorting:
- RDX implementation in Go☆38Oct 2, 2025Updated 5 months ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- OpenAPI server handler for Cowboy: erlang http server☆13Dec 22, 2025Updated 2 months ago
- An LSM database turned a CRDT database. Really fast counters!☆16Jan 16, 2025Updated last year
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- A curated collection of resources for the Boolean Satisfiability Problem (SAT).☆41Nov 30, 2025Updated 3 months ago
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated last year
- Parser for asciidoctor written in Rust☆25Jul 12, 2019Updated 6 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- Circular Geo fencing for react apps.☆16Feb 23, 2026Updated last week
- Opengl based 3D real time PBR render engine.☆10Dec 24, 2023Updated 2 years ago
- Installation and configuration of WireGuard on Ubuntu servers for building a mesh network.☆12Mar 21, 2024Updated last year
- Compile a tensorflow graph to WebAssembly (via XLA)☆40Jun 25, 2018Updated 7 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
- Document about design of a GNSS receiver☆14May 28, 2020Updated 5 years ago
- ☆37Aug 13, 2025Updated 6 months ago
- Russian phonetical transcription☆11Nov 19, 2025Updated 3 months ago
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 7 months ago
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 3 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- the zero network protocol☆25Jul 21, 2020Updated 5 years ago
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Nov 4, 2024Updated last year
- Pump.fun Anchor SDK: IDL & CPI only Solana program (smart contract)☆15Dec 13, 2024Updated last year
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Apr 7, 2018Updated 7 years ago
- R code to "average" GPS traces from OpenStreetMap to derive usable GPX tracks for roadways☆21Dec 4, 2018Updated 7 years ago
- Running Rust on the RISCV dev board "Sipeed Longan Nano"☆10Nov 17, 2019Updated 6 years ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 3 years ago
- Examining the conversations on the Linux Kernel Mailing List☆10Feb 8, 2018Updated 8 years ago
- A network scanning CLI, TUI, and Rust Package that makes it easy to perform ARP & SYN scanning for a LAN☆24Updated this week
- Secure decentralized hierarchical coordination platform☆22Nov 19, 2022Updated 3 years ago
- Command line interface for COAL cryptocurrency mining.☆11Jan 30, 2025Updated last year
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- A Terraform module that generates JSON documents for access for common AWS SSM Parameter Store policies☆16May 29, 2025Updated 9 months ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- ROCK 5B+☆12Nov 21, 2025Updated 3 months ago
- A grant application management web app☆11Mar 19, 2018Updated 7 years ago
- Implements the concept of capabilities as part of the robots-in-concert system.☆11Mar 4, 2023Updated 3 years ago
- > Gemini Rust Suite 🦀: A powerful, modular Rust toolkit for interacting with Google Gemini. Features a feature-rich CLI, persistent sema…☆16Apr 23, 2025Updated 10 months ago