Repository Index

A static analyzer for Java, C, C++, and Objective-C

• static-analysis
• static-code-analysis
• code-quality
• java

Unison file synchronizer

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

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

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

OCaml bindings for PyTorch

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

Declarative definition of command line interfaces for OCaml

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

• ocaml
• wasm
• webassembly
• interpreter

OCaml bindings for TensorFlow

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

Pure OCaml implementation of Zlib.

• ocaml
• zlib
• compression
• decompression

OCaml code generator plugin for the Cap'n Proto serialization framework

Declarative 2D vector graphics for OCaml

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

Easy to use Makefile for small to medium-sized OCaml-projects

• ocaml
• makefile

OCaml bindings for Kafka

• ocaml-bindings
• kafka
• librdkafka

The transitory OCaml software packager

Syntax extension for embedded SQL queries using PG'OCaml.

• ocaml
• sql
• postgres
• ppx

Parallelize _anything_ //

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

Multilingualization for the OCaml source code

Non-blocking streaming Unicode codec for OCaml

Unicode text normalization for OCaml

Unicode text segmentation for OCaml

Unicode character properties for OCaml