Tutorial on Multicore OCaml parallel programming with domainslib
- ocaml
- multicore
Repository Index
47,133 repositories indexed
25–48 of 81 · Most stars
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
Terminal manipulation library for OCaml
- ocaml
OCaml library for reading, writing and modifying PDF files
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.
Interfacing Qt/QML with OCaml. Formely known as lablqt
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
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
OCaml type-safe query builder with syntax tree extension
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Light library to deal with RPCs in OCaml
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Template for an ocaml project with modern tooling
- ocaml
Simple hash algorithms in OCaml
- hash
- ocaml
- sha1
- sha256
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations