Alternatives and similar repositories for aspcud

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

• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• metaborg / strategoxt
  The Stratego program transformation language
  ☆35Updated 9 months ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆68Updated this week
• caldwell / commit-patch
  Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS
  ☆21Updated 2 years 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
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆34Updated last week
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆16Updated last year
• rewriting / tom
  ☆34Updated 5 years ago
• fyngyrz / aa_macro
  Power up your text processing via macros
  ☆15Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆57Updated 3 years ago
• perkinslr / schemepy
  Implementation of scheme in python supporting call/cc and hygenic macros
  ☆16Updated 10 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆28Updated last year
• oracle / libdtrace-ctf
  libdtrace-ctf is the Compact Type Format library used by DTrace on Linux
  ☆48Updated 2 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 months ago
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆53Updated 4 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 5 months ago
• AdaCore / langkit
  Language creation framework.
  ☆90Updated last week
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 12 years ago
• avsm / docker-opam
  Docker container for an OCaml + OPAM setup
  ☆24Updated 9 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆34Updated 3 years ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆36Updated 4 months ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago