Kate

labrys. A toy language based on LLVM that implements the System Fω type-system

ocaml-monomorphic. A small library used to shadow polymorphic operators (and functions) contained in the stdlib.

opam-grep. Script that greps anything in the sources of every opam packages

mastodon-archive-viewer. View your Mastodon archive offline

opam-build. Experimental opam plugin

waylaunch. A program launcher for Wayland

mirage-torrent. WIP

opam-alpha-repository. A test opam overlay containing packages compatible with the next release of the OCaml compiler

ocamldap. Ocamldap is an implementation of the Light Weight Directory Access Protocol

ocaml-activitypub. A dedicated ActivityPub/ActivityStreams parser and generator for OCaml

yummy. [unreleased] A parser and generator library for a simple subset of YAML in pure OCaml

spdx_licenses. OCaml

why3. An unofficial mirror of Why3 (http://why3.lri.fr/)

camllzma. OCaml binding to liblzma [EXPERIMENTAL]

ocaml-platform-readiness. Experimental script to keep track of the status of various key OCaml packages

mirage-news. OCaml

mirage-ping. This project ships two MirageOS unikernels to keep track of my server which has a dynamic IP

harrop-minml. Origin: https://groups.google.com/forum/#!msg/fa.caml/i6IgSFX8XkY/4khF8z1V7loJ

ocaml-timeout. WIP

ocamlbuild-pkg. [DEPRECATED] An ocamlbuild plugin that helps packaging softwares

visitors. Mirror of https://gitlab.inria.fr/fpottier/visitors

tsv-tools. A collection of program to edit and view TSV (Tab-separated values) files

otig. Experimental stuff with an experimental ocaml-git

coq-playground. Playing with Coq…

llopt. Just a tiny LLVM-IR optimizer for testing stuff

rldev. A fork of Haeleth's rldev for the Little Busters! Translation Project

mirage-solo5. Solo5 core platform libraries for MirageOS

ocaml-docker-hub. An OCaml library aiming to provide data from hub.docker.com

minimal_http. OCaml

ocaml-lsp. OCaml Language Server Protocol implementation

delimcc. A temporary fork of http://okmij.org/ftp/continuations/implementations.html#caml-shift

ocaml-tar-playground. OCaml

plaintext-server. OCaml

camlbz2. https://gitlab.com/irill/camlbz2

ocaml-release-script. A simple release script using dune-release + opam-publish because dune-release does not work

dotfiles. Moved to https://codeberg.org/kit-ty-kate/dotfiles

lld-playground. Playing with LLD (LLVM native linker)

feed-filter-example. An OCaml example program that allows you to filter atom feeds entries using Syndic