Cluster management system for the SIPB Hyades project
☆23Jul 4, 2022Updated 3 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:
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- Implementing a packet level software network load balancer☆11Jun 13, 2018Updated 7 years ago
- dark "mid-contrast" theme for neovim/gvim☆10Mar 7, 2023Updated 3 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- An implementation of Genetic Programming in Rust.☆15Jan 7, 2018Updated 8 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.
- Ansible Role for SSH☆12Feb 15, 2015Updated 11 years ago
- linux, without the gnu☆16Jan 3, 2021Updated 5 years ago
- An experiment to bring Kerberos and Project Athena to the web☆30Apr 1, 2017Updated 9 years ago
- Transpiling lua-5.3.5 to rust with c2rust☆22Oct 26, 2018Updated 7 years ago
- Demo files for the "Distributed storage with Rook" talk by Kim-Norman Sahm and me, and other Rook related presentations.☆13May 27, 2019Updated 6 years ago
- Example Ansible Role for User Management☆13Aug 17, 2014Updated 11 years ago
- Code for cellular automata model of slime mould Physarum Polycephalum☆14May 3, 2017Updated 8 years ago
- learning cuda☆20Jun 27, 2016Updated 9 years ago
- Ansible Role for PHP and PHP-FPM☆18Mar 27, 2015Updated 11 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Lambda Programming Language☆19Nov 5, 2016Updated 9 years ago
- A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.☆24Oct 28, 2019Updated 6 years ago
- Sqreen Security Checklist Transformer & Uploader☆29Jun 7, 2021Updated 4 years ago
- A functional systems programming language with compile-time memory management☆31Nov 3, 2021Updated 4 years ago
- Server-side jQuery API renderer.☆88Mar 18, 2021Updated 5 years ago
- ☆36Jul 30, 2018Updated 7 years ago
- Published by Packt☆11Jan 18, 2021Updated 5 years ago
- Jenkins plugin to monitor pull requests with customizable dashboard. You can also provide a view for your plugin that other developers ca…☆10Jun 26, 2025Updated 9 months ago
- Real-time simulation of video feedback☆28Feb 15, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- collection of scrots☆32Feb 5, 2017Updated 9 years ago
- ☆13Aug 14, 2025Updated 8 months ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆46Apr 2, 2026Updated 2 weeks ago
- A dynamic compilation framework for PTX (forked from Google Code).☆10Jul 31, 2016Updated 9 years ago
- The base16 (and all variants) for Zathura pdf reader☆36Aug 26, 2015Updated 10 years ago
- Continuous unit testing tool☆25Oct 15, 2020Updated 5 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- 基于Qt qwt的串口示波器☆12May 8, 2019Updated 6 years ago
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jul 15, 2024Updated last year
- A VM-based runtime environment for functional programming languages☆51Feb 13, 2017Updated 9 years ago
- AES-GEM (AES Galois Extended Mode) implementation.☆13Feb 9, 2026Updated 2 months 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
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- A C++ json/xml dumper/serialization library☆14Apr 5, 2015Updated 11 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago