kerneis / cpc

Related projects ⓘ

Alternatives and complementary repositories for cpc

• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆192Updated 5 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆101Updated 2 months ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated 6 months ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆179Updated 6 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆111Updated 11 months ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆42Updated 3 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆151Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆37Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated 8 months ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆98Updated 4 years ago
• smowton / llpe
  ☆49Updated 8 months ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 2 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆100Updated this week
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 6 months ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 7 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 9 years ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆103Updated 6 years ago
• rems-project / netsem
  Network Semantics
  ☆86Updated 5 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 8 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 8 months ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago