Thomas Leonard

icon indicating a website link https://roscidus.com/blog/

Results 8 repositories owned by Thomas Leonard

cuekeeper

288
Stars
23
Forks
Watchers

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

verified publisher icon talex5

ocaml-wayland

70
Stars
4
Forks
Watchers

Pure OCaml Wayland protocol implementation

verified publisher icon talex5

get-activity

18
Stars
5
Forks
Watchers

collect activity and format as markdown for a journal

verified publisher icon talex5

irmin-indexeddb

36
Stars
9
Forks
Watchers

An Irmin backend for a web browser's IndexedDB store

verified publisher icon talex5

irmin-js

31
Stars
2
Forks
Watchers

Javascript bindings for Irmin

verified publisher icon talex5

js-skeleton

25
Stars
5
Forks
Watchers

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

verified publisher icon talex5

mirage-trace-viewer

20
Stars
7
Forks
Watchers

GTK and HTML viewers for mirage-profile trace files

verified publisher icon talex5

spec-vchan

15
Stars
0
Forks
Watchers

A TLA+ specification for the Xen vchan protocol

verified publisher icon talex5