Thomas Leonard (@talex5)
github

talex5

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    634
  • Global Rank 46,912 (Top 2 %)
  • Followers 241
  • Following 43
  • Registered almost 14 years ago
  • Most used languages
    OCaml
         76.2 %
    Makefile     4.8 %
    C
         4.8 %
    Assembly
         4.8 %
    Dockerfile
         4.8 %
    TLA     4.8 %

Top repositories

1

cuekeeper

Browser-based GTD (TODO list) system. No server needed.
OCaml
278
star
2

wayland-proxy-virtwl

Allow guest VMs to open windows on the host
OCaml
73
star
3

ocaml-wayland

Pure OCaml Wayland protocol implementation
OCaml
60
star
4

irmin-indexeddb

An Irmin backend for a web browser's IndexedDB store
OCaml
36
star
5

irmin-js

Javascript bindings for Irmin
OCaml
31
star
6

js-skeleton

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

get-activity

collect activity and format as markdown for a journal
OCaml
18
star
8

mirage-trace-viewer

GTK and HTML viewers for mirage-profile trace files
OCaml
18
star
9

spec-vchan

A TLA+ specification for the Xen vchan protocol
TLA
15
star
10

tla

A Dockerfile for building the TLA+ tools
Dockerfile
11
star
11

async_eio

Run Async code from within Eio
OCaml
11
star
12

qubes-test-mirage

Scripts I use to test Mirage unikernels on QubesOS
OCaml
10
star
13

async-eio-lwt-chimera

Proof-of-concept for Async/Eio/Lwt in one process
Makefile
5
star
14

irmin-www

Irmin-based web server
OCaml
3
star
15

opam-bulk-build-ui

Prototype of possible new UI
OCaml
3
star
16

lang-tests

A test repository for testing various languages
OCaml
2
star
17

zarith

zarith with fixes for Mirage
C
2
star
18

mirage-trace-dump-xen

Dump the CTF trace of a running mirage-xen unikernel
OCaml
2
star
19

xen-paratest

Test-case for Xen/ARM
Assembly
1
star
20

irmin-filer

Irmin demo - offline browser file manager with sync
OCaml
1
star
21

mirage-clock-test

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