talex5

Pinned Repositories

capnp-rpc
Cap'n Proto RPC implementation
Language:OCaml110 10 4921
mirage
MirageOS is a library operating system that constructs unikernels
Language:OCaml2.8k 84 504260
qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language:OCaml229 31 9230
eio
Effects-based direct-style IO for multicore OCaml
Language:OCaml659 18 17277
ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
Language:OCaml148 13 5038
cuekeeper
Browser-based GTD (TODO list) system. No server needed.
Language:OCaml309 14 2126
irmin-indexeddb
An Irmin backend for a web browser's IndexedDB store
Language:OCaml33 10 48
irmin-js
Javascript bindings for Irmin
Language:OCaml31 5 22
ocaml-wayland
Pure OCaml Wayland protocol implementation
Language:OCaml85 1 85
wayland-proxy-virtwl
Allow guest VMs to open windows on the host
Language:OCaml160 6 4014

talex5's Repositories

talex5/get-activity
collect activity and format as markdown for a journal
Language:OCaml18 3 17
talex5/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language:OCaml6 3 01
talex5/mirage-trace-dump-xen
Dump the CTF trace of a running mirage-xen unikernel
Language:OCaml2 2 0
talex5/mirage-qubes
Mirage support for writing QubesOS AppVM unikernels
Language:OCaml1 4 0
talex5/mirage-www
Website infrastructure for openmirage.org
Language:JavaScript1 4 01
talex5/ocaml-xenstore
A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
Language:OCaml1 2 0
talex5/0repo
manage a repository of 0install feeds
Language:Python1 0
talex5/alcotest
A lightweight and colourful test framework
Language:OCaml1 0
talex5/cameleer
A Deductive Verification Tool for OCaml Programs
Language:OCaml2 0
talex5/citty
CI in tty
Language:OCaml2 0
talex5/cmdliner
Declarative definition of command line interfaces for OCaml
Language:OCaml2 0
talex5/crowbar
Property fuzzing for OCaml
Language:OCaml
talex5/current_incr
Self-adjusting computations
Language:OCaml2 0
talex5/flow-tests
Just for testing
Language:OCaml3 0
talex5/fmt
OCaml Format pretty-printer combinators
Language:OCaml2 0
talex5/linux
Linux kernel source tree
Language:C1 0
talex5/lwt-dllist
Mutable doubly-linked list with Lwt iterators
talex5/mirage-net-xen
Xen Netfront ethernet device driver for Mirage
Language:OCaml2 0
talex5/mirage-skeleton
Build skeleton and examples of simple Mirage apps
Language:OCaml2 0
talex5/mirage-xen
Xen core platform libraries for MirageOS
Language:OCaml3 0
talex5/obuilder
Experimental "docker build" alternative using btrfs/zfs snapshots
Language:OCaml1 0
talex5/ocaml-cstruct
Map OCaml arrays onto C-like structs
Language:OCaml
talex5/ocaml-hvsock
Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
Language:OCaml1 0
talex5/ocaml-multicore-ci
OCurrent CI for multicore OCaml trees
Language:OCaml2 0
talex5/ocaml-version
Library to parse and enumerate releases of the OCaml compiler
Language:OCaml1 0
talex5/ocurrent-skeleton
A minimal OCurrent pipeline template
talex5/omd
extensible Markdown library and tool in "pure OCaml"
Language:OCaml1 0
talex5/opam-repo-ci
An OCurrent pipeline for testing submissions to opam-repository
talex5/overview
A brief overview of the main CI services
1 0
talex5/qubes-mirage-skeleton
An example Mirage unikernel that runs as a Qubes AppVM
Language:OCaml2 0