Alternatives and similar repositories for cpc:

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

• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆193Updated 8 months ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 11 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 5 months ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆157Updated 11 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 3 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 2 years ago
• rems-project / netsem
  Network Semantics
  ☆86Updated 6 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆180Updated 6 years ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆44Updated 8 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆102Updated 7 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆99Updated 4 years ago
• fare / moll
  My Own Linear Lisp
  ☆39Updated 6 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 5 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 9 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated 10 months ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year
• tilk / libshift0
  Implementation of delimited control for C/C++
  ☆26Updated 13 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated 11 months ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆103Updated this week
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆44Updated 4 years ago