Easy OCaml bindings for Javascript libraries
Repository Index
47,133 repositories indexed
25–48 of 62 · Most stars
Interfacing Qt/QML with OCaml. Formely known as lablqt
An OCaml generic virtual machine for microcontrollers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
A fast, purely functional data structure library in Common Lisp.
OCaml bindings to the SQLite3 database
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
OCaml bindings to libcurl
- libcurl
- ocaml-bindings
- ocaml
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
OCaml bindings to MariaDB, supporting the nonblocking API
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Type-safe library for building parallel applications, built on top of Async's Rpc module.
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
OCaml library for combinatorics
scikit-learn for OCaml