Next-generation libalpm/makepkg wrapper.
☆63Jun 27, 2011Updated 14 years ago
Alternatives and similar repositories for clyde
Users that are interested in clyde are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Orchard Opetopic Proof Assistant☆29May 2, 2016Updated 9 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- nftables firewall script☆13Sep 18, 2023Updated 2 years ago
- IRC log viewer by iain collins☆21Feb 5, 2011Updated 15 years ago
- Track Rust's await bikeshedding☆12Jul 7, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Sublime Text - Hide the menu☆11Oct 25, 2017Updated 8 years ago
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- Zenburn 256 color scheme for the color GNU ls utility.☆45Aug 23, 2015Updated 10 years ago
- A Mongoid-like model library for Clojure and MongoDB☆21Sep 25, 2024Updated last year
- A screenlocker that's highly configurable in lua☆11Jan 16, 2012Updated 14 years ago
- Intro-presentation about Rust.☆11Oct 16, 2019Updated 6 years ago
- ☆18Dec 15, 2016Updated 9 years ago
- ☆15Sep 26, 2020Updated 5 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- i bet you there is a typesystem behind music☆32Oct 24, 2018Updated 7 years ago
- Source code for open source software used on the SNES Classic - https://www.nintendo.co.jp/support/oss/index.html#☆13Oct 28, 2017Updated 8 years ago
- An on-demand runtimepath manager and plugin loader for vim (for handling plugins distributes, e.g., as git repositories)☆15Jan 16, 2015Updated 11 years ago
- The HexagonE VM☆26Aug 23, 2022Updated 3 years ago
- Automacon guided tutorial☆13Sep 27, 2016Updated 9 years ago
- A light battery monitor and a CPU frequency scaler. Moved to https://gitlab.com/dphillips/paramano☆13Nov 19, 2022Updated 3 years ago
- ☆13Jun 20, 2021Updated 4 years ago
- Prompt themes for Elvish☆18Mar 20, 2022Updated 4 years ago
- My Neovim setup☆18Jul 30, 2025Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Jun 19, 2025Updated 9 months ago
- Project controlling Philips Hue Bluetooth Color bulbs. Bash version.☆15Feb 17, 2020Updated 6 years ago
- Unrar recursively (no longer maintained, fork away)☆15Jul 15, 2013Updated 12 years ago
- Hosting platform for the Arch User Repository (AUR), a collection of packaging scripts created by the Arch Linux community☆20Feb 20, 2021Updated 5 years ago
- An Actor Library for Rust☆20Jun 11, 2016Updated 9 years ago
- Slack puppeting bridge for matrix☆49Apr 18, 2022Updated 3 years ago
- ☆10Aug 16, 2024Updated last year
- A little SIMBL hack that enables you to toggle the menubar on/off.☆35Feb 8, 2013Updated 13 years ago
- ☆13Apr 11, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- bash and fish auto-completion scripts for brew-cask☆20Dec 29, 2016Updated 9 years ago
- Mail server with virtual domains and spam control using Postfix, MySQL, Dovecot and PostfixAdmin☆20Sep 24, 2012Updated 13 years ago
- Collection of PKGBUILDS for PacBSD☆32May 30, 2019Updated 6 years ago
- Kick-ass JSON utilities for JavaScript and CoffeeScript☆14Jul 3, 2011Updated 14 years ago
- ROS 2 client library in Zig.☆15May 16, 2022Updated 3 years ago
- Vim plugins, syntax and indention for Running SAS and editing SAS programs.☆14Apr 7, 2015Updated 11 years ago
- Tools to visualise and debug a timely-dataflow program☆28May 29, 2019Updated 6 years ago