potassco / aspcudLinks
A solver for package problems in CUDF format
☆27Updated 3 weeks ago
Alternatives and similar repositories for aspcud
Users that are interested in aspcud are comparing it to the libraries listed below
Sorting:
- z3-powered solver (theorem prover) for deal☆12Updated 2 years ago
- Process-independent interface to Linux system calls☆70Updated 3 years ago
- Jon Bentley's DFORMAT troff preprocessor, reconstituted.☆52Updated 4 years ago
- Collection of community-maintained components for Genode☆47Updated this week
- The Stratego program transformation language☆33Updated 5 months ago
- A virtual machine for Monte.☆68Updated this week
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆124Updated 2 years ago
- Language creation framework.☆87Updated last week
- persistent monitor (for static source code analysis, GCC based)☆61Updated last year
- Bootstrapping tools for Janneke's MES☆35Updated 2 weeks ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Power up your text processing via macros☆15Updated 3 years ago
- GCC patched to build illumos, including the patches from Codesourcery/Sun Microsystems used in the 3.4.3 and 4.3.3 shipped with Solaris☆27Updated last year
- ALLVM Tools☆56Updated 3 years ago
- The PLAtform NEutral Transpiler☆120Updated this week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- Formally verified, bounded-stack XML library☆23Updated 5 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Le-Lisp by INRIA☆34Updated 2 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Updated 11 years ago
- ☆34Updated 5 years ago
- Filesystem access tracer☆84Updated last year
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- 9p protocol implementation and FUSE client☆57Updated 9 months ago
- Command line editor, C api, readline replacement☆25Updated 10 months ago
- A tool for #! scripts with more than one argument☆43Updated 8 years ago
- Port/Package build and test system☆154Updated 2 months ago
- Railroad syntax diagram generator☆74Updated 3 years ago