-
vscode-ocaml-platform Public
Forked from ocamllabs/vscode-ocaml-platformVisual Studio Code extension for OCaml
OCaml ISC License UpdatedNov 1, 2026 -
ocaml-lsp Public
Forked from ocaml/ocaml-lspOCaml Language Server Protocol implementation
OCaml Other UpdatedNov 1, 2026 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
-
soteria Public
Sound static analysis for the masses.
-
ppx_mixins Public
Forked from N1ark/ppx_mixinsA PPX for mixing module type signatures into a type declaration
OCaml Apache License 2.0 UpdatedSep 29, 2026 -
-
ppx_deriving Public
Forked from ocaml-ppx/ppx_derivingType-driven code generation for OCaml
OCaml MIT License UpdatedJul 26, 2026 -
-
ppx_deriving_hash Public
Forked from sim642/ppx_deriving_hash[@@deriving hash]
OCaml MIT License UpdatedJun 22, 2026 -
ppx-matches Public
Forked from johnyob/ppx-matchesPPX syntax for Rust's `matches!` in OCaml 🐪
-
ocaml.org-1 Public
Forked from ocaml/ocaml.orgThe official OCaml website.
Markdown Other UpdatedApr 30, 2026 -
landmarks Public
Forked from LexiFi/landmarksA Simple Profiling Library for OCaml
OCaml MIT License UpdatedApr 27, 2026 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Apache License 2.0 UpdatedApr 14, 2026 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedMar 3, 2026 -
qcheck Public
Forked from c-cube/qcheckQuickCheck inspired property-based testing for OCaml.
OCaml BSD 2-Clause "Simplified" License UpdatedFeb 18, 2026 -
grace Public
Forked from johnyob/graceA fancy diagnostics library that allows your compilers to exit with grace
OCaml MIT License UpdatedFeb 11, 2026 -
ocaml-flamegraphs Public
An OCaml library for manipulating and generating Flamegraphs
OCaml BSD 3-Clause "New" or "Revised" License UpdatedFeb 3, 2026 -
-
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedJan 21, 2026 -
ppx_subliner Public
Forked from bn-d/ppx_subliner[@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.
OCaml MIT License UpdatedJan 17, 2026 -
fpcastle.github.io Public
Forked from fpcastle/fpcastle.github.ioA representative FP Castle
HTML Apache License 2.0 UpdatedJan 16, 2026 -
ocaml-dune-promote-action Public
A GitHub action for automatically running dune promote and committing the resulting files
MIT License UpdatedDec 25, 2025 -
charon Public
Forked from AeneasVerif/charonInterface with the rustc compiler for the purpose of program verification
Rust Apache License 2.0 UpdatedDec 16, 2025 -
reuse-tool Public
Forked from fsfe/reuse-toolreuse is a tool for compliance with the REUSE recommendations.
Python UpdatedOct 26, 2025 -
opam-grep Public
Forked from kit-ty-kate/opam-grepScript that greps anything in the sources of every opam packages
OCaml MIT License UpdatedOct 10, 2025 -
-
progress Public
Forked from craigfe/progressProgress bar library for OCaml
OCaml MIT License UpdatedSep 10, 2025 -
-
setup-ocaml Public
Forked from ocaml/setup-ocamlGitHub Action for the OCaml programming language
TypeScript MIT License UpdatedAug 12, 2025
{{ message }}