Cooperative-threaded access to relational data
Repository Index
56,638 visible repositories in the index
25–48 of 94 · Most stars
Static types for JSON APIs
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
TLS in pure OCaml
Code coverage for OCaml and ReScript
- coverage
- ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
- ocaml
- multicore
OCaml project generator.
- spin
- ocaml
- reason
- template
OCaml bindings for TensorFlow
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Jane Street's standard library overlay (kernel)
OCaml library for reading, writing and modifying PDF files
The Frenetic Programming Language and Runtime System
A REST toolkit for OCaml
- ocaml
- webmachine
- web
- http
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Elm architecture and (V)DOM for OCaml
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Cram like framework for OCaml
Automated S-expression conversion
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language