favonia's repositories
cloudflare-ddns
🌟 A small, feature-rich, and robust Cloudflare DDNS updater
ocaml-objdump
🖨️ Printing OCaml Runtime Representations
fork4pr-notty
Declarative terminal graphics for OCaml
agda-unimath
Univalent mathematics in Agda
cubical-experiments
Results of experiments using cubical type theory
fork4pr-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
fork4pr-artifacthub-hub
Find, install and publish Kubernetes packages
fork4pr-build-push-action
GitHub Action to build and push Docker images with Buildx
fork4pr-cloudflare-go
Go library for the Cloudflare v4 API
fork4pr-codacy-coverage-reporter
Multi-language coverage reporter for Codacy
fork4pr-cornelis
agda-mode for neovim
fork4pr-cs3110-textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
fork4pr-gmail-oauth2-tools
Tools and sample code for authenticating to Gmail with OAuth2
fork4pr-keyguard-app
Keyguard is an alternative client for the Bitwarden® platform, created to provide the best user experience possible.
fork4pr-metadata-action
GitHub Action to extract metadata (tags, labels) from Git reference and GitHub events for Docker
fork4pr-msfp-workshop.github.io
MSFP Workshop Website
fork4pr-no_color
Website data for no-color.org
fork4pr-ocaml
The core OCaml system: compilers, runtime system, base libraries
fork4pr-polytt
A type theory with native support for Polynomial Functors.
fork4pr-shoutrrr
Notification library for gophers and their furry friends.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
umn-plseminar.github.io
The plseminar.cs.umn.edu website.