Alternatives and similar repositories for aspcud

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

• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 5 years ago
• caldwell / commit-patch
  Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS
  ☆21Updated last year
• rocky / ipython-trepan
  Add ipython magic to call python trepan
  ☆13Updated 5 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆34Updated 2 years ago
• perkinslr / schemepy
  Implementation of scheme in python supporting call/cc and hygenic macros
  ☆16Updated 10 years ago
• fyngyrz / aa_macro
  Power up your text processing via macros
  ☆15Updated 3 years ago
• 0mp / n0tes
  N0tes to the rescue!
  ☆11Updated 6 years ago
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆16Updated last year
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆52Updated 4 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆43Updated this week
• sadiqj / ocaml-esp32
  ☆19Updated 4 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆33Updated 5 months ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated last week
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated last week
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last month
• jelmer / upstream-ontologist
  discover information about upstream projects
  ☆16Updated last month
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• acarrico / ai-memo
  AI Memo transcript
  ☆23Updated 11 years ago
• AdaCore / gnatcoll-db
  GNAT Components Collection – Database packages
  ☆13Updated 3 weeks ago
• Technologicat / pydialect
  Build languages on Python.
  ☆12Updated 4 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆32Updated 4 months ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• tokiclover / supervision
  Supervision Framework - init-system and service-manager; mirror of https://gitlab.com/tokiclover/supervision
  ☆14Updated 6 years ago
• spack / sbang
  Run scripts with very long shebang (#!) lines
  ☆69Updated 3 years ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 3 years ago