Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Compiler Ocaml Open Source Projects

Open source projects categorized as Compiler Ocaml
Ocaml ⭐ 5,022
The core OCaml system: compilers, runtime system, base libraries
dependent packages 4total releases 4most recent commit 3 months ago
Grain ⭐ 3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
dependent packages 2total releases 24most recent commit 3 months agonpm @grain/stdlib} Downloads
Opalang ⭐ 1,210
The Opa Language for Web Application Development
most recent commit 7 years ago
Opam ⭐ 1,160
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
total releases 2most recent commit 3 months ago
Caramel ⭐ 959
🍬 a functional language for building type-safe, scalable, and maintainable applications
most recent commit 2 years ago
Austral ⭐ 946
Systems language with linear types and capability-based security.
most recent commit 4 months ago
Js_of_ocaml ⭐ 917
Compiler from OCaml to Javascript.
most recent commit 3 months ago
Felix ⭐ 766
The Felix Programming Language
most recent commit 3 months ago
Rhine Ml ⭐ 621
🏞 an OCaml compiler for an untyped lisp
most recent commit 9 years ago
Query Json ⭐ 577
Faster, simpler and more portable implementation of `jq` in Reason
dependent packages 2total releases 71most recent commit 7 months agonpm @davesnx/query-json} Downloads
Bolt ⭐ 494
Bolt is a language with in-built data-race freedom!
most recent commit 5 months ago
Vult ⭐ 473
Vult is a transcompiler well suited to write high-performance DSP code
most recent commit a month ago
Jscaml ⭐ 461
A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
most recent commit 7 years ago
Malfunction ⭐ 319
Malfunctional Programming
most recent commit 6 months ago
Bamboo ⭐ 295
Bamboo see https://github.com/cornellblockchain/bamboo
most recent commit 5 years ago
Parallel Programming In Multicore Ocaml ⭐ 237
Tutorial on Multicore OCaml parallel programming with domainslib
most recent commit a year ago
Coq Of Ocaml ⭐ 237
Formal verification for OCaml
most recent commit 3 months ago
Nqcc ⭐ 205
A compiler for a tiny (but growing!) subset of C, written in OCaml.
most recent commit 2 years ago
C2bf ⭐ 183
Compiler from C to brainfuck
most recent commit a year ago
Mlang ⭐ 173
Compiler for the M language, used to compute the income tax of French taxpayers
most recent commit 3 months ago
Ocamlverse.github.io ⭐ 171
Documentation of everything relevant in the OCaml world
most recent commit 4 months ago
Ocaml Protoc ⭐ 169
A Protobuf Compiler for OCaml
dependent packages 3total releases 3most recent commit 3 months agonpm bs-ocaml-protoc} Downloads
Philip2 ⭐ 168
An Elm to OCaml compiler
most recent commit 4 years ago
The 10 Most Depended On Compiler Ocaml Open Source Projects
Ocaml ⭐ 5,022
The core OCaml system: compilers, runtime system, base libraries
dependent packages 4total releases 4latest release February 24, 2021most recent commit 3 months ago
Ocaml Protoc ⭐ 169
A Protobuf Compiler for OCaml
dependent packages 3total releases 3latest release April 11, 2017most recent commit 3 months agonpm bs-ocaml-protoc} Downloads
Flowest ⭐ 8
Convert Flow declarations to TypeScript
dependent packages 2total releases 1latest release April 26, 2019most recent commit 5 years agonpm flowest} Downloads
Infrared ⭐ 42
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1latest release July 03, 2018most recent commit 3 years agonpm infrared-core} Downloads
Query Json ⭐ 577
Faster, simpler and more portable implementation of `jq` in Reason
dependent packages 2total releases 71latest release November 30, 2020most recent commit 7 months agonpm @davesnx/query-json} Downloads
Ainur ⭐ 20
:milky_way: Detect compiler names and versions from ELF files
dependent packages 2total releases 13latest release March 10, 2023most recent commit 5 months ago
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 10 months agonpm qcert} Downloads
Grain ⭐ 3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
dependent packages 2total releases 24latest release January 08, 2023most recent commit 3 months agonpm @grain/stdlib} Downloads
Ocaml Via Node ⭐ 10
Install OCaml and opam on your machine via npm
dependent packages 1total releases 2latest release November 16, 2015most recent commit 8 years agonpm install_ocaml} Downloads
Styled Scss ⭐ 16
A Sass to JavaScript and React compiler
dependent packages 1total releases 7latest release June 10, 2018most recent commit 6 years agonpm styled-scss} Downloads
The 10 Latest Releases In Compiler Ocaml Open Source Projects
Ainur ⭐ 20
:milky_way: Detect compiler names and versions from ELF files
dependent packages 2total releases 13latest release March 10, 2023most recent commit 5 months ago
Grain ⭐ 3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
dependent packages 2total releases 24latest release January 08, 2023most recent commit 3 months agonpm @grain/stdlib} Downloads
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 10 months agonpm qcert} Downloads
Ocaml ⭐ 5,022
The core OCaml system: compilers, runtime system, base libraries
dependent packages 4total releases 4latest release February 24, 2021most recent commit 3 months ago
Query Json ⭐ 577
Faster, simpler and more portable implementation of `jq` in Reason
dependent packages 2total releases 71latest release November 30, 2020most recent commit 7 months agonpm @davesnx/query-json} Downloads
Flowest ⭐ 8
Convert Flow declarations to TypeScript
dependent packages 2total releases 1latest release April 26, 2019most recent commit 5 years agonpm flowest} Downloads
Infrared ⭐ 42
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1latest release July 03, 2018most recent commit 3 years agonpm infrared-core} Downloads
Styled Scss ⭐ 16
A Sass to JavaScript and React compiler
dependent packages 1total releases 7latest release June 10, 2018most recent commit 6 years agonpm styled-scss} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.