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
  ☆35Updated 9 months ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆28Updated last year
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 months ago
• perkinslr / schemepy
  Implementation of scheme in python supporting call/cc and hygenic macros
  ☆16Updated 10 years ago
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆16Updated last year
• AdaCore / langkit
  Language creation framework.
  ☆90Updated last week
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆13Updated 2 years ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆24Updated 5 years ago
• ruscur / snowpatch
  Enabling continuous integration for patch-based development workflows.
  ☆83Updated last year
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆53Updated 4 years ago
• fyngyrz / aa_macro
  Power up your text processing via macros
  ☆15Updated 3 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆51Updated 2 weeks ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated last week
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• caldwell / commit-patch
  Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS
  ☆21Updated 2 years ago
• markshannon / python_formal_semantics
  ☆19Updated 5 years ago
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆36Updated 4 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• msteveb / autosetup
  A better, faster autoconf replacement
  ☆96Updated last month
• softdevteam / krun
  High fidelity benchmark runner
  ☆91Updated 4 years ago
• illumos / gcc
  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
• JUrban / MPTP2
  ☆19Updated 8 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆57Updated 3 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆68Updated this week
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 6 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 3 months ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• hebisch / poplog
  ☆28Updated 5 months ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 10 years ago