Alternatives and similar repositories for aspcud:

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

• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 2 months ago
• lichray / sfio
  The Sfio library from AT&T Labs (mirror with limited history)
  ☆23Updated 3 years ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 4 years ago
• jelmer / upstream-ontologist
  discover information about upstream projects
  ☆16Updated last week
• ThomasDickey / esctest2
  Automatic unit tests for terminal emulation, replaces https://github.com/ThomasDickey/esctest-snapshots
  ☆12Updated 9 months ago
• richfelker / cowpatch
  ☆17Updated 5 years ago
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆52Updated 4 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated 2 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 5 years ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆24Updated 10 months ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆40Updated last month
• Trepan-Debuggers / kshdb
  Korn Shell (93v- 2014-12-24 or greater) Debugger
  ☆36Updated 9 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• pmderodat / ada-generators
  Experimental support for coroutines-based generators in Ada
  ☆13Updated 2 years ago
• lvc / upstream-tracker
  A project to monitor and verify compatibility of upstream ABI changes in C/C++ libraries
  ☆16Updated 3 years ago
• siraben / meta-II
  META II compiler, assembler and bytecode interpreter.
  ☆18Updated 6 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 3 months ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆28Updated this week
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 months ago
• 8l / pijul
  Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …
  ☆45Updated 9 years ago
• stefanha / patches
  The QEMU Patch
  ☆16Updated last year
• janestreet / core_unix
  Unix-specific portions of Core
  ☆15Updated 3 months ago
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆34Updated this week
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆11Updated last year
• rocky / ipython-trepan
  Add ipython magic to call python trepan
  ☆13Updated 4 years ago
• limbahq / binreloc
  Library for creating relocatable software
  ☆43Updated 8 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago