Repos by yurrriq

yurrriq / repos

137 repos

«12...14»
RepoLanguageStarsRank
yurrriq/dotfiles on GithubdotfilesNix51604
yurrriq/idris-logic on Githubidris-logicIdris8245
yurrriq/parser-combinators on Githubparser-combinatorsAgda6420
yurrriq/exercism on GithubexercismShell5101,329
yurrriq/the-power-of-pi on Githubthe-power-of-piIdris5342
yurrriq/learning-fstar on Githublearning-fstarNix53,337
yurrriq/rust-in-action on Githubrust-in-actionRust563,385
yurrriq/gis on GithubgisIdris5328
yurrriq/knrc on GithubknrcC4161,775
yurrriq/abstract-algebra-pinter on Githubabstract-algebra-pinterTeX416,528