Alternatives and similar repositories for aspcud

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

• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆52Updated 4 years ago
• caldwell / commit-patch
  Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS
  ☆21Updated last year
• metaborg / strategoxt
  The Stratego program transformation language
  ☆32Updated 3 months ago
• fyngyrz / aa_macro
  Power up your text processing via macros
  ☆15Updated 3 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• richfelker / cowpatch
  ☆18Updated 5 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• rocky / ipython-trepan
  Add ipython magic to call python trepan
  ☆13Updated 5 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆60Updated 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 11 months ago
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 11 years ago
• Technologicat / pydialect
  Build languages on Python.
  ☆12Updated 4 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated last week
• msteveb / autosetup
  A better, faster autoconf replacement
  ☆90Updated 3 months ago
• drudru / ptyget
  Dan Bernstein's ptyget package
  ☆10Updated 10 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆30Updated 2 years ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 5 years ago
• AdaCore / langkit
  Language creation framework.
  ☆84Updated this week
• perkinslr / schemepy
  Implementation of scheme in python supporting call/cc and hygenic macros
  ☆16Updated 9 years ago
• ligurio / openbsd-tests
  Unofficial OpenBSD regression tests
  ☆21Updated 4 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated 6 months ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated last week
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆16Updated last year
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago