Awesome Open Source
Awesome Open Source
Combined Topics
ocaml x
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210

The Top 566 Ocaml Open Source Projects

Flow ⭐ 21,139
Adds static typing to JavaScript to improve developer productivity and code quality.
Infer ⭐ 11,973
A static analyzer for Java, C, C++, and Objective-C
Reason ⭐ 9,232
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Milewski Ctfp Pdf ⭐ 8,061
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Awesomo ⭐ 7,771
A list of cool open source projects written in C, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala, etc.
Revery ⭐ 7,326
⚡️ Native, high-performance, cross-platform desktop apps - built with Reason!
Oni2 ⭐ 5,243
Native, lightweight modal code editor
Pyre Check ⭐ 5,133
Performant type-checking for python.
Rescript Compiler ⭐ 4,956
The compiler for ReScript.
Batsh ⭐ 4,021
A language that compiles to Bash and Windows Batch
Google Drive Ocamlfuse ⭐ 3,999
FUSE filesystem over Google Drive
Coq ⭐ 3,146
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Ocaml ⭐ 3,120
The core OCaml system: compilers, runtime system, base libraries
Klipse ⭐ 2,504
Klipse is a Javacript plugin for embedding interactive code snippets in tech blogs. A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx, brainfuck, c++, reagent, lua, ocaml, reasonml, prolog, common lisp
Pfff ⭐ 2,417
Tools for code analysis, visualizations, or style-preserving source transformation.
Fastpack ⭐ 2,283
Pack JS code fast & easy
Awesome Ocaml ⭐ 2,022
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Fstar ⭐ 1,983
Verification system for effectful programs
Unison ⭐ 1,811
Unison file synchronizer
Mirage ⭐ 1,561
MirageOS is a library operating system that constructs unikernels
Nodebook ⭐ 1,455
Nodebook - Multi-Lang Web REPL + CLI Code runner
Irmin ⭐ 1,411
Irmin is a distributed database that follows the same design principles as Git
Bap ⭐ 1,364
Binary Analysis Platform
Tezos ⭐ 1,354
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Type Systems ⭐ 1,334
Implementations of various type systems in OCaml.
Merlin ⭐ 1,280
Context sensitive completion for OCaml in Vim and Emacs
Opalang ⭐ 1,213
The Opa Language for Web Application Development
Bincat ⭐ 1,066
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Dune ⭐ 1,038
A composable build system for OCaml.
Datakit ⭐ 945
Connect processes into powerful data pipelines with a simple git-like filesystem interface
Plzoo ⭐ 930
Programming Languages Zoo
Owl ⭐ 908
Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
Opam ⭐ 889
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Core ⭐ 861
Jane Street Capital's standard library overlay
Comby ⭐ 861
A tool for structural code search and replace that supports ~every language.
Satysfi ⭐ 799
A statically-typed, functional typesetting system
Vpnkit ⭐ 775
A toolkit for embedding VPN capabilities in your application
Book ⭐ 744
V2 of Real World OCaml
Liquidsoap ⭐ 694
Audio and video streaming language
Eff ⭐ 666
A functional programming language based on algebraic effect handlers
42_subjects ⭐ 666
All Subjects of 42 School
Reason Language Server ⭐ 646
A language server for reason, in reason
Reason React ⭐ 637
Utop ⭐ 634
Universal toplevel for OCaml
Js_of_ocaml ⭐ 625
Compiler from OCaml to Javascript.
Dark ⭐ 622
Rhine Ml ⭐ 621
🏞 an OCaml compiler for an untyped lisp
Felix ⭐ 609
The Felix Programming Language
Incremental ⭐ 607
A library for incremental computations
Opium ⭐ 596
Sinatra like web toolkit for OCaml
Bucklescript Tea ⭐ 576
TEA for Bucklescript
Ocaml Multicore ⭐ 573
Multicore OCaml
Caramel ⭐ 572
🍬 An Erlang backend to the OCaml compiler
Ocaml Graphql Server ⭐ 571
GraphQL servers in OCaml
Mina ⭐ 531
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Reasonablytyped ⭐ 526
💠 Converts Flow and TypeScript definitions to Reason interfaces
Ocaml Cohttp ⭐ 524
An OCaml library for HTTP clients and servers using Lwt or Async
Query Json ⭐ 524
Faster and simpler implementation of jq in Reason Native
Tis Interpreter ⭐ 517
An interpreter for finding subtle bugs in programs written in standard C
Brisk ⭐ 512
✨Cross-platform set of tools for building native UIs with Reason/OCaml
Mariocaml ⭐ 507
HTML 5 canvas implementation of Mario written in Ocaml
Lwt ⭐ 488
OCaml promises and concurrent I/O
Base ⭐ 486
Standard library for OCaml
Gravitron ⭐ 484
a little game
Tablecloth ⭐ 461
An ergonomic, cross-platform, standard library for ReasonML and OCaml
Jscaml ⭐ 460
A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
Httpaf ⭐ 444
A high performance, memory efficient, and scalable web server written in OCaml
Angstrom ⭐ 423
Parser combinators built for speed and memory efficiency
Batteries Included ⭐ 415
Batteries Included project
Libguestfs ⭐ 405
library and tools for accessing and modifying virtual machine disk images. PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us.
Ocaml Effects Tutorial ⭐ 403
Concurrent Programming with Effect Handlers (CUFP'17)
Neal ⭐ 396
🔎🐞 A language-agnostic linting platform
Sketch Sh ⭐ 393
Sketch.sh - Online Code Editor and ReasonML community
Reason Design Patterns ⭐ 381
🗺 An unofficial collection of "design patterns" for Reason and OCaml
Linearml ⭐ 377
Functional language for parallel programming
Ocamlformat ⭐ 376
Auto-formatter for OCaml code
Coccinelle ⭐ 375
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
Reason Tools ⭐ 367
Adds Reason to the browser
Min Caml ⭐ 363
moved from https://sourceforge.net/p/min-caml/code/
Opam Repository ⭐ 358
Main public package repository for opam, the source package manager of OCaml.
Ocaml Containers ⭐ 353
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
Cwe_checker ⭐ 352
cwe_checker finds vulnerable patterns in binary executables
Examples ⭐ 348
All the examples in Real World OCaml
Deepsea ⭐ 343
The DeepSEA programming language
Hazel ⭐ 329
Hazel, a live functional programming environment with typed holes
Graphql_ppx ⭐ 325
GraphQL PPX rewriter for Bucklescript/ReasonML
Slayer ⭐ 314
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
Type Inference ⭐ 313
The Hindley Milner Type Inference Algorithm
Catala ⭐ 310
Programming language for literate programming law specification
Ppx_deriving ⭐ 309
Type-driven code generation for OCaml
Seattlejsconf App ⭐ 305
ReasonML React Native App for SeattleJS Conf
Ocaml Lsp ⭐ 305
OCaml Language Server Protocol implementation
Xen Api ⭐ 299
The Xapi Project's XenAPI Server
Bamboo ⭐ 299
Bamboo see https://github.com/cornellblockchain/bamboo
Ocaml Git ⭐ 298
Pure OCaml Git format and protocol
Ocaml Torch ⭐ 297
OCaml bindings for PyTorch
Jitsu ⭐ 294
A DNS server that automatically starts unikernels on demand
Bs Webapi Incubator ⭐ 290
BuckleScript bindings to the DOM and other Web APIs
Ocaml.org ⭐ 288
Implementation of the ocaml.org website.
Hardcaml ⭐ 288
Hardcaml is an OCaml library for designing hardware.
1-100 of 566 projects
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210