1. | idris-lang / Idris2 | 2492 | |
2024-04-24 | zanzix / idris-neural-net | 20 | |
2023-07-26 | stefan-hoeck / idris2-dom-mvc | 16 | |
2023-04-02 | anoma / research | 20 | |
2023-02-28 | mmhelloworld / idris-jvm | 454 | |
2022-11-05 | Functional Programming in Idris 2 | nerdponx | |
2022-10-30 | jfdm / velo-lang | 4 | |
2022-10-09 | ECburx / Idris2GL | 57 | |
2022-09-28 | anoma / geb | 10 | |
2022-07-08 | mlabs-haskell / plutus-specification-language | 5 | |
2022-07-04 | channable / dbcritic | 156 | |
2022-05-02 | stefan-hoeck / idris2-pack | 96 | |
2022-03-20 | edwinb / Yaffle | 45 | |
2022-03-12 | skyro-compiler / skyro | 21 | |
2022-02-15 | stefan-hoeck / idris2-elab-util | 68 | |
2022-02-14 | idris-lang / Idris2 | 2492 | |
匿名用户只展示最新 100 条榜单历史,更多历史数据请登录后查看,支持时光机按天筛选