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
  ☆34Updated 8 months ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆24Updated 5 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• perkinslr / schemepy
  Implementation of scheme in python supporting call/cc and hygenic macros
  ☆16Updated 10 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆26Updated last year
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 2 months ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆90Updated 4 years ago
• AdaCore / langkit
  Language creation framework.
  ☆89Updated last week
• fyngyrz / aa_macro
  Power up your text processing via macros
  ☆15Updated 3 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
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 5 months ago
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆53Updated 4 years ago
• caldwell / commit-patch
  Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS
  ☆21Updated last year
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 7 months ago
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆36Updated 2 months ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆34Updated 2 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 9 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 4 months ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆46Updated last week
• jrmarino / libsodium-ada
  libsodium for Ada - A secure cryptographic library
  ☆10Updated 9 years ago
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 12 years ago
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆16Updated last year
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 5 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated 2 months ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆124Updated 2 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• rocky / ipython-trepan
  Add ipython magic to call python trepan
  ☆13Updated 5 years ago
• spack / sbang
  Run scripts with very long shebang (#!) lines
  ☆69Updated 4 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• rocky / shell-term-background
  POSIX shell scripts to figure out if a terminal has a dark or light background
  ☆36Updated 2 months ago