Repos by talex5

talex5 / repos

37 repos

«12...4»
RepoLanguageStarsRank
talex5/cuekeeper on GithubcuekeeperOCaml290128
talex5/wayland-proxy-virtwl on Githubwayland-proxy-virtwlOCaml110350
talex5/ocaml-wayland on Githubocaml-waylandOCaml72520
talex5/irmin-indexeddb on Githubirmin-indexeddbOCaml361,031
talex5/irmin-js on Githubirmin-jsOCaml311,206
talex5/js-skeleton on Githubjs-skeletonOCaml251,505
talex5/mirage-trace-viewer on Githubmirage-trace-viewerOCaml211,738
talex5/get-activity on Githubget-activityOCaml181,937
talex5/spec-vchan on Githubspec-vchanTLA1561
talex5/tla on GithubtlaDockerfile135,457