OCaml
LanguageOpen-source projects built with OCaml
There are currently 14 open-source projects built with OCaml, with a combined total of 110.4k GitHub stars. The most common language among these projects is OCaml.
Showing 14 open-source projects
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.
An editor service providing modern IDE features like context-sensitive completion for OCaml in Vim and Emacs.
A statically typed scripting language and backend for multimedia streaming, file generation, automation, and HTTP services.
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.