Alternatives and similar repositories for ccs

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

• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• hellige / ccs-cpp
  CCS in C++
  ☆26Updated 2 years ago
• redbooth / openjdk-trim
  Tool to trim unneeded classes from an OpenJDK build.
  ☆47Updated 7 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆35Updated 8 months ago
• jaroslov / coro
  C++1y coroutine library.
  ☆17Updated 7 years ago
• amazon-ion / ion-c
  A C implementation of Amazon Ion.
  ☆172Updated 2 months ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated 2 years ago
• in4lio / yupp
  yet another lexical preprocessor
  ☆40Updated 5 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 9 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆60Updated 8 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated 2 years ago
• hpc / libcircle
  An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …
  ☆98Updated 5 years ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆22Updated 5 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 5 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆76Updated 9 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 10 years ago
• geocar / qlua
  KDB bindings for lua
  ☆27Updated 6 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆70Updated 7 years ago
• kstenerud / bit-tricks
  Various tricks for dealing with bits
  ☆22Updated 6 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆163Updated 2 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆108Updated 9 years ago
• jmillikin / anansi
  ☆10Updated 3 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆13Updated 3 years ago
• parsimony-ide / parsimony
  a web-based development environment for constructing parsers by example (backend code)
  ☆17Updated 8 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 4 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago