Pinned Repositories
llvm-tiger
A compiler for the Tiger programming language targeting LLVM
ocaml-bt
OCaml BitTorrent library and client
ocaml-dht
OCaml bindings for jech/dht
ocaml-emacs-plugin
A library to write emacs plugins in OCaml
ocaml-gccjit
OCaml bindings for libgccjit
ocaml-imap
Lwt-compatible IMAP4rev1 client library for OCaml
ocaml-maildir
OCaml library to access Maildir folders
ocaml-obj-printer
riscv-ocaml
RISC-V port of the OCaml system
tortuga
An implementation of the Logo programming language in OCaml
nojb's Repositories
nojb/caml-list
nojb/camllight
The Caml Light implementation of the Caml language
nojb/down
An OCaml toplevel (REPL) upgrade
nojb/ocaml
Read-only mirror of INRIA SVN
nojb/agda-imp-meca
nojb/aoc2022
nojb/caml-list-mirror
nojb/caml-mode
Emacs mode to edit OCaml files
nojb/craftinginterpreters
Repository for the book "Crafting Interpreters"
nojb/dune
A composable build system for OCaml
nojb/dune-stubs-redirection-recompilation
nojb/graphics
The Graphics library from OCaml, in a standalone repository
nojb/hott-book
A textbook on informal homotopy type theory
nojb/min-caml
moved from https://sourceforge.net/p/min-caml/code/
nojb/mldonkey
cross-platform multi-network p2p daemon
nojb/mpri-2.4-projet-2023-2024
nojb/nojb
nojb/num
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
nojb/obytelib
OCaml bytecode library tools
nojb/ocaml-lsp
OCaml Language Server Protocol implementation
nojb/ocaml-ts-mode
nojb/ocamlformat
Auto-formatter for OCaml code
nojb/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
nojb/ocp-index
Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
nojb/ocurl
OCaml bindings to libcurl
nojb/opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
nojb/ppxlib
Base library and tools for ppx rewriters
nojb/samuel-teoria-algebraica-de-numeros
nojb/solutions-fulton-algebraic-curves
nojb/spawn
Spawning sub-processes