Cluster management system for the SIPB Hyades project
☆23Jul 4, 2022Updated 4 years ago
Alternatives and similar repositories for homeworld
Users that are interested in homeworld are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- linux, without the gnu☆16Jan 3, 2021Updated 5 years ago
- Another version of ProofGeneral character, じぇねらるたん☆25May 25, 2016Updated 10 years ago
- A functional systems programming language with compile-time memory management☆31Nov 3, 2021Updated 4 years ago
- Getting Started Material☆31Feb 20, 2024Updated 2 years ago
- 🎉 Celebrate after submittint your college applications☆23Oct 19, 2021Updated 4 years ago
- 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.
- Examples using different CI systems to build with Earthly.☆12Oct 1, 2021Updated 4 years ago
- OCaml bindings to Zstandard☆25Jul 10, 2026Updated last month
- Jenkins plugin to monitor pull requests with customizable dashboard. You can also provide a view for your plugin that other developers ca…☆10Aug 8, 2026Updated last week
- AES-GEM (AES Galois Extended Mode) implementation.☆14May 19, 2026Updated 3 months ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆49Jul 30, 2026Updated 2 weeks ago
- OCaml bindings for libusb-1.0☆16Oct 25, 2021Updated 4 years ago
- Zsh: Vim-style increment/decrement in vicmd, visual keymaps☆11Jan 19, 2022Updated 4 years ago
- wall time exex for reth☆12Aug 5, 2024Updated 2 years ago
- Tools for constructing data preprocessing & analysis pipelines for medical & neuroscientific imaging data☆12Feb 9, 2014Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 基于Qt qwt的串口示波器☆12May 8, 2019Updated 7 years ago
- ☆11Jul 15, 2024Updated 2 years ago
- One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features…☆12Feb 24, 2023Updated 3 years ago
- A PBKDF2 key function implementation for MySQL☆11Nov 1, 2021Updated 4 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 5 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- ☆13Jun 30, 2023Updated 3 years ago
- constant-size associative container backed by a simple array☆20Aug 6, 2023Updated 3 years ago
- A C++ json/xml dumper/serialization library☆14Apr 5, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A homebrew tap☆16Feb 23, 2026Updated 5 months ago
- Type-level named values with partial dependent type support in Rust☆58Apr 18, 2022Updated 4 years ago
- ☆15Jul 8, 2021Updated 5 years ago
- The famous merge strategy☆15Feb 15, 2017Updated 9 years ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆19Sep 16, 2025Updated 11 months ago
- High Assurance Cryptographic Software☆10Jun 1, 2026Updated 2 months ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 5 years ago
- Allocator Suite which contains various allocators for workload-specific allocation.☆17Apr 29, 2021Updated 5 years ago
- An asynchronous Rust client and server implementation of the Network Block Device (NBD) protocol. MIT Licensed.☆12Jan 24, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- time picture explorer.☆11Feb 11, 2015Updated 11 years ago
- Minimal Ethereum RPC Client in Rust☆11Nov 18, 2023Updated 2 years ago
- Type safe Java Reflection☆11Apr 4, 2023Updated 3 years ago
- Dockerized setup of SSH with a Certificate Authority and Principals configured☆16Apr 20, 2022Updated 4 years ago
- ☆13Sep 14, 2022Updated 3 years ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- ☆15Jan 23, 2019Updated 7 years ago