Ocaml
Showing 36 of 217 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.
QuickCheck inspired property-based testing for OCaml.
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.
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
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 tutorial on writing parallel programs in Multicore OCaml using domainslib for task pools, parallel loops, and async/await.
A project generator for OCaml that quickly scaffolds real-world applications and libraries.
OCaml bindings for TensorFlow, enabling machine learning and neural network development in a functional programming environment.
A Unicode-aware lexer generator for OCaml that embeds lexer specifications directly in OCaml source files.
Translates OCaml programs to Coq for formal verification of properties like invariants and absence of failures.
Translates OCaml programs to Coq for formal verification of properties like invariants, absence of failures, and backward compatibility.
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.
A cross-platform OCaml library for terminal manipulation with widgets and text editing.
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 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.
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.