Repository Index

Owl - OCaml Scientific Computing @ https://ocaml.xyz

• matrix
• linear-algebra
• ndarray
• statistical-functions

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence

OCaml bindings for TensorFlow

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning