Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Repository Index
47,133 repositories indexed
1–24 of 42 · Most stars
Irmin is a distributed database that follows the same design principles as Git
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
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
A modern supercompiler for call-by-value functional languages
OCaml bindings for PyTorch
Library for binding to C libraries using pure OCaml
QuickCheck inspired property-based testing for OCaml.
- ocaml
- quickcheck
- random
- testing
C Intermediate Language
A library for building dynamic webapps, using Js_of_ocaml.
OCaml bindings for TensorFlow
OCaml library for reading, writing and modifying PDF files
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Easy OCaml bindings for Javascript libraries
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing
OCaml bindings to the SQLite3 database
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
Simple hash algorithms in OCaml
- hash
- ocaml
- sha1
- sha256
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations