Repos by lurk-lab

lurk-lab / repos

74 repos

«12...8»
RepoLanguageStarsRank
lurk-lab/yatima-lang-alpha on Githubyatima-lang-alphaRust4482,513
lurk-lab/lurk-rs on Githublurk-rsRust4112,683
lurk-lab/neptune on GithubneptuneRust2573,919
lurk-lab/awesome-folding on Githubawesome-foldingunknown24613,242
lurk-lab/yatima on GithubyatimaLean9331
lurk-lab/lurk-lisp on Githublurk-lispCommon Lisp66377
lurk-lab/bellpepper on GithubbellpepperRust6410,652
lurk-lab/arecibo on GithubareciboRust6011,127
lurk-lab/solidity-verifier on Githubsolidity-verifierSolidity56926
lurk-lab/LSpec on GithubLSpecLean3596