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–20 of 20 · Most stars
A high performance, memory efficient, and scalable web server written in OCaml
- ocaml
- http
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
A lightweight and colourful test framework
- unit-testing
- ocaml
A modern supercompiler for call-by-value functional languages
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
Declarative definition of command line interfaces for OCaml
OCaml bindings for TensorFlow
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Interfacing Qt/QML with OCaml. Formely known as lablqt
RFC3986 URI parsing library for OCaml
- ocaml
- uri
- url
- rfc-3986
A neat interface for Slack
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
OCaml/MPI interface
The human friendly interface to ocaml-re
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
The repository host gives no description.
- ocaml
- hacktoberfest
- toplevel
OCaml library for forking child processes to perform work on multiple cores