potassco / aspcud
A solver for package problems in CUDF format
☆27Updated last year
Alternatives and similar repositories for aspcud:
Users that are interested in aspcud are comparing it to the libraries listed below
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆45Updated 9 years ago
- Bootstrapping tools for Janneke's MES☆35Updated 3 weeks ago
- a tool to indent/format nix based source code and data structures as attrsets and lists☆13Updated 5 years ago
- ☆18Updated 5 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- Command line editor, C api, readline replacement☆25Updated 3 months ago
- z3-powered solver (theorem prover) for deal☆12Updated last year
- A tool for #! scripts with more than one argument☆42Updated 8 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 7 months ago
- A more standards compliant C library written in M2-Planet's C subset☆20Updated this week
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- Debugger in the Trepan family for x-python☆17Updated 4 months ago
- nosh system and service manager for Archlinux☆8Updated 5 years ago
- SOM - Simple Object Machine☆23Updated 2 months ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- The Stratego program transformation language☆31Updated 8 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 4 months ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Korn Shell (93v- 2014-12-24 or greater) Debugger☆38Updated 10 months ago
- Shell Protocol Designs☆9Updated 6 years ago
- ☆22Updated 5 years ago
- The Cubicle model checker☆13Updated last year
- Le-Lisp by INRIA☆28Updated 2 years ago
- BSD-licensed 9P2000.u/.L server library☆32Updated last year
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆42Updated 2 months ago
- The QEMU Patch☆15Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago