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
- Tools to create filesystem images from an fspec filesystem specification.☆15Updated 9 months ago
- Bootstrapping tools for Janneke's MES☆32Updated 3 weeks ago
- An Ada compiler☆28Updated this week
- Command line editor, C api, readline replacement☆25Updated last month
- ☆17Updated 4 years ago
- The Cubicle model checker☆13Updated 10 months ago
- Shell Protocol Designs☆9Updated 6 years ago
- The sources to compile Ravenports buildsheets☆17Updated this week
- PE Resource Kit☆11Updated 7 months ago
- Korn Shell (93v- 2014-12-24 or greater) Debugger☆36Updated 7 months ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- BSD-licensed 9P2000.u/.L server library☆32Updated last year
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆20Updated last week
- Le-Lisp by INRIA☆28Updated 2 years ago
- Debugger in the Trepan family for x-python☆16Updated last month
- The Kent Retargetable occam Compiler☆45Updated 2 years ago
- Tool for streamlining the development of Genode applications☆22Updated 3 weeks ago
- ALLVM Tools☆56Updated 2 years ago
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- A tool for #! scripts with more than one argument☆42Updated 7 years ago
- Making Mes.c M2-Planet friendly☆30Updated 2 years ago
- Formally verified, bounded-stack XML library☆23Updated 4 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆26Updated this week
- Automatic unit tests for terminal emulation, replaces https://github.com/ThomasDickey/esctest-snapshots☆13Updated 8 months ago
- ☆17Updated 5 years ago
- Run scripts with very long shebang (#!) lines☆70Updated 3 years ago
- quick c☆35Updated 2 years ago
- Scheme 9 from Empty Space☆20Updated 10 years ago
- The QEMU Patch☆15Updated last year