OCaml bindings for PyTorch
Repository Index
55,140 visible repositories in the index
1–22 of 22 · Most stars
Library for binding to C libraries using pure OCaml
A library for building dynamic webapps, using Js_of_ocaml.
OCaml bindings for TensorFlow
OCaml library for reading, writing and modifying PDF files
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Easy OCaml bindings for Javascript libraries
OCaml bindings to the SQLite3 database
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
A neat interface for Slack
Redis bindings for OCaml
- ocaml
- ocaml-library
- redis-client
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
OCaml bindings to MariaDB, supporting the nonblocking API
Type-safe library for building parallel applications, built on top of Async's Rpc module.
nanomsg bindings for ocaml
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
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
OCaml bindings for OpenGL
- opengl
- ocaml
Volt - A variant of Bolt OCaml logging tool
OCaml bindings for Python