Pinned Repositories
eye-of-mirage
WiP image viewer using MirageOS
mirage-examples
Work-in-Progress collection of examples of using MirageOS from OCaml
mirage-framebuffer
Experimental portable bitmap framebuffer graphics for MirageOS
nvlist
Sun/Solaris serialization format library
ocaml-socks
SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
omktorrent
Torrent creation tool written in OCaml
PongOS
Pong, the operating system version
qubes-storage-zfs
ZFS pool storage for VMs in QubesOS
scramlkb
Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras
ocaml-openpgp
WiP: RFC 4880 (OpenPGP) library and utilities in OCaml
cfcs's Repositories
cfcs/PongOS
Pong, the operating system version
cfcs/ofetch
A HTTP client relying solely on the OCaml standard library, for use when bootstrapping opam
cfcs/passmenage
Basic password manager library and command-line application in OCaml
cfcs/mirage-ocra-demo
A demo of RFC 6287 / OCRA using MirageOS on QubesOS
cfcs/omktorrent
Torrent creation tool written in OCaml
cfcs/mirage-framebuffer-audio
This repository is an experimental prototype; nothing in here is currently fit for production.
cfcs/ocaml-cs
My personal wrappers around ocaml-cstruct
cfcs/ocaml-pbkdf
Password based key derivation functions from PKCS#5, RFC 2898
cfcs/ocaml-poly1305
MirageOS-friendly bindings to Poly1305 C-stubs from WireGuard
cfcs/gmap
heterogenous Map over a GADT
cfcs/mirage-qubes
This is a development repo for the `guid_pixels` branch which aims to add client support for the `qubes-guid` graphical daemon in dom0 ( https://github.com/QubesOS/qubes-gui-daemon ); the upstream for this repo is https://github.com/talex5/mirage-qubes
cfcs/Callipyge
Curve25519 in OCaml.
cfcs/checkseum
cfcs/crypts-and-camls
cfcs/digestif
Simple hash algorithms in OCaml
cfcs/domain-name
RFC 1035 Internet domain names
cfcs/FrontC
An OCaml library providing a C parser and lexer
cfcs/jackline-gtk
GTK wrapper around the jackline IM client
cfcs/mirage-xen
Xen core platform libraries for MirageOS
cfcs/notty
Declarative terminal graphics for OCaml
cfcs/ocaml-ipaddr
A library for manipulation of IP (and MAC) address representations
cfcs/ocaml-vchan
Pure OCaml implementation of the "vchan" shared-memory communication protocol
cfcs/ocamllint
Detect common errors in OCaml code
cfcs/passphrase-identity
Reproducible OpenSSH Keys
cfcs/ppxlib
Base library and tools for ppx rewriters
cfcs/qubes-app-linux-split-gpg
Qubes component: app-linux-split-gpg
cfcs/qubes-gui-agent-linux
Qubes component: gui-agent-linux
cfcs/qubes-gui-daemon
Qubes component: gui-daemon
cfcs/udns
µDNS - an opinionated Domain Name System (DNS) library
cfcs/xmpp
OCaml based XMPP implementation