Pinned Repositories
capnp-rpc
Cap'n Proto RPC implementation
mirage
MirageOS is a library operating system that constructs unikernels
qubes-mirage-firewall
A Mirage firewall VM for QubesOS
eio
Effects-based direct-style IO for multicore OCaml
ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
cuekeeper
Browser-based GTD (TODO list) system. No server needed.
irmin-indexeddb
An Irmin backend for a web browser's IndexedDB store
irmin-js
Javascript bindings for Irmin
ocaml-wayland
Pure OCaml Wayland protocol implementation
wayland-proxy-virtwl
Allow guest VMs to open windows on the host
talex5's Repositories
talex5/lang-tests
A test repository for testing various languages
talex5/openlibm
High quality system independent, open source libm.
talex5/zarith
zarith with fixes for Mirage
talex5/ocaml_lwt.vim
OCaml files for vim, with support for the Lwt syntax extension.
talex5/xen-paratest
Test-case for Xen/ARM
talex5/0env
run a program or shell in the context of a ZeroInstall feed
talex5/net-problem
talex5/ocaml-ctypes
Library for binding to C libraries using pure OCaml
talex5/ocaml-gtk-dynlink
Minimal test for a dynamically-loaded GTK plugin
talex5/ocaml-gtk-lwt
Trivial Lwt + lablgtk for OS X testing
talex5/ocaml-mbr
A simple library for manipulating Master Boot Records
talex5/ocaml-nocrypto
Simplest possible crypto to support TLS
talex5/ocaml-old
Version of OCaml with better binary compatibility
talex5/ocaml-vhd
Read and write .vhd format data
talex5/sam
SERSCIS Access Modeller
talex5/xentropyd
Source of entropy data for VMs