Cooperative-threaded access to relational data
Repository Index
47,133 repositories indexed
25–48 of 107 · Most stars
Static types for JSON APIs
Declarative definition of command line interfaces for OCaml
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 project generator.
- spin
- ocaml
- reason
- template
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
An OCaml lexer generator for Unicode
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Terminal manipulation library for OCaml
- 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.
Automated S-expression conversion
Communication between Coq and SAT/SMT solvers
A Yojson codec generator for OCaml.
- deriving
- json
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
OCaml bindings to the SQLite3 database
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
OCaml Bioinformatics Library
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml implementation of the DNS protocol
- ocaml
- dns
- mirageos
- unikernel
OCaml Math Library