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:
- A compiler for an Ada-like language☆31Updated last month
- Formally verified, bounded-stack XML library☆23Updated 5 years ago
- Jon Bentley's DFORMAT troff preprocessor, reconstituted.☆52Updated 4 years ago
- discover information about upstream projects☆16Updated this week
- GNAT Components Collection – Bindings to C libraries☆14Updated 4 months ago
- GNAT Components Collection – Database packages☆13Updated 4 months ago
- The Cubicle model checker☆14Updated last year
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- A collection of awesome and self-documented m4 macros for GNU Autotools☆17Updated 3 months ago
- Command line editor, C api, readline replacement☆25Updated 6 months ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆21Updated 5 months ago
- Automatic unit tests for terminal emulation, replaces https://github.com/ThomasDickey/esctest-snapshots☆13Updated last year
- POSIX shell scripts to figure out if a terminal has a dark or light background☆36Updated 5 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 9 months ago
- Shell Protocol Designs☆9Updated 6 years ago
- Instrumentation CPU profiler for Linux and macOS applications☆21Updated 3 months ago
- The Sfio library from AT&T Labs (mirror with limited history)☆23Updated 3 years ago
- The sources to compile Ravenports buildsheets☆19Updated this week
- Auxiliary macros and functions for the C standard library☆12Updated last week
- A more standards compliant C library written in M2-Planet's C subset☆20Updated last week
- OpenBSD unveil(2) like function in Linux using Landlock☆29Updated last month
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- ☆18Updated 5 years ago
- Implementation of scheme in python supporting call/cc and hygenic macros☆16Updated 9 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated this week
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- Alice ML implementation☆17Updated 2 years ago
- GNATcoverage: Coverage Analysis Tool☆42Updated this week
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 11 years ago