cfcs Goto Github PK

albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5

bencode

Bencode (.torrent file format) reader/writer in OCaml

burst

HTTP framework

callipyge

Curve25519 in OCaml.

caribou-test

test repo fork of caribou to play with notty, oct 2019

checkseum

conex

establish trust in community repositories, cryptographically signed by library authors

conex-marrakesh

key signing

crypts-and-camls

digestif

Simple hash algorithms in OCaml

domain-name

RFC 1035 Internet domain names

eqaf

Constant time equal function to avoid timing attacks in OCaml

eye-of-mirage

WiP image viewer using MirageOS

fiat

Cryptographic primitives taken from Fiat

flathead

I am learning OCaml by implementing some Z-machine tools, for fun!

frontc

An OCaml library providing a C parser and lexer

git-remote-gcrypt

PGP-encrypted git remotes

gmap

heterogenous Map over a GADT

hardenedbsd

HardenedBSD development tree.

hashcat-rulemin

Semi-practical toy project that implements a REPL for a subset of the Hashcat rule language

jackline

XMPP client in OCaml

jackline-gtk

GTK wrapper around the jackline IM client

l33tutils

Tools for fighting the p0wer \m/

lilsumthing

AST rewriting of Python for-loop summations as closed-form Gauss summations

mirage

MirageOS is a library operating system that constructs unikernels

mirage-block-xen

Client and server implementations of the xen paravirtualised block driver protocol

mirage-crypto

Cryptographic primitives for MirageOS

mirage-examples

Work-in-Progress collection of examples of using MirageOS from OCaml

mirage-framebuffer

Experimental portable bitmap framebuffer graphics for MirageOS

mirage-framebuffer-audio

This repository is an experimental prototype; nothing in here is currently fit for production.