AndrasKovacs/elaboration-zoo

Minimal implementations for dependent type checking and elaboration

HaskellAgda
This is stars and forks stats for /AndrasKovacs/elaboration-zoo repository. As of 03 May, 2024 this repository has 517 stars and 30 forks.

Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
simonmar/ghc-pathsHaskell100180
PaulVisschers/algebraHaskell0000
Mikolaj/miniutterHaskell4010
batterseapower/test-frameworkHaskellShell830450
objectionary/try-phiHaskellPureScriptTypeScript13030
anton-k/handle-pattern-servant-appHaskellJavaScriptMakefile14010
input-output-hk/cardano-shellHaskellTLANix300130
input-output-hk/cardano-report-serverHaskellNix2090
input-output-hk/smashHaskellNixPLpgSQL36070
input-output-hk/cardano-explorerHaskellNixPLpgSQL200140