Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
OCaml Bioinformatics Library
Declarative 2D vector graphics for OCaml
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
A library to build and execute typed scientific workflows
OCaml library for combinatorics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Declarative terminal graphics for OCaml
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics