Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
Repository Index
56,139 visible repositories in the index
49–72 of 210 · Most stars
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
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
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
Web library for OCaml with support for HTTP/1.X / HTTP/2
- http
- http2
- http-client
- https
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
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog