Repos by talex5

talex5 / repos

37 repos

«1234»
RepoLanguageStarsRank
talex5/async_eio on Githubasync_eioOCaml122,581
talex5/qubes-test-mirage on Githubqubes-test-mirageOCaml103,090
talex5/async-eio-lwt-chimera on Githubasync-eio-lwt-chimeraMakefile67,119
talex5/opam-bulk-build-ui on Githubopam-bulk-build-uiOCaml36,828
talex5/irmin-www on Githubirmin-wwwOCaml36,810
talex5/lang-tests on Githublang-testsOCaml28,718
talex5/zarith on GithubzarithC2279,895
talex5/mirage-trace-dump-xen on Githubmirage-trace-dump-xenOCaml27,611
talex5/xen-paratest on Githubxen-paratestAssembly131,224
talex5/irmin-filer on Githubirmin-filerOCaml112,278