Ocaml
Showing 15 of 15 projects
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.
A native, lightweight modal code editor combining Vim's modal editing, VSCode's language integration, and Sublime's speed.
A performant, incremental type checker for Python with integrated security analysis via Pysa.
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 curated collection of awesome OCaml tools, frameworks, libraries, articles, books, and resources.
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.
Related Tags
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.