Repos by talex5

talex5 / repos

37 repos

«12...4»
RepoLanguageStarsRank
talex5/cuekeeper on GithubcuekeeperOCaml289133
talex5/wayland-proxy-virtwl on Githubwayland-proxy-virtwlOCaml103373
talex5/ocaml-wayland on Githubocaml-waylandOCaml70529
talex5/irmin-indexeddb on Githubirmin-indexeddbOCaml361,024
talex5/irmin-js on Githubirmin-jsOCaml311,193
talex5/js-skeleton on Githubjs-skeletonOCaml251,489
talex5/mirage-trace-viewer on Githubmirage-trace-viewerOCaml211,725
talex5/get-activity on Githubget-activityOCaml181,916
talex5/spec-vchan on Githubspec-vchanTLA1462
talex5/tla on GithubtlaDockerfile125,689