yomimono's starred repositories
cli-guidelines
A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
llsoftsecbook
Low-Level Software Security for Compiler Developers
ocaml5-tutorial
A hands-on tutorial on the new parallelism features in OCaml 5
gilbraltar
MirageOS on RPi4
ocaml-matrix
Implementation of a matrix server in OCaml for MirageOS
daisy-nfsd
DaisyNFS is an NFS server verified using Dafny and Perennial.
multipart_form
According an other RFC2388...
carbon-intensity
An HTTP client for accessing various carbon intensity APIs
unikernels
MirageOS unikernels
ocaml-charset
Fast char sets
postgres-protocol
IO independent postgres protocol implementation
paper-doll-designer
Choose clothes and accessories and decorate them with code!