Ocaml
Showing 36 of 124 projects
OCaml bindings for PyTorch, providing NumPy-like tensor computations with GPU acceleration and automatic differentiation.
A tool for writing definitions of programming languages and calculi, generating LaTeX and formal proof assistant code from a concise ASCII notation.
A library for binding to C libraries using pure OCaml, eliminating the need for C stub functions.
A functional HTML scraping and manipulation library for OCaml with CSS selector support.
A front-end for the C programming language that simplifies code for analysis and transformation.
A major Emacs mode for editing OCaml code with syntax highlighting, indentation, REPL integration, and debugger support.
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources.
A low-level JSON and JSON5 parsing and pretty-printing library for OCaml.
A pure OCaml implementation of Git's storage format and network protocols for reading and writing Git objects.
A monadic cooperative-threaded OCaml connector API for relational databases with driver support for MariaDB, PostgreSQL, and SQLite.
A syntax for defining cross-language data types to generate type-safe serializers, deserializers, and validators for JSON APIs.
A declarative library for defining command line interfaces in OCaml, handling parsing, help, and man pages.
A cross-platform multi-network peer-to-peer daemon for downloading files from various P2P networks.
A web-based platform for learning OCaml with an interactive toplevel, exercise environment, and lesson directory.
A pure OCaml implementation of the Transport Layer Security (TLS) protocol for secure communication.
A code coverage tool for OCaml and ReScript that instruments code to show what's not tested.
An OCaml kernel for Jupyter notebooks, providing an OCaml REPL with markdown/HTML documentation, LaTeX, and image embedding.
An automatic bug-finding tool for C, C++, Go, Rust, and Zig using WebAssembly-level symbolic execution.
A project generator for OCaml that quickly scaffolds real-world applications and libraries.
A tutorial on writing parallel programs in Multicore OCaml using domainslib for task pools, parallel loops, and async/await.
OCaml bindings for TensorFlow, enabling machine learning and neural network development in a functional programming environment.
Translates OCaml programs to Coq for formal verification of properties like invariants, absence of failures, and backward compatibility.
Translates OCaml programs to Coq for formal verification of properties like invariants and absence of failures.
A Unicode-aware lexer generator for OCaml that embeds lexer specifications directly in OCaml source files.
A pure OCaml regular expression library supporting Perl, POSIX, Emacs, and glob patterns with DFA-based matching.
A comprehensive, modular graph library for OCaml providing multiple graph implementations and algorithms.
A dependable, cross-platform distribution of the Rocq proof assistant with a curated selection of libraries and tools.
A debug adapter for OCaml programs that implements the Debug Adapter Protocol for VS Code integration.
An OCaml library for reading, writing, and modifying PDF files, serving as the foundation for the CPDF toolchain.
An open-source SDN controller platform that makes network programming easy, modular, and semantically correct.
A cross-platform OCaml library for terminal manipulation with widgets and text editing.
A state-machine-based REST toolkit for OCaml that implements HTTP request processing with validation, authentication, and content negotiation.
An OCaml HTTP client library supporting HTTP/1.X and HTTP/2 protocols.
OCaml bindings for browser DOM APIs and an implementation of the Elm architecture with virtual DOM for building web applications.
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.
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.