potassco / aspcud
A solver for package problems in CUDF format
☆27Updated last year
Related projects ⓘ
Alternatives and complementary repositories for aspcud
- Tools to create filesystem images from an fspec filesystem specification.☆15Updated 7 months ago
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated 9 months ago
- The Stratego program transformation language☆30Updated 3 months ago
- Portable high-level assembler with authentic C syntax☆22Updated 2 years ago
- Command line editor, C api, readline replacement☆25Updated 3 months ago
- The sources to compile Ravenports buildsheets☆16Updated this week
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- ☆17Updated 4 years ago
- A minimal system managed by policy daemons with configuration being arbitrary code☆31Updated 2 months ago
- Korn Shell (93v- 2014-12-24 or greater) Debugger☆34Updated 5 months ago
- Like `which`, for dynamic libraries☆36Updated 8 months ago
- search for processes and print top(1)-like status☆13Updated 7 months ago
- Le-Lisp by INRIA☆28Updated last year
- N0tes to the rescue!☆11Updated 5 years ago
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆24Updated 6 months ago
- The Cubicle model checker☆13Updated 8 months ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- Lightweight C++ API for Lua☆24Updated 4 months ago
- An Ada 2012 compiler in Scala☆28Updated last week
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- A collection of awesome and self-documented m4 macros for GNU Autotools☆17Updated last year
- BSD-licensed 9P2000.u/.L server library☆32Updated 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, …☆41Updated 9 years ago
- Formally verified, bounded-stack XML library☆22Updated 4 years ago
- Startle C Library☆18Updated 5 years ago
- [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…☆12Updated 2 years ago
- Httpfile is a HTTP server derived from publicfile-0.52☆9Updated last year
- Bootstrapping tools for Janneke's MES☆30Updated last month
- Auxiliary macros and functions for the C standard library☆12Updated 4 months ago