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

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

Auto-formatter for OCaml code

• ocaml

Type-driven code generation for OCaml

• deriving

Code coverage for OCaml and ReScript

• coverage
• ocaml

An OCaml lexer generator for Unicode

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

A Yojson codec generator for OCaml.

• deriving
• json

A Unicode library for OCaml

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

OCaml code generator plugin for the Cap'n Proto serialization framework

Multilingualization for the OCaml source code

Non-blocking streaming Unicode codec for OCaml

Unicode text normalization for OCaml

Unicode text segmentation for OCaml

OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/

Bencode (.torrent file format) reader/writer in OCaml

Unicode character properties for OCaml

Unicode character database decoder for OCaml

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:

• ocaml
• commitment-schemes
• secure-multi-party-computation
• cryptography

Yet another Codeforces contest parser