Repository Index

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

OCaml bindings for PyTorch

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

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

OCaml bindings for TensorFlow

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

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing