Top OCaml Compilers repositories on GitHub

The core OCaml system: compilers, runtime system, base libraries

• ocaml
• compiler
• functional-language

Systems language with linear types and capability-based security.

• linear-types
• compiler
• capabilities

Compiler from OCaml to Javascript.

• javascript
• ocaml
• compiler
• ocsigen
• jsoo

:candy: a functional language for building type-safe, scalable, and maintainable applications

• ocaml
• erlang
• compiler
• caramel
• elixir
• functional-language

A verification toolchain for Rust programs

• compiler
• coq
• deductive-reasoning
• formal-methods
• formal-verification
• fstar

🏞 an OCaml compiler for an untyped lisp

• programming-language
• ocaml
• llvm
• compiler

Vult is a transcompiler well suited to write high-performance DSP code

• ocaml
• compiler
• dsp
• synthesizer
• vult
• microcontroller

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language
• optimization
• performance

Formal verification for OCaml

• coq
• ocaml
• compiler

Reference implementation for Writing a C Compiler

• c
• compiler
• ocaml
• reference-implementation

An Elm to OCaml compiler

• elm
• ocaml
• compiler
• functional
• frontend
• elm-architecture

A Protobuf Compiler for OCaml

• ocaml
• protobuf
• serialization
• protocol
• compiler

Nanopass for OCaml

• nanopass-framework
• ocaml
• compiler
• compiler-design
• framework
• ppx

Modern low level programming language designed for kernel development

• compiler
• lambda-functions
• low-level
• programming-language

A toy language based on LLVM that implements the System Fω type-system

• llvm
• ocaml
• programming-language
• compiler
• language
• type-system

Simple C Compiler in OCaml

• c
• ocaml
• ocamllex
• menhir
• compiler
• x64

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

• functional-programming
• algebraic-effects
• type-inference
• continuations
• handlers
• compiler

A quick and small language compiled to JavaScript/C. Easy to integrated with the Web Ecosystem.

• language
• compiler
• webassembly
• wasm
• iot

Sworn compiles Clarity smart contracts into SmartWeave contracts.

• arweave
• smartweave
• clarity
• compiler

self-hosted compiler for a subset of OCaml

• ocaml
• compiler
• self-hosted

Clarc compiles Clarity smart contracts into Ethereum virtual machine (EVM) bytecode.

• clarity
• ethereum
• evm
• compiler

:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.

• type-checking
• javascript
• fast
• static-analysis
• zero-configuration
• tool

A collection of programming languages and type systems.

• programming-language-theory
• type-systems
• programming-language
• compiler
• interpreter

Bytecode compiler of a variant of Caml

• ocaml
• compiler

Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.

• jit-compiler
• meta-hybrid-jit
• tracing-jit
• meta-tracing-jit
• compiler