Repos by lurk-lab

lurk-lab / repos

74 repos

«12...8»
RepoLanguageStarsRank
lurk-lab/yatima-lang-alpha on Githubyatima-lang-alphaRust4482,528
lurk-lab/lurk-rs on Githublurk-rsRust4182,668
lurk-lab/neptune on GithubneptuneRust2593,916
lurk-lab/awesome-folding on Githubawesome-foldingunknown24913,169
lurk-lab/yatima on GithubyatimaLean10628
lurk-lab/lurk-lisp on Githublurk-lispCommon Lisp66377
lurk-lab/bellpepper on GithubbellpepperRust6610,454
lurk-lab/arecibo on GithubareciboRust6210,954
lurk-lab/solidity-verifier on Githubsolidity-verifierSolidity56934
lurk-lab/LSpec on GithubLSpecLean3598