repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
purescript-spec/purescript-spec | PureScriptJavaScriptMakefile | 133 | 0 | 46 | 0 |
coalton-lang/coalton | Common LispMakefile | 851 | 0 | 54 | 0 |
magmide/magmide | CoqRustOther | 776 | 0 | 12 | 0 |
pointfreeco/swift-tagged | SwiftMakefile | 1.2k | 0 | 60 | 0 |
olshevski/compose-navigation-reimagined | KotlinShell | 478 | 0 | 13 | 0 |
McMasterU/HashedExpression | HaskellCNix | 41 | 0 | 3 | 0 |
stepchowfun/typical | RustTypeScriptOther | 525 | 0 | 9 | 0 |