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 578 Ocaml Open Source Projects

Flow ⭐ 21,314
Adds static typing to JavaScript to improve developer productivity and code quality.
Reason ⭐ 9,346
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Milewski Ctfp Pdf ⭐ 8,339
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Awesomo ⭐ 7,889
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,507
⚡️ Native, high-performance, cross-platform desktop apps - built with Reason!
Oni2 ⭐ 5,647
Native, lightweight modal code editor
Pyre Check ⭐ 5,251
Performant type-checking for python.
Rescript Compiler ⭐ 5,206
The compiler for ReScript.
Google Drive Ocamlfuse ⭐ 4,140
FUSE filesystem over Google Drive
Batsh ⭐ 4,051
A language that compiles to Bash and Windows Batch
Coq ⭐ 3,263
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,234
The core OCaml system: compilers, runtime system, base libraries
Klipse ⭐ 2,565
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
Pfff ⭐ 2,421
Tools for code analysis, visualizations, or style-preserving source transformation.
Fastpack ⭐ 2,281
Pack JS code fast & easy
Awesome Ocaml ⭐ 2,063
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Fstar ⭐ 2,035
Verification system for effectful programs
Unison ⭐ 1,920
Unison file synchronizer
Mirage ⭐ 1,606
MirageOS is a library operating system that constructs unikernels
Nodebook ⭐ 1,471
Nodebook - Multi-Lang Web REPL + CLI Code runner
Irmin ⭐ 1,460
Irmin is a distributed database that follows the same design principles as Git
Bap ⭐ 1,406
Binary Analysis Platform
Tezos ⭐ 1,362
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Type Systems ⭐ 1,344
Implementations of various type systems in OCaml.
Merlin ⭐ 1,300
Context sensitive completion for OCaml in Vim and Emacs
Opalang ⭐ 1,214
The Opa Language for Web Application Development
Bincat ⭐ 1,096
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Dune ⭐ 1,075
A composable build system for OCaml.
Comby ⭐ 970
A tool for structural code search and replace that supports ~every language.
Datakit ⭐ 955
Connect processes into powerful data pipelines with a simple git-like filesystem interface
Plzoo ⭐ 952
Programming Languages Zoo
Owl ⭐ 925
Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
Opam ⭐ 913
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Core ⭐ 874
Jane Street Capital's standard library overlay
Satysfi ⭐ 821
A statically-typed, functional typesetting system
Caramel ⭐ 808
🍬 a functional language for building type-safe, scalable, and maintainable applications
Vpnkit ⭐ 793
A toolkit for embedding VPN capabilities in your application
Book ⭐ 777
V2 of Real World OCaml
Mina ⭐ 754
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Dark ⭐ 743
Client, backend, and services for Dark: https://darklang.com
Liquidsoap ⭐ 740
Audio and video streaming language
42_subjects ⭐ 702
All Subjects of 42 School
Eff ⭐ 688
A functional programming language based on algebraic effect handlers
Js_of_ocaml ⭐ 654
Compiler from OCaml to Javascript.
Reason Language Server ⭐ 654
A language server for reason, in reason
Utop ⭐ 644
Universal toplevel for OCaml
Reason React ⭐ 635
Incremental ⭐ 627
A library for incremental computations
Rhine Ml ⭐ 622
🏞 an OCaml compiler for an untyped lisp
Opium ⭐ 619
Sinatra like web toolkit for OCaml
Felix ⭐ 607
The Felix Programming Language
Ocaml Multicore ⭐ 599
Multicore OCaml
Ocaml Graphql Server ⭐ 583
GraphQL servers in OCaml
Bucklescript Tea ⭐ 583
TEA for Bucklescript
Ocaml Cohttp ⭐ 539
An OCaml library for HTTP clients and servers using Lwt or Async
Query Json ⭐ 532
Faster and simpler implementation of jq in Reason Native
Reasonablytyped ⭐ 526
💠 Converts Flow and TypeScript definitions to Reason interfaces
Brisk ⭐ 521
✨Cross-platform set of tools for building native UIs with Reason/OCaml
Tis Interpreter ⭐ 520
An interpreter for finding subtle bugs in programs written in standard C
Mariocaml ⭐ 511
HTML 5 canvas implementation of Mario written in Ocaml
Lwt ⭐ 508
OCaml promises and concurrent I/O
Base ⭐ 501
Standard library for OCaml
Gravitron ⭐ 484
a little game
Tablecloth ⭐ 464
An ergonomic, cross-platform, standard library for ReasonML and OCaml
Httpaf ⭐ 461
A high performance, memory efficient, and scalable web server written in OCaml
Jscaml ⭐ 457
A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
Angstrom ⭐ 440
Parser combinators built for speed and memory efficiency
Ocaml Effects Tutorial ⭐ 421
Concurrent Programming with Effect Handlers (CUFP'17)
Batteries Included ⭐ 417
Batteries Included project
Catala ⭐ 410
Programming language for literate programming law specification
Sketch Sh ⭐ 404
Sketch.sh - Online Code Editor and ReasonML community
Neal ⭐ 396
🔎🐞 A language-agnostic linting platform
Ocamlformat ⭐ 391
Auto-formatter for OCaml code
Coccinelle ⭐ 388
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
Linearml ⭐ 383
Functional language for parallel programming
Cwe_checker ⭐ 383
cwe_checker finds vulnerable patterns in binary executables
Reason Design Patterns ⭐ 383
🗺 An unofficial collection of "design patterns" for Reason and OCaml
Min Caml ⭐ 369
moved from https://sourceforge.net/p/min-caml/code/
Ocaml Containers ⭐ 367
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
Reason Tools ⭐ 366
Adds Reason to the browser
Opam Repository ⭐ 364
Main public package repository for opam, the source package manager of OCaml.
Examples ⭐ 353
All the examples in Real World OCaml
Hazel ⭐ 348
Hazel, a live functional programming environment with typed holes
Deepsea ⭐ 343
The DeepSEA programming language
Ocaml Lsp ⭐ 340
OCaml Language Server Protocol implementation
Graphql_ppx ⭐ 324
GraphQL PPX rewriter for Bucklescript/ReasonML
Type Inference ⭐ 321
The Hindley Milner Type Inference Algorithm
Slayer ⭐ 317
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
Dream ⭐ 315
Tidy, feature-complete Web framework
Ppx_deriving ⭐ 314
Type-driven code generation for OCaml
Ocaml Git ⭐ 311
Pure OCaml Git format and protocol
Ocaml Torch ⭐ 311
OCaml bindings for PyTorch
Ocaml.org ⭐ 308
Implementation of the ocaml.org website.
Xen Api ⭐ 307
The Xapi Project's XenAPI Server
Seattlejsconf App ⭐ 305
ReasonML React Native App for SeattleJS Conf
Hardcaml ⭐ 302
Hardcaml is an OCaml library for designing hardware.
Bamboo ⭐ 301
Bamboo see https://github.com/cornellblockchain/bamboo
Bs Webapi Incubator ⭐ 299
BuckleScript bindings to the DOM and other Web APIs
Jitsu ⭐ 294
A DNS server that automatically starts unikernels on demand
Kremlin ⭐ 293
KreMLin is a tool for extracting low-level F* programs to readable C code
1-100 of 578 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