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/ocaml-socks
SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
cfcs/eye-of-mirage
WiP image viewer using MirageOS
cfcs/mirage-framebuffer
Experimental portable bitmap framebuffer graphics for MirageOS
cfcs/ocaml-xi-rope
xi-editor data structures in OCaml
cfcs/ocaml-punycode
RFC 3492: IDNA Punycode implementation
cfcs/misc
Miscellaneous tools and notes
cfcs/ocaml-elligator2
port of Elligator2 from libmonocypher
cfcs/tlsping
TLS bouncer (that is not written yet)
cfcs/qubes-storage-zfs
ZFS pool storage for VMs in QubesOS
cfcs/ocaml-openpgp
WiP: RFC 4880 (OpenPGP) library and utilities in OCaml
cfcs/hashcat-rulemin
Semi-practical toy project that implements a REPL for a subset of the Hashcat rule language
cfcs/nvlist
Sun/Solaris serialization format library
cfcs/albatross
Albatross: orchestrate and manage MirageOS unikernels with Solo5
cfcs/bencode
Bencode (.torrent file format) reader/writer in OCaml
cfcs/caribou-test
test repo fork of caribou to play with notty, oct 2019
cfcs/eqaf
Constant time equal function to avoid timing attacks in OCaml
cfcs/fiat
Cryptographic primitives taken from Fiat
cfcs/flathead
I am learning OCaml by implementing some Z-machine tools, for fun!
cfcs/hardenedBSD
HardenedBSD development tree.
cfcs/jackline
XMPP client in OCaml
cfcs/lilsumthing
AST rewriting of Python for-loop summations as closed-form Gauss summations
cfcs/mirage-crypto
Cryptographic primitives for MirageOS
cfcs/ocaml-dns
OCaml implementation of the DNS protocol
cfcs/ocaml-imagelib
The imagelib library implements image formats such as PNG or PPM
cfcs/ocaml-tls
TLS in pure OCaml
cfcs/ocaml-tuntap
Bindings to UNIX tuntap facilities
cfcs/qubes-core-admin
Qubes component: core-admin
cfcs/solo5
A sandboxed execution environment for unikernels
cfcs/Verifairy
A Haskell implementation of VerifPal™
cfcs/video