Kate's repositories
opam-alpha-repository
A test opam overlay containing packages compatible with the next release of the OCaml compiler
alpine
:earth_africa: `alpine` Docker image for multiple architectures
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
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
obus
Pure OCaml implementation of the D-Bus protocol
ocaml-dockerfile
OCaml interface for creating Dockerfiles
ocaml-solo5
Freestanding OCaml runtime
ocurrent-deployer
A pipeline that deploys unikernels and other services
opam-bin
Binary packages for OPAM with local and remote repositories
opam-detect-constraints
EXPERIMENTAL
opam-rt
Regression Testing framework for opam
opam-source-archives
mirror of precious opam repository packages whose source websites have disappeared
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
stb_truetype
OCaml bindings to stb_truetype, a public domain truetype font rasterizer
sway
i3-compatible Wayland compositor