Repos by bagnalla

bagnalla / repos

42 repos

«12...5»
RepoLanguageStarsRank
bagnalla/holyc_mal on Githubholyc_malHolyC1077
bagnalla/sexp-trees on Githubsexp-treesJavaScript9304,182
bagnalla/newton_bevy on Githubnewton_bevyRust839,020
bagnalla/ensemble_detect_adv on Githubensemble_detect_advPython7442,619
bagnalla/ocamlzar on GithubocamlzarOCaml54,629
bagnalla/zar on GithubzarCoq4816
bagnalla/AAL_code on GithubAAL_codeOCaml36,515
bagnalla/AAL on GithubAALJavaScript21,206,655
bagnalla/hakan on GithubhakanC2252,957
bagnalla/PCF on GithubPCFHaskell136,969