potassco / aspcudLinks
A solver for package problems in CUDF format
☆27Updated 3 months ago
Alternatives and similar repositories for aspcud
Users that are interested in aspcud are comparing it to the libraries listed below
Sorting:
- Power up your text processing via macros☆15Updated 3 years ago
- Add ipython magic to call python trepan☆14Updated 5 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- The Stratego program transformation language☆35Updated 8 months ago
- How to implement trampolines for tail calls in Python☆32Updated 11 years ago
- Formally verified, bounded-stack XML library☆24Updated 5 years ago
- z3-powered solver (theorem prover) for deal☆13Updated 2 years ago
- Build languages on Python.☆12Updated 4 years ago
- Implementation of scheme in python supporting call/cc and hygenic macros☆16Updated 10 years ago
- The QEMU Patch☆15Updated last week
- A compiler for an Ada-like language☆32Updated 8 months ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- Language creation framework.☆90Updated this week
- The Unix line editor☆15Updated last week
- A collection of awesome and self-documented m4 macros for GNU Autotools☆17Updated 9 months ago
- Le-Lisp by INRIA☆34Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Creating minimal perfect hash functions☆63Updated 4 months ago
- Resolve software differencing and merging☆38Updated 3 years ago
- Graphical object oriented programming environment for Tcl, XOTcl, TclOO programming language inspired by famous smalltalk Squeak☆38Updated 10 years ago
- Python Front-end to GCC☆44Updated 12 years ago
- High fidelity benchmark runner☆90Updated 4 years ago
- Command line editor, C api, readline replacement☆28Updated last year
- A module for handling continuations in Python☆32Updated 9 years ago
- Process-independent interface to Linux system calls☆69Updated 3 years ago
- Run scripts with very long shebang (#!) lines☆69Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- linux namespace utilities☆30Updated 3 years ago
- N0tes to the rescue!☆11Updated 6 years ago