Repository Index

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

• ocaml
• javascript
• reasonml
• reason

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

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

Universal toplevel for OCaml

Low-level JSON parsing and pretty-printing library for OCaml

• json
• ocaml
• yojson
• parser

An OCaml generic virtual machine for microcontrollers

The repository host gives no description.

• ocaml
• hacktoberfest
• toplevel

Collect and view OSS cryptocurrency development.

• cryptocurrency
• open-source-software
• github
• software-metrics