Interfacing Qt/QML with OCaml. Formely known as lablqt
Repository Index
65,764 visible repositories in the index
1–7 of 7 · Most stars
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Type-safe library for building parallel applications, built on top of Async's Rpc module.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Import and export CommonJS modules in js_of_ocaml