-
omniml Public
A simple ML featuring constraint-based type inference with suspended constraints and overloading
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedMar 25, 2026 -
grace Public
A fancy diagnostics library that allows your compilers to exit with grace
-
aml Public
A simple ML featuring ambivalent types and type-level equalities
OCaml GNU General Public License v3.0 UpdatedMar 17, 2026 -
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedFeb 14, 2026 -
ocaml-RFCs Public
Forked from ocaml/RFCsDesign discussions about the OCaml language
UpdatedDec 19, 2025 -
ppx-matches Public
PPX syntax for Rust's `matches!` in OCaml 🐪
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedOct 12, 2025 -
dromedary Public
Dromedary is an experimental subset of OCaml, using constraint-based type inference!
-
-
typix Public
Forked from loqusion/typixDeterministic Typst compilation with Nix
Nix MIT License UpdatedApr 1, 2025 -
opam2nix Public
Forked from vapourismo/opam-nix-integrationNix integration for OPAM packages
Nix MIT License UpdatedOct 15, 2024 -
hermit-kernel Public
Forked from hermit-os/kernelA Rust-based, lightweight unikernel.
Rust Apache License 2.0 UpdatedAug 4, 2024 -
ocaml-cohttp Public
Forked from mirage/ocaml-cohttpAn OCaml library for HTTP clients and servers using Lwt or Async
OCaml Other UpdatedMay 20, 2024 -
breathalyzer Public
Forked from marigold-dev/breathalyzerA simple test framework for Ligo Lang
LigoLANG MIT License UpdatedMar 28, 2024 -
compbolt Public
An interpreter and compiler explorer for various models of computation
MIT License UpdatedFeb 3, 2024 -
modd Public
Modd is a minimal ML with modes using constraint-based type inference!
-
ocaml-worker Public
OCaml template for Cloudflare Workers 👷♂️🐪
-
landmarks Public
Forked from LexiFi/landmarksA Simple Profiling Library for OCaml
OCaml MIT License UpdatedFeb 11, 2023 -
tsc Public
Bidirectional type checker for TypeScript (in OCaml 🐪)
-
ppx-template Public template
An opinionated GitHub template for OCaml PPX extensions 🐪
-
ppx-effects Public
Forked from craigfe/ppx_effectsPPX syntax for untyped effects in OCaml 5.0
OCaml UpdatedJan 19, 2023 -
eio Public
Forked from ocaml-multicore/eioEffects-based direct-style IO for multicore OCaml
OCaml Other UpdatedDec 27, 2022 -
-
training-dapp-2 Public
Forked from marigold-dev/training-dapp-2Training n°2 for decentralized application
TypeScript UpdatedAug 3, 2022 -
ocaml-optimizer Public
Implementation of various analyses and optimizations on 3-address codes
-
University-Notes Public
A complete collection of my undergraduate notes
-
-
linol Public
Forked from c-cube/linolWrapper around the OCaml `lsp` library to make it easier to write LSP servers
OCaml UpdatedMay 4, 2022
{{ message }}