Discover @talex5 Open Source projects

Thomas Leonard (@talex5)

talex5

Stars
634
Global Rank 46,600 (Top 2 %)
Followers 241
Following 43
Registered over 13 years ago
Most used languages

OCaml
76.2 %

Makefile 4.8 %

TLA 4.8 %

C
4.8 %

Assembly
4.8 %

Dockerfile
4.8 %

cuekeeper

Browser-based GTD (TODO list) system. No server needed.

wayland-proxy-virtwl

Allow guest VMs to open windows on the host

ocaml-wayland

Pure OCaml Wayland protocol implementation

irmin-indexeddb

An Irmin backend for a web browser's IndexedDB store

irmin-js

Javascript bindings for Irmin

js-skeleton

sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`

get-activity

collect activity and format as markdown for a journal

mirage-trace-viewer

GTK and HTML viewers for mirage-profile trace files

spec-vchan

A TLA+ specification for the Xen vchan protocol

tla

A Dockerfile for building the TLA+ tools

async_eio

Run Async code from within Eio

qubes-test-mirage

Scripts I use to test Mirage unikernels on QubesOS

async-eio-lwt-chimera

Proof-of-concept for Async/Eio/Lwt in one process

irmin-www

Irmin-based web server

opam-bulk-build-ui

Prototype of possible new UI

lang-tests

A test repository for testing various languages

zarith

zarith with fixes for Mirage

mirage-trace-dump-xen

Dump the CTF trace of a running mirage-xen unikernel

xen-paratest

Test-case for Xen/ARM

irmin-filer

Irmin demo - offline browser file manager with sync

mirage-clock-test

An implementation of Mirage's CLOCK and TIME types for unit-tests