OCaml
LanguageOpen-source projects built with OCaml
There are currently 240 open-source projects built with OCaml, with a combined total of 153.8k GitHub stars. The most common language among these projects is OCaml.
Showing 240 open-source projects · page 1 of 7
A privacy-first, open-source platform for knowledge management and collaboration using a networked note-taking approach.
A static type checker for JavaScript that helps catch errors during development and improve code quality.
A static analyzer for Java, C, C++, and Objective-C that detects bugs and performance issues.
An interactive theorem prover providing a formal language to write mathematical definitions, algorithms, and theorems with machine-checked proof development.
An interactive theorem prover providing a formal language to write mathematical definitions, algorithms, and theorems with machine-checked proof development.
A blazing-fast SIMD-optimized image comparison library with Node.js API for visual regression testing.
A library operating system for building secure, performant unikernels in OCaml.
A set of tools and APIs for static analysis, code visualization, navigation, and style-preserving source transformations across multiple languages.
A suite of utilities and libraries for analyzing binary programs, supporting multiple architectures and offering symbolic execution.
Irmin is an OCaml library for building mergeable, branchable distributed data stores using Git-like principles.
A fast, composable build system for OCaml that handles low-level compilation details with a simple project description.
A static binary code analysis toolkit for reverse engineers, featuring value/taint analysis, type reconstruction, and memory vulnerability detection.
A statically typed scripting language and backend for multimedia streaming, file generation, automation, and HTTP services.
An editor service providing modern IDE features like context-sensitive completion for OCaml in Vim and Emacs.
A dedicated OCaml system for scientific and engineering computing, providing n-dimensional arrays, linear algebra, algorithmic differentiation, and neural networks.
Open-source GitOps infrastructure orchestration that automates Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through GitHub pull requests.
A language for formally specifying instruction-set architecture (ISA) semantics with tooling for emulators, documentation, and verification.
An enhanced OCaml REPL with line editing, context-sensitive completion, syntax highlighting, and Emacs integration.
A language server implementing the Language Server Protocol (LSP) for OCaml, providing editor support like autocompletion and diagnostics.
Synthesizes formally verified, correct-by-construction C, Rust, Go, and other language code for cryptographic field arithmetic primitives.
A Sinatra-like web toolkit for OCaml, built on httpaf and lwt for building lightweight, extensible web applications.
An OCaml library for building HTTP clients and servers with support for multiple asynchronous backends including Lwt, Async, and Eio.
An auto-formatter for OCaml code with customizable profiles and comment formatting.
A high-performance OCaml parser combinator library for network protocols and serialization formats.
A Clojure-inspired Lisp compiler built on LLVM JIT, exposing how Lisp constructs map to hardware.
A Coq framework for implementing and formally verifying distributed systems with support for multiple fault models.
A type-safe library for building GraphQL servers in OCaml with support for Lwt, Async, and subscriptions.
A type-safe, event-driven web UI library for OCaml/BuckleScript following The Elm Architecture.
A project formalizing the Rocq proof assistant in Rocq itself, providing tools for metaprogramming and developing certified plugins.
ReasonML bindings for Apollo Client and React Apollo, enabling type-safe GraphQL operations in ReasonReact applications.
A high-performance, memory-efficient, and scalable HTTP/1.1 web server for OCaml, built with Angstrom and Faraday.
A community-maintained foundation library for OCaml projects, providing a comprehensive standard library with consistent APIs.
A research prototype tool for modular formal verification of C, Rust, and Java programs using separation logic.
A library for type-driven code generation in OCaml, providing plugins to derive common functions from type definitions.
A modular, lightweight extension of OCaml's standard library focused on data structures, combinators, and iterators.
A lightweight and colorful test framework for OCaml with quiet output and expressive test selection.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.