Alternatives and similar repositories for aspcud

Users that are interested in aspcud are comparing it to the libraries listed below

• metaborg / strategoxt
  The Stratego program transformation language
  ☆32Updated 4 months ago
• fyngyrz / aa_macro
  Power up your text processing via macros
  ☆15Updated 3 years ago
• rocky / ipython-trepan
  Add ipython magic to call python trepan
  ☆13Updated 5 years ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 3 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated 3 weeks ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 9 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 8 months ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆60Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆122Updated 2 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last week
• posix-shell-tests / posix-shell-tests
  ☆11Updated 2 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated this week
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆93Updated 2 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• caldwell / commit-patch
  Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS
  ☆21Updated last year
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• timbertson / gup
  A better make, inspired by djb's redo.
  ☆50Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆33Updated 4 months ago
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆52Updated 4 years ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆43Updated 8 years ago
• richfelker / cowpatch
  ☆18Updated 5 years ago