- Paris, France
-
18:24
(UTC +02:00) - https://nojb.github.io
-
dune Public
Forked from ocaml/duneA composable build system for OCaml
OCaml MIT License UpdatedSep 26, 2024 -
ocaml Public
Forked from ocaml/ocamlRead-only mirror of INRIA SVN
-
-
-
caml-mode Public
Forked from ocaml/caml-modeEmacs mode to edit OCaml files
Emacs Lisp GNU General Public License v3.0 UpdatedSep 1, 2024 -
obytelib Public
Forked from bvaugon/obytelibOCaml bytecode library tools
OCaml Other UpdatedAug 15, 2024 -
opam-cross-windows Public
Forked from ocaml-cross/opam-cross-windowsAn OCaml cross-toolchain for Windows and several useful libraries
Shell UpdatedJul 26, 2024 -
ppxlib Public
Forked from ocaml-ppx/ppxlibBase library and tools for ppx rewriters
OCaml MIT License UpdatedMay 21, 2024 -
ocp-indent Public
Forked from OCamlPro/ocp-indentIndentation tool for OCaml, to be used from editors like Emacs and Vim.
OCaml Other UpdatedMay 20, 2024 -
down Public
Forked from dbuenzli/downAn OCaml toplevel (REPL) upgrade
-
ocp-index Public
Forked from OCamlPro/ocp-indexEasy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
OCaml Other UpdatedApr 28, 2024 -
ocamlformat Public
Forked from ocaml-ppx/ocamlformatAuto-formatter for OCaml code
OCaml MIT License UpdatedApr 13, 2024 -
-
mldonkey Public
Forked from ygrek/mldonkeycross-platform multi-network p2p daemon
OCaml Other UpdatedJan 10, 2024 -
-
-
-
A textbook on informal homotopy type theory
TeX UpdatedSep 5, 2023 -
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
OCaml Other UpdatedJul 27, 2023 -
-
craftinginterpreters Public
Forked from munificent/craftinginterpretersRepository for the book "Crafting Interpreters"
HTML Other UpdatedJun 1, 2023 -
-
-
ocaml-lsp Public
Forked from ocaml/ocaml-lspOCaml Language Server Protocol implementation
OCaml Other UpdatedMay 3, 2023 -
camllight Public
Forked from camllight/camllightThe Caml Light implementation of the Caml language
-
-
-
-
-