potassco / aspcudLinks
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
Sorting:
- The sources to compile Ravenports buildsheets☆18Updated this week
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- Formally verified, bounded-stack XML library☆23Updated 5 years ago
- Debugger in the Trepan family for x-python☆17Updated 5 months ago
- search for processes and print top(1)-like status☆13Updated 3 weeks ago
- Bootstrapping tools for Janneke's MES☆35Updated 3 weeks ago
- Command line editor, C api, readline replacement☆25Updated 5 months ago
- A compiler for an Ada-like language☆31Updated last month
- Korn Shell (93v- 2014-12-24 or greater) Debugger☆39Updated 11 months ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆21Updated 4 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Le-Lisp by INRIA☆28Updated 2 years ago
- BSD-licensed 9P2000.u/.L server library☆33Updated last year
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago
- GNAT Components Collection – Bindings to C libraries☆14Updated 3 months ago
- The Sfio library from AT&T Labs (mirror with limited history)☆23Updated 3 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- ☆18Updated 5 years ago
- Zstandard for Ada - Fast real-time compression algorithm☆14Updated 2 years ago
- Shell Protocol Designs☆9Updated 6 years ago
- A snail without its shell☆17Updated last year
- Ncurses based hex editor with vi interface (upstream)☆22Updated last week
- Unit Testing framework for PicoLisp☆22Updated 4 years ago
- Exercism exercises in GNU APL.☆14Updated 2 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Tool for streamlining the development of Genode applications☆23Updated 2 weeks ago
- N0tes to the rescue!☆11Updated 6 years ago
- Implementation of scheme in python supporting call/cc and hygenic macros☆16Updated 9 years ago
- Mathpaqs: a collection of mathematical packages in pure Ada☆12Updated 4 months ago