| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| type-challenges/type-challenges | TypeScriptHTMLOther | 36.7k | 0 | 3.9k | 0 |
| imdea-software/htt | CoqMustacheShell | 61 | 0 | 6 | 0 |
| josefs/Gradualizer | ErlangOther | 593 | 0 | 35 | 0 |
| vaticle/typeql | JavaRustStarlark | 199 | 0 | 43 | 0 |
| polytypic/f-omega-mu | OCamlShellOther | 48 | 0 | 1 | 0 |
| cucapra/filament | VerilogRustPython | 56 | 0 | 4 | 0 |
| sdiehl/write-you-a-haskell | HaskellCSSOCaml | 3.3k | -2 | 262 | 0 |