Repository Index

A static analyzer for Java, C, C++, and Objective-C

• static-analysis
• static-code-analysis
• code-quality
• java

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

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

Effects-based direct-style IO for multicore OCaml

• concurrency
• effects
• io
• multicore

Batteries Included project

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

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

C Intermediate Language

The Xapi Project's XenAPI Server

Declarative definition of command line interfaces for OCaml

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

TLS in pure OCaml

• tls
• ocaml
• mirageos
• security

Code coverage for OCaml and ReScript

• coverage
• ocaml

OCaml project generator.

• spin
• ocaml
• reason
• template

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.

Cram like framework for OCaml

A Yojson codec generator for OCaml.

• deriving
• json

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing

Error-recovering streaming HTML5 and XML parsers

• html
• html5
• xml
• streaming