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
Repository Index
47,133 repositories indexed
1–19 of 19 · Most stars
QuickCheck inspired property-based testing for OCaml.
- ocaml
- quickcheck
- random
- testing
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
- genealogy
- software
- web
- database
A library for building dynamic webapps, using Js_of_ocaml.
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
Tutorial on Multicore OCaml parallel programming with domainslib
- ocaml
- multicore
Elm architecture and (V)DOM for OCaml
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
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.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
A dumb OCaml logger
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
An HTML documentation generator for Coq source files
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
The dumb OCaml key-value store
- ocaml-library
- nosql
- persistent-storage
- hash-table
A PlantUML to XML converter
- automation
- converter
- document
- ocaml
An HTML documentation generator for Rocq source files