Repository Index

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

• liquidsoap
• streaming
• webradio

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

Type-driven code generation for OCaml

• deriving

Less redundancy in type declarations and signatures

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

date and duration in ocaml