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 7 months ago
• robbertkrebbers / ch2o
  ☆88Updated 2 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆102Updated 4 months ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆180Updated 6 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆43Updated 3 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆98Updated 4 years ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 8 months ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 10 months ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆103Updated last month
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆44Updated 8 years ago
• tilk / libshift0
  Implementation of delimited control for C/C++
  ☆26Updated 13 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆102Updated 7 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 2 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated 9 months ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆156Updated 11 years ago
• wbhart / Cesium3
  Fast interpreter with macros, local type inference, LLVM backend.
  ☆163Updated 6 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 8 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆135Updated 4 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆47Updated 10 years ago