cfcs

🐫

#nolibc movement

Pinned Repositories

eye-of-mirage
WiP image viewer using MirageOS
Language:OCaml18 6 02
mirage-examples
Work-in-Progress collection of examples of using MirageOS from OCaml
Language:OCaml23 11 01
mirage-framebuffer
Experimental portable bitmap framebuffer graphics for MirageOS
Language:OCaml17 8 32
nvlist
Sun/Solaris serialization format library
Language:OCaml1 1 00
ocaml-socks
SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
Language:OCaml20 8 57
omktorrent
Torrent creation tool written in OCaml
Language:OCaml5 2 00
PongOS
Pong, the operating system version
Language:OCaml36 4 11
qubes-storage-zfs
ZFS pool storage for VMs in QubesOS
Language:Python3 3 71
scramlkb
Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras
Language:OCaml23 10 24
ocaml-openpgp
WiP: RFC 4880 (OpenPGP) library and utilities in OCaml
Language:OCaml24 9 144

cfcs's Repositories

cfcs/mirage-examples
Work-in-Progress collection of examples of using MirageOS from OCaml
Language:OCaml23 11 01
cfcs/scramlkb
Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras
Language:OCaml23 10 24
cfcs/ocaml-luks
pretty-print a LUKS header
Language:OCaml7 3 0
cfcs/burst
HTTP framework
Language:Python1 2 0
cfcs/ocamelf
ELF-parsing library written in OCaml for OCaml
Language:OCaml1 2 01
cfcs/conex
establish trust in community repositories, cryptographically signed by library authors
Language:OCaml2 0
cfcs/conex-marrakesh
key signing
cfcs/git-remote-gcrypt
PGP-encrypted git remotes
Language:Shell2 0
cfcs/l33tutils
Tools for fighting the p0wer \m/
Language:Shell
cfcs/mirage
MirageOS is a library operating system that constructs unikernels
Language:OCaml
cfcs/mirage-block-xen
Client and server implementations of the xen paravirtualised block driver protocol
Language:OCaml2 0
cfcs/mirage-platform
Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.
Language:OCaml2 0
cfcs/mirage-qubes-skeleton
This is a stripped version of the original, you *probably* want to look at https://github.com/talex5/qubes-mirage-skeleton
Language:OCaml2 1
cfcs/ocaml-crunch
Convert a filesystem into a static OCaml module
Language:OCaml2 0
cfcs/ocaml-cstruct
Map OCaml arrays onto C-like structs
Language:OCaml2 0
cfcs/ocaml-ctypes
Library for binding to C libraries using pure OCaml
Language:OCaml2 0
cfcs/ocaml-nocrypto
Simplest possible crypto to support TLS
Language:OCaml
cfcs/ocaml-otr
Off-the-record (OTR) messaging protocol, purely in OCaml
Language:OCaml
cfcs/ocaml-secret-sharing
Threshold Secret Sharing in OCaml
Language:OCaml2 0
cfcs/ocaml-sodium
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
Language:OCaml
cfcs/ocaml-stdint
Various signed and unsigned integers for OCaml
Language:OCaml2 0
cfcs/ocamlexc
OCaml uncaught exception analyser
Language:OCaml
cfcs/qubes-linux-utils
Qubes component: linux-utils
Language:C2 0
cfcs/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language:OCaml
cfcs/qubes-test-mirage
Scripts I use to test Mirage unikernels on QubesOS
Language:OCaml2 0
cfcs/rawlink
An ocaml library for using BPF/AF_SOCKET in a platform independent way.
Language:OCaml
cfcs/src
Public git conversion mirror of OpenBSD's official cvs src repository.
Language:C2 0
cfcs/tlsclient
TLS client program
Language:OCaml2 0
cfcs/torsocks
Publish old experimental seccomp patch. No active development.
Language:C2 0
cfcs/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Language:OCaml2 0