Ocaml
Showing 36 of 120 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.
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.
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.
A package manager for Reason and OCaml that brings the familiar npm package.json workflow to native development.
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.
Effects-based direct-style parallel IO stack for OCaml 5, enabling concurrent file, network, and CPU operations with a secure, cross-platform API.
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 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 modular, lightweight extension of OCaml's standard library focused on data structures, combinators, and iterators.
A library for type-driven code generation in OCaml, providing plugins to derive common functions from type definitions.
A lightweight and colorful test framework for OCaml with quiet output and expressive test selection.
A modern supercompiler for call-by-value functional languages that transforms programs via symbolic evaluation and metasystem transitions.
A collection of tools for testing, printing, coloring, and error formatting to effectively write native Reason code.
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.