The core OCaml system: compilers, runtime system, base libraries
- ocaml
- compiler
- functional-language
Repository Index
83,586 visible repositories in the index
1–24 of 34 · Most stars
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
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
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Universal toplevel for OCaml
An OCaml library for HTTP clients and servers using Lwt or Async
- ocaml
- http
- http-client
- lwt
Parser combinators built for speed and memory efficiency
- ocaml
- parser-combinators
- parsing
GraphQL servers in OCaml
- ocaml
- graphql
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Low-level JSON parsing and pretty-printing library for OCaml
- json
- ocaml
- yojson
- parser
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Automated S-expression conversion
Communication between Coq and SAT/SMT solvers
An OCaml generic virtual machine for microcontrollers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
Error-recovering streaming HTML5 and XML parsers
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
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.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
RFC3986 URI parsing library for OCaml
- ocaml
- uri
- url
- rfc-3986
OCaml Amqp client library for Async and Lwt.
- amqp-client
- rabbitmq
- async
- ocaml
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print