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/mini-os
Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
Language:C6 3 03
talex5/functoria
A DSL to invoke otherworldly functors
Language:OCaml1 1 0
talex5/mirage-clock-test
An implementation of Mirage's CLOCK and TIME types for unit-tests
Language:OCaml1 2 01
talex5/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 microkernel.
Language:C1 3 0
talex5/0install-docker
Dockerfiles for installing 0install on various platforms for testing
1 0
talex5/ansi-parse
Parse ANSI terminal escape codes into usable abstract representation.
Language:OCaml2 0
talex5/capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
Language:C++1 0
talex5/conex-marrakesh
key signing
1 0
talex5/datakit
Connect processes into powerful data pipelines with a simple git-like filesystem interface
Language:OCaml2 0
talex5/docker
Docker - the open-source application container engine
Language:Go1 01
talex5/docker-rune
Build a Docker image of the E intepreter
talex5/dune-test
Just testing Dune...
Language:OCaml2 0
talex5/engine-api
Go libraries providing client and server components compatible with the Docker engine
Language:Go1 0
talex5/libnetwork
Docker Networking
Language:Go2 0
talex5/linuxkit
A toolkit for building secure, portable and lean operating systems for containers
Language:Logos2
talex5/linuxkit-ci
The CI configuration for testing https://github.com/linuxkit/linuxkit
Language:OCaml1 0
talex5/mirage-dev
Development OPAM repository for work-in-progress packages
Language:Shell2 0
talex5/mirage-nat
interface for network address translation intended for use with mirage unikernels
Language:OCaml2 0
talex5/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.
talex5/namespaces
Sane file naming for OCaml projects.
Language:OCaml2 0
talex5/obus
Pure OCaml implementation of the D-Bus protocol
Language:OCaml
talex5/ocaml-9p
An OCaml/Mirage-friendly implementation of the 9P protocol
Language:OCaml
talex5/ocaml-ci-scripts
Skeleton for Travis CI scripts
Language:Shell2 0
talex5/ocaml-conduit
Resolve URIs into communication channels for Async or Lwt
Language:OCaml3 0
talex5/ocaml-redis
Redis bindings for OCaml
Language:OCaml2 0
talex5/ocaml-sha
Ocaml SHA 1 and 2 family implementation using a really fast C implementation
Language:C
talex5/ocurl
OCaml bindings to libcurl
Language:C2 0
talex5/shared-memory-ring
Xen-style shared memory rings
Language:OCaml3 0
talex5/swarmkit
A toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.
Language:Go3 0
talex5/xen-arm-builder
Build an SDcard image for Xen/ARM, for a Cubieboard
Language:Shell3 01