Ocaml
Showing 36 of 217 projects
A language server and VS Code extension providing incremental checking, error recovery, and IDE features for the Rocq/Coq proof assistant.
A wrapper over opam/dune providing a cargo-like experience for creating and managing OCaml projects with integrated documentation and CI.
A formally verified implementation of the Raft distributed consensus protocol in Coq using the Verdi framework.
A tool for generating OCaml bindings to JavaScript libraries, simplifying cross-language interoperability.
A typed regular expression library for OCaml that enables type-safe parsing and unparsing with automatic group extraction.
A high-performance snapshot testing tool focused on speed and ease of use, built with OCaml.
A binary instrumentation framework for analyzing and modifying Android app Dalvik bytecode.
A deprecated VS Code extension providing OCaml language support with syntax highlighting, IntelliSense, linting, and debugging.
A ppx_deriving plugin that generates JSON serializers and deserializers for OCaml types using the Yojson library.
A library for creating QtQuick/QML GUI applications in OCaml and Reason, providing bindings and a PPX syntax extension.
A curated collection of libraries, tools, and resources for parallel and effectful programming in OCaml 5.
A syntax extension for writing type-safe SQL queries in OCaml with named parameters and PostgreSQL syntax checking.
A minimal, self-contained library of monadic parser combinators for OCaml, enabling easy construction of recursive-descent parsers.
A generic OCaml virtual machine for running OCaml programs on resource-constrained microcontrollers like AVR and PIC32.
A compiler for the Spooky programming language, designed to be the scariest language with spooky emoji keywords and unpredictable runtime behavior.
Error-recovering streaming HTML5 and XML parsers for OCaml with lazy, non-blocking, and one-pass processing.
A typed bidirectional router for OCaml and ReasonML web applications, enabling type-safe route definitions and URL generation.
A PPX-based DSL for writing GPU kernels in OCaml syntax that compiles to multiple backends (CUDA, OpenCL, Vulkan, Metal).
An OCaml template engine with near-complete compatibility with Jinja2 syntax and features.
A simple, rule-based scheduler for OCaml 5 enabling concurrent and parallel task development with a focus on composability.
A library for machine-to-machine interaction with the Coq proof assistant, providing serialization of Coq's internal datatypes to JSON or S-expressions.
OCaml bindings to the SQLite3 database client API, enabling database operations from OCaml applications.
A type-safe query builder for OCaml that enforces SQL correctness at compile time using the OCaml type system.
A pure OCaml PostgreSQL client library with support for Async, LWT, and synchronous operations.
A library and skeleton for writing OCaml parsers with beautiful error messages and minimal boilerplate.
A comprehensive Unicode library for OCaml providing character handling, string encodings, collation, and locale-sensitive operations.
A comprehensive OCaml library for mathematical and statistical analysis with descriptive, typed APIs.
A pure OCaml library implementing DEFLATE, Zlib, Gzip, and LZO compression/decompression algorithms.
A comprehensive OCaml library for mathematical and statistical analysis with typed, descriptive APIs.
A pure OCaml implementation of the DNS protocol supporting authoritative and recursive resolvers with strict conventions.
A small OCaml cryptographic library emphasizing applicative style and ease of use with basic ciphers, hashes, and public-key primitives.
OCaml combinators for manipulating HTML, CSS, XML, JSON, and Markdown directly from OCaml code.
A comprehensive OCaml library providing cryptographic primitives like ciphers, hashes, and public-key cryptography for security-sensitive applications.
A lightweight OCaml library for remote procedure calls (RPC) with XML/JSON encoding and code generation via PPX.
A Coq plugin that extracts dependency graphs between Coq objects and provides tools for visualization and analysis.
A declarative 2D vector graphics library for OCaml with renderers for PDF, SVG, Cairo, and HTML canvas.
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.