The Xapi Project's XenAPI Server
Repository Index
47,133 repositories indexed
49–72 of 234 · Most stars
Cooperative-threaded access to relational data
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
A Web Application for Learning OCaml
- ocaml
- teaching
- learn-ocaml
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
TLS in pure OCaml
An OCaml kernel for Jupyter (IPython) notebook
- ocaml
- functional-programming
- jupyter-kernels
- machine-learning
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
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
An OCaml lexer generator for Unicode
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
OCaml graph library
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
OCaml debug adapter
- debugger
- debug-adapter-protocol
- ocaml
Terminal manipulation library for OCaml
- ocaml
OCaml library for reading, writing and modifying PDF files
The Frenetic Programming Language and Runtime System
Jane Street's standard library overlay (kernel)
A REST toolkit for OCaml
- ocaml
- webmachine
- web
- http