OCaml bindings for PyTorch
Repository Index
55,140 visible repositories in the index
1–17 of 17 · Most stars
Library for binding to C libraries using pure OCaml
OCaml bindings for TensorFlow
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
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
OCaml bindings for Python