Kate's repositories
ocaml-monomorphic
A small library used to shadow polymorphic operators (and functions) contained in the stdlib.
mastodon-archive-viewer
View your Mastodon archive offline
bigarray-compat
Expose Stdlib.Bigarray when possible but try not to break stuff
camlp4
Camlp4 tool
cmdliner
Declarative definition of command line interfaces for OCaml
cohost-timeline-organizer
UserScript PoC for https://help.antisoftware.club/support/discussions/topics/62000183436
containerd
An open and reliable container runtime
curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET and TFTP. libcurl offers a myriad of powerful features
flambda2-opam
OPAM packages etc. for building with the Flambda 2 compiler
headache
Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
mirage-docker-images
MirageOS base images
obus
Pure OCaml implementation of the D-Bus protocol
ocaml-solo5
Freestanding OCaml runtime
opam-bin
Binary packages for OPAM with local and remote repositories
opam-rt
Regression Testing framework for opam
parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
sway
i3-compatible Wayland compositor