Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Cooperative-threaded access to relational data
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
OCaml project generator.
- spin
- ocaml
- reason
- template
Terminal manipulation library for OCaml
- ocaml
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
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.
Lwt Translations of the Async Code Examples in Real World OCaml
- ocaml
- lwt
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Template for an ocaml project with modern tooling
- ocaml
mustache.js logic-less templates in OCaml
- ocaml
- mustache-templates
- mustache
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
Object Relational Mapper extension
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
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
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]