π A solver for package problems in CUDF format
β28Sep 29, 2025Updated last year
Alternatives and similar repositories for aspcud
Users that are interested in aspcud are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This github repository hosts the code used within my thesis work and my last publication.β13Jul 20, 2017Updated 9 years ago
- β16Jun 21, 2023Updated 3 years ago
- Cli tool to pass arguments to nix flakesβ11May 6, 2024Updated 2 years ago
- Implements core functionality of adblockingβ16Feb 23, 2018Updated 8 years ago
- Django application for capturing logging to a database.β27Feb 8, 2013Updated 13 years 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.
- My repo for my Klipper config setup. This repo uses 0xD34D's fork here on github for my Klipper install.β14Dec 10, 2023Updated 2 years ago
- Pure Python typed Linux UHID wrapperβ12Oct 19, 2026Updated 2 weeks ago
- OCaml client bindings for FoundationDBβ12Nov 19, 2019Updated 6 years ago
- β12Mar 15, 2024Updated 2 years ago
- Vitepress needs better offline search. Let's make it simple and quick.β16Apr 11, 2023Updated 3 years ago
- A library to pool Node.js worker threads, automatically exposing exported module methods using Proxy Objects.β18Sep 1, 2024Updated 2 years ago
- β23Dec 17, 2013Updated 12 years ago
- configuration for my NASβ30Jun 14, 2026Updated 4 months ago
- Refinement types encoded with private types in OCaml.β11Oct 18, 2020Updated 6 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.
- [UNMAINTAINED] A lib to collect command line completion scripts of Python packagesβ33Feb 7, 2013Updated 13 years ago
- Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.β11Aug 29, 2026Updated 2 months ago
- Soundcard modem, software TNC and NET/ROM node for amateur packet radio, written in Go. AX.25 v2.2, FX.25, IL2P, APRS, 300β9600 bps AFSK/β¦β16Updated this week
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploitedβ27Oct 31, 2020Updated 6 years ago
- β12Feb 27, 2023Updated 3 years ago
- Read, Manipulate, and Write Profiler Dataβ11Oct 11, 2026Updated 3 weeks ago
- Easier bindings to Jest for ReasonMLβ12Oct 17, 2024Updated 2 years ago
- A nicer deparseβ12Jun 22, 2017Updated 9 years ago
- The spell program from the 10th Edition Unix systemβ11Jul 12, 2020Updated 6 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.
- 2020 Collegeville Workshop on Scientific Software - Developer Productivityβ12Mar 1, 2022Updated 4 years ago
- Compute Emacs Lisp object sizes.β10Jan 25, 2014Updated 12 years ago
- β13Jun 18, 2026Updated 4 months ago
- Create disposable R packages, for testingβ12Apr 25, 2024Updated 2 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporalβ¦β11Dec 21, 2020Updated 5 years ago
- ANSI escape codes for manipulating the terminalβ16Sep 4, 2017Updated 9 years ago
- Typed pure FP where data is syntax sugar for functionsβ11Nov 6, 2025Updated 11 months ago
- rio-wayland shim serverβ22Sep 10, 2023Updated 3 years ago
- β11Oct 22, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Nim utilitiesβ10Jun 25, 2021Updated 5 years ago
- Profiling framework for the R languageβ11Jun 8, 2017Updated 9 years ago
- Some simple scripts to set power levels and monitor GPU frequencies under linux with support to Radeon dpmβ14Jun 17, 2018Updated 8 years ago
- Audio controls in VR on Linuxβ15May 19, 2022Updated 4 years ago
- LaunchMON is a software infrastructure that enables HPC run-time tools to co-locate tool daemons with a parallel job. Its API allows a toβ¦β13Oct 13, 2026Updated 3 weeks ago
- Damselfly Network Simulatorβ10Nov 19, 2020Updated 5 years ago
- Nim implementation of Simple Serialize (SSZ) serialization and merkleizationβ11Oct 23, 2026Updated last week