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

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

Inspection of internal value representations and the object graph

general value printing within compiled programs

Print OCaml values based on their runtime representation

A library for printing OCaml values with sharing

A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]

OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.

• validation

The dumb OCaml key-value store

• ocaml-library
• nosql
• persistent-storage
• hash-table