Awesome Open Source
Awesome Open Source
Combined Topics
ocaml x

The Top 6,661 Ocaml Open Source Projects

Flow ⭐ 21,737
Adds static typing to JavaScript to improve developer productivity and code quality.
dependent packages 545total releases 114most recent commit 4 hours agonpm flow-remove-types} Downloads
Infer ⭐ 13,289
A static analyzer for Java, C, C++, and Objective-C
dependent packages 7total releases 8most recent commit 4 hours ago
Reason ⭐ 9,617
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
dependent packages 83total releases 19most recent commit 2 months agonpm @esy-ocaml/reason} Downloads
Milewski Ctfp Pdf ⭐ 9,408
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 2 days ago
Awesomo ⭐ 8,336
Cool open source projects written in various languages.
most recent commit a month ago
Revery ⭐ 7,863
⚡️ Native, high-performance, cross-platform desktop apps - built with Reason!
dependent packages 1total releases 41most recent commit 3 months agonpm revery} Downloads
Z3 ⭐ 7,452
The Z3 Theorem Prover
dependent packages 49total releases 19most recent commit a day agopypi z3-solver} Downloads
Oni2 ⭐ 6,807
Native, lightweight modal code editor
most recent commit 4 months ago
Semgrep ⭐ 6,551
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
dependent packages 4total releases 109most recent commit 5 hours agopypi semgrep} Downloads
Pyre Check ⭐ 5,905
Performant type-checking for python.
dependent packages 9total releases 71most recent commit 4 hours agopypi pyre-check} Downloads
Rescript Compiler ⭐ 5,773
The compiler for ReScript.
dependent packages 1,423total releases 205most recent commit 2 days agonpm bs-platform} Downloads
Google Drive Ocamlfuse ⭐ 4,585
FUSE filesystem over Google Drive
most recent commit 23 days ago
Batsh ⭐ 4,094
A language that compiles to Bash and Windows Batch
most recent commit 8 months ago
Ocaml ⭐ 3,809
The core OCaml system: compilers, runtime system, base libraries
dependent packages 3total releases 4most recent commit a day ago
Coq ⭐ 3,764
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.
dependent packages 1total releases 4most recent commit 3 hours ago
Magic Trace ⭐ 3,605
magic-trace collects and displays high-resolution traces of what a process is doing
most recent commit a day ago
Hyperkit ⭐ 3,221
A toolkit for embedding hypervisor capabilities in your application
dependent packages 10total releases 19most recent commit 3 months ago
Klipse ⭐ 2,870
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
total releases 56most recent commit 4 months ago
Functional Programming ⭐ 2,568
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
most recent commit 3 years ago
Grain ⭐ 2,384
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
total releases 10most recent commit 2 days ago
Unison ⭐ 2,369
Unison file synchronizer
most recent commit 5 hours ago
Fastpack ⭐ 2,283
Pack JS code fast & easy
dependent packages 4total releases 23most recent commit a year agonpm fpack} Downloads
Fstar ⭐ 2,234
A Proof-oriented Programming Language
most recent commit 3 days ago
Awesome Ocaml ⭐ 2,169
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
most recent commit 6 months ago
Ixy Languages ⭐ 1,878
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
most recent commit 2 years ago
Mirage ⭐ 1,867
MirageOS is a library operating system that constructs unikernels
most recent commit 15 days ago
Bap ⭐ 1,615
Binary Analysis Platform
most recent commit 6 days ago
Irmin ⭐ 1,595
Irmin is a distributed database that follows the same design principles as Git
total releases 2most recent commit 2 days ago
Nodebook ⭐ 1,490
Nodebook - Multi-Lang Web REPL + CLI Code runner
most recent commit 9 months ago
Comby ⭐ 1,474
A tool for structural code search and replace that supports ~every language.
most recent commit 21 days ago
Awesome Reasonml ⭐ 1,437
A collection of awesome things regarding Reason/OCaml ecosystem.
most recent commit a year ago
Mina ⭐ 1,421
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
total releases 10most recent commit 13 hours ago
Merlin ⭐ 1,402
Context sensitive completion for OCaml in Vim and Emacs
most recent commit 2 days ago
Tezos ⭐ 1,342
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
most recent commit 3 years ago
Cpbook Code ⭐ 1,337
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
most recent commit 2 months ago
Bincat ⭐ 1,316
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
most recent commit 8 days ago
Type Systems ⭐ 1,300
Implementations of various type systems in OCaml.
most recent commit 7 years ago
Dune ⭐ 1,221
A composable build system for OCaml.
most recent commit 4 hours ago
Opalang ⭐ 1,210
The Opa Language for Web Application Development
most recent commit 5 years ago
Opam ⭐ 1,003
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
most recent commit 5 hours ago
Datakit ⭐ 999
Connect processes into powerful data pipelines with a simple git-like filesystem interface
most recent commit 2 months ago
Owl ⭐ 988
Owl - OCaml Scientific Computing @ http://ocaml.xyz
most recent commit a month ago
Liquidsoap ⭐ 959
Audio and video streaming language
most recent commit 5 hours ago
Book ⭐ 935
V2 of Real World OCaml
most recent commit 4 days ago
Caramel ⭐ 929
🍬 a functional language for building type-safe, scalable, and maintainable applications
most recent commit 2 months ago
Satysfi ⭐ 923
A statically-typed, functional typesetting system
most recent commit a month ago
Core ⭐ 914
Jane Street Capital's standard library overlay
most recent commit 3 months ago
Vpnkit ⭐ 904
A toolkit for embedding VPN capabilities in your application
dependent packages 2total releases 16most recent commit 23 days ago
Catala ⭐ 823
Programming language for literate programming law specification
most recent commit 5 hours ago
Dream ⭐ 815
Tidy, feature-complete Web framework
most recent commit 2 months ago
Best Practices Checklist ⭐ 814
A list of awesome idiomatic code resources. Rust🦀, Go, Ruby💎, Pony 🐴, Ocaml 🐫, Erlang and more
most recent commit 8 months ago
Esy ⭐ 770
package.json workflow for native development with Reason/OCaml
dependent packages 5total releases 154most recent commit 3 months agonpm esy} Downloads
Js_of_ocaml ⭐ 754
Compiler from OCaml to Javascript.
most recent commit 10 days ago
Gentype ⭐ 727
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
dependent packages 30total releases 131most recent commit 3 months agonpm gentype} Downloads
Eff ⭐ 724
A functional programming language based on algebraic effect handlers
most recent commit 4 months ago
Ocaml Multicore ⭐ 709
Multicore OCaml
most recent commit 4 months ago
Utop ⭐ 700
Universal toplevel for OCaml
most recent commit a month ago
Incremental ⭐ 678
A library for incremental computations
most recent commit 3 months ago
Opium ⭐ 672
Sinatra like web toolkit for OCaml
most recent commit 4 months ago
Felix ⭐ 669
The Felix Programming Language
most recent commit 15 hours ago
Nvim Treesitter Textobjects ⭐ 666
most recent commit 6 days ago
Reason Language Server ⭐ 647
A language server for reason, in reason
dependent packages 1total releases 1most recent commit a year agonpm reason-language-server} Downloads
Rhine Ml ⭐ 621
🏞 an OCaml compiler for an untyped lisp
most recent commit 7 years ago
Ocaml Graphql Server ⭐ 606
GraphQL servers in OCaml
most recent commit a month ago
Bucklescript Tea ⭐ 595
TEA for Bucklescript
dependent packages 3total releases 49most recent commit 4 months agonpm bucklescript-tea} Downloads
Base ⭐ 580
Standard library for OCaml
most recent commit 3 months ago
Ocaml Cohttp ⭐ 578
An OCaml library for HTTP clients and servers using Lwt or Async
most recent commit 10 days ago
Query Json ⭐ 559
Faster, simpler and more portable implementation of `jq` in Reason
total releases 71most recent commit 23 days ago
Lwt ⭐ 559
OCaml promises and concurrent I/O
most recent commit a month ago
42_subjects ⭐ 539
All Subjects of 42 School
most recent commit 2 years ago
Tis Interpreter ⭐ 513
An interpreter for finding subtle bugs in programs written in standard C
most recent commit 5 years ago
Mariocaml ⭐ 512
HTML 5 canvas implementation of Mario written in Ocaml
most recent commit 9 months ago
Angstrom ⭐ 498
Parser combinators built for speed and memory efficiency
most recent commit 2 months ago
Httpaf ⭐ 496
A high performance, memory efficient, and scalable web server written in OCaml
most recent commit 2 months ago
Tablecloth ⭐ 484
An ergonomic, cross-platform, standard library for Rescript and OCaml
dependent packages 4total releases 7most recent commit a month agonpm tablecloth-bucklescript} Downloads
Gravitron ⭐ 473
a little game
most recent commit 3 years ago
Coccinelle ⭐ 470
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
most recent commit 2 months ago
Bnfc ⭐ 470
BNF Converter
total releases 23most recent commit 2 months ago
Ocamlformat ⭐ 469
Auto-formatter for OCaml code
most recent commit 4 hours ago
Hazel ⭐ 466
Hazel, a live functional programming environment with typed holes
most recent commit 12 hours ago
Brisk ⭐ 463
✨Cross-platform set of tools for building native UIs with Reason/OCaml
most recent commit 3 years ago
Ocaml Lsp ⭐ 462
OCaml Language Server Protocol implementation
most recent commit 2 days ago
Jscaml ⭐ 461
A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
most recent commit 5 years ago
Batteries Included ⭐ 433
Batteries Included project
most recent commit 2 months ago
Reason Design Patterns ⭐ 428
🗺 An unofficial collection of "design patterns" for Reason and OCaml
most recent commit 2 months ago
Ocaml Effects Tutorial ⭐ 413
Concurrent Programming with Effect Handlers (CUFP'17)
most recent commit a year ago
Sketch Sh ⭐ 409
Sketch.sh - Online Code Editor and ReasonML community
most recent commit 2 months ago
Snarky ⭐ 405
OCaml DSL for verifiable computation
total releases 12most recent commit 10 days ago
Neal ⭐ 404
🔎🐞 A language-agnostic linting platform
most recent commit 2 months ago
Opam Repository ⭐ 397
Main public package repository for opam, the source package manager of OCaml.
most recent commit 6 hours ago
Ocaml Containers ⭐ 395
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
most recent commit 7 days ago
Wonka ⭐ 386
🎩 A fast push & pull stream library for Reason, OCaml, and TypeScript
dependent packages 45total releases 58most recent commit a year agonpm wonka} Downloads
Reason Tools ⭐ 368
Adds Reason to the browser
most recent commit 4 years ago
Linearml ⭐ 367
Functional language for parallel programming
most recent commit 5 years ago
Min Caml ⭐ 363
moved from https://sourceforge.net/p/min-caml/code/
most recent commit a year ago
Melange ⭐ 362
A mixture of tooling combined to produce JavaScript from OCaml & Reason
most recent commit 9 days ago
Hardcaml ⭐ 359
Hardcaml is an OCaml library for designing hardware.
most recent commit 3 months ago
Ppx_deriving ⭐ 341
Type-driven code generation for OCaml
most recent commit a month ago
0install ⭐ 337
the core 0install package
most recent commit 2 months ago
Ocaml Git ⭐ 336
Pure OCaml Git format and protocol
most recent commit a month ago
1-100 of 6,661 projects
Related Awesome Lists
Ocaml Reasonml Projects (475)
Bindings Ocaml Projects (428)
Ocaml Reason Projects (394)
Compiler Ocaml Projects (354)
Ocaml Bucklescript Projects (320)
Types Ocaml Projects (294)
Language Ocaml Projects (289)
C Ocaml Projects (246)
Javascript Ocaml Projects (181)
Reactjs Ocaml Projects (168)
Ocaml Coq Projects (163)
Programming Ocaml Projects (140)
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 72
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 342
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 116
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,046,513)
Python  (794,038)
Java  (384,745)
Php  (284,342)
Typescript  (238,372)
C Plus Plus  (235,678)
Ruby  (221,647)
C  (180,021)
Shell  (169,271)
C Sharp  (161,668)
Golang  (155,705)
Swift  (64,594)
Objective C  (57,180)
R  (57,097)
Rust  (55,814)
Dart  (51,233)
Kotlin  (45,308)
Lua  (33,168)
Matlab  (30,832)
Perl  (30,482)
Language  (30,083)
Scala  (28,582)
Haskell  (20,223)
Clojure  (19,065)
Powershell  (18,770)
Bash  (18,586)
Coffeescript  (17,335)
Elixir  (16,549)
Assembly  (14,508)
Processing  (13,295)
Julia  (12,509)
Basic  (10,772)
Flow  (10,528)
Emacs Lisp  (10,358)
Erlang  (9,057)
Scheme  (8,442)
Groovy  (8,426)
Solidity  (7,543)
Ocaml  (6,660)
Pascal  (6,371)
Hack  (6,365)
Lisp  (6,345)
Fortran  (5,475)
Elm  (5,468)
Common Lisp  (5,285)
Dlang  (4,742)
Shell Script  (4,626)
Python Library  (4,446)
Crystal  (4,373)
Scripting  (4,199)
Top Projects
Freecodecamp ⭐ 346,085
996.icu ⭐ 262,270
Free Programming Books ⭐ 233,047
Coding Interview University ⭐ 219,725
Awesome ⭐ 201,499
Vue ⭐ 195,787
Developer Roadmap ⭐ 194,812
Public Apis ⭐ 192,026
React ⭐ 188,079
System Design Primer ⭐ 180,726
Tensorflow ⭐ 164,981
Bootstrap ⭐ 157,299
You Dont Know Js ⭐ 152,909
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,101
Build Your Own X ⭐ 141,447
Flutter ⭐ 140,685
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,032
Gitignore ⭐ 133,164
Linux ⭐ 131,866
Vscode ⭐ 131,762
Awesome Python ⭐ 126,837
Javascript ⭐ 122,717
Javaguide ⭐ 121,487
Python 100 Days ⭐ 117,585
Computer Science ⭐ 112,893
Youtube Dl ⭐ 110,029
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,754
Electron ⭐ 101,722
D3 ⭐ 100,901
Go ⭐ 99,254
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,021
Axios ⭐ 93,400
Awesome Selfhosted ⭐ 88,479
Kubernetes ⭐ 88,475
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,657
Next.js ⭐ 86,824
Terminal ⭐ 83,149
Deno ⭐ 82,461
Three.js ⭐ 82,021
Angular ⭐ 81,395
Awesome Go ⭐ 80,742
Typescript ⭐ 80,677
Ant Design ⭐ 80,313
Material Ui ⭐ 78,463
Privacy | About | Terms | Follow Us On Twitter

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

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