potassco / aspcud

Related projects: ⓘ

• JUrban / MPTP2
  ☆19Updated 7 years 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, …
  ☆40Updated 8 years ago
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆15Updated 4 months ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆22Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆28Updated 2 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• wingo / bicho
  Scheme implementation suitable for microcontrollers
  ☆8Updated 9 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆26Updated last month
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated 6 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…
  ☆39Updated 7 months ago
• pchapin / augusta
  An Ada 2012 compiler in Scala
  ☆28Updated 9 months ago
• richfelker / cowpatch
  ☆17Updated 4 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• hebisch / poplog
  ☆23Updated 10 months ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆15Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 5 years ago
• nixcloud / nix-beautify
  a tool to indent/format nix based source code and data structures as attrsets and lists
  ☆14Updated 4 years ago
• stokito / fortress-lang
  ☆52Updated 7 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• PolySync / libsel4-sys
  Building seL4 and generating Rust bindings based on feL4 configuration
  ☆20Updated 6 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• eschulte / goa
  Evolutionary optimization of extant software
  ☆26Updated 10 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• HackerFoo / startle
  Startle C Library
  ☆16Updated 5 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated 2 weeks ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• andrewchambers / qc
  quick c
  ☆34Updated 2 years ago
• madmurphy / not-autotools
  A collection of awesome and self-documented m4 macros for GNU Autotools
  ☆16Updated last year