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:
- Command line editor, C api, readline replacement☆25Updated 6 months ago
- Bootstrapping tools for Janneke's MES☆35Updated this week
- 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, …☆46Updated 9 years ago
- The Stratego program transformation language☆32Updated 2 months ago
- epsilon is a scanner generator☆28Updated 3 years ago
- A collection of awesome and self-documented m4 macros for GNU Autotools☆17Updated 3 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated 2 weeks ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- Startle C Library☆18Updated 6 years ago
- Language creation framework.☆82Updated last week
- ALLVM Tools☆56Updated 3 years ago
- ☆17Updated last year
- Formally verified, bounded-stack XML library☆23Updated 5 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- A better make, inspired by djb's redo.☆51Updated 10 months ago
- Literate Programming in C/C++☆33Updated 2 months ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- The ABS modeling language and surrounding tools☆36Updated this week
- Guile with tracing JIT VM.☆15Updated 8 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Updated 11 years ago
- persistent monitor (for static source code analysis, GCC based)☆60Updated last year
- The sources to compile Ravenports buildsheets☆19Updated this week
- Evolutionary optimization of extant software☆27Updated 11 years ago
- Python Front-end to GCC☆44Updated 11 years ago
- The Cubicle model checker☆14Updated last year
- A compiler for an Ada-like language☆33Updated 2 months ago
- Portable high-level assembler with authentic C syntax☆24Updated 3 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- GNU make jobserver and client for e.g. shell scripts☆13Updated 3 years ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆21Updated 5 months ago