Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
Context sensitive completion for OCaml in Vim and Emacs
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Functional HTML scraping and rewriting with CSS in OCaml
OCaml Bioinformatics Library
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.
Light library to deal with RPCs in OCaml
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
The repository host gives no description.
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