Ocaml
Showing 36 of 217 projects
A pure OCaml library for reading and writing Bencode format, used in .torrent files.
A minimalist library for datatype-generic programming in OCaml, enabling functions that work across unrelated data types without runtime overhead.
A Sublime Text plugin that fixes and enhances OCaml syntax highlighting with improved support for modern language features.
A simple OCaml library for date and duration manipulation with format-based duration printing.
OCaml pattern-matching library extended with regular expressions for expressive text processing.
A domain-specific language for specifying Algorand smart contracts, compiling to TEAL with declarative syntax and static checks.
A neural network-based tool that suggests lemma names for Coq verification projects by analyzing serialized statements and elaborated terms.
A Yeoman generator that scaffolds OCaml modules with integrated build, test, and documentation tools.
OCaml bindings for OpenGL
A toplevel directive for looking up OCaml documentation using ocp-index.
A command-line tool to manage GitHub issues by mapping them to a local git-based filesystem.
A CUID (collision-resistant identifier) generator implementation for OCaml.
Generates Coq boilerplate code for handling binders, renaming, and substitutions in formal language metatheory.
An OCaml implementation of Mask R-CNN for object detection, segmentation, and classification using the Owl numerical library.
Example build system for creating mixed C/Ocaml binaries with the main program written in C.
An OCaml library that uses a PPX deriver to automatically generate validators for records, variants, lists, and values via annotations.
An OCaml library for parallelizing work across multiple cores using child process forking.
OCaml library implementing the native MySQL/MariaDB wire protocol using the Bitstring library.
OCaml library for serializing and deserializing OpenFlow protocol messages, supporting versions 1.0 and 1.3.
Official OCaml port of Sqids for generating short unique IDs from numbers, useful for link shortening and URL-safe identifiers.
Test::Simple, for OCaml
A js_of_ocaml PPX extension to import and export CommonJS modules, enabling seamless interoperability with JavaScript.
OCaml bindings to special math and probability functions from the Cephes library.
An open-source social database server built with OCaml and PostgreSQL for managing user profiles and relationships.
A Commitment Scheme library implementing secure coin flipping and multiparty computation protocols using Encrypt-then-MAC authenticated encryption.
A simple, type-safe key-value store implemented in OCaml with generic type support.
A debugging printer for OCaml that automatically generates print functions and inserts debug output for expressions marked with [@p].
An Emacs minor mode for selecting and switching between OCaml opam switches via menu or command.
Generates OCaml serializers/unserializers from ATD type definitions for js_of_ocaml client apps.
An OCaml library for sparse linear expressions, generic vectors/matrices, and a dual simplex solver for linear optimization.
An enhanced variant of Bolt OCaml logging tool with pass filters, extended syntax, and optimized argument evaluation.
An Emacs frontend for students using the learn-ocaml platform to complete OCaml programming exercises.
An OCaml structured logger for Fluentd with buffering, persistent connections, and exponential backoff.
A monadic implementation of fully-connected neural networks in OCaml with backpropagation and customizable hyperparameters.
Tooling for collecting and analyzing cryptocurrency open-source software development activity from GitHub.
A minimalistic monad syntax extension for OCaml, inspired by Haskell's do-notation.
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.