A static analyzer for Java, C, C++, and Objective-C
Repository Index
47,133 repositories indexed
1–24 of 24 · Most stars
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