Alternatives and similar repositories for aspcud

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

• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 3 years ago
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆52Updated 4 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• metaborg / strategoxt
  The Stratego program transformation language
  ☆33Updated 5 months ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated this week
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆124Updated 2 years ago
• AdaCore / langkit
  Language creation framework.
  ☆87Updated last week
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆35Updated 2 weeks ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• fyngyrz / aa_macro
  Power up your text processing via macros
  ☆15Updated 3 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
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• oriansj / M2-Planet
  The PLAtform NEutral Transpiler
  ☆120Updated this week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 5 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆34Updated 2 years ago
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 11 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆84Updated last year
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆16Updated last year
• svinota / py9p
  9p protocol implementation and FUSE client
  ☆57Updated 9 months ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 10 months ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆43Updated 8 years ago
• freebsd / kyua
  Port/Package build and test system
  ☆154Updated 2 months ago
• kevinpt / syntrax
  Railroad syntax diagram generator
  ☆74Updated 3 years ago