35 agda 2395 337 Haskell 979 Agda is a dependently typed programming language / interactive theorem prover. 2024-06-02T07:11:51Z 36 haskell-ide-engine 2384 214 Haskell 294 The engine for haskell ide-integration. Not an IDE 2020-12-23T06:21:46Z 37 patat 2340 58 Haskell 15 T...
61 yi 1501 199 Haskell 207 The Haskell-Scriptable Editor 2023-09-23T15:48:10Z 62 niv 1499 74 Haskell 79 Easy dependency management for Nix projects 2024-05-23T09:59:14Z 63 haste-compiler 1447 115 Haskell 63 A GHC-based Haskell to JavaScript compiler 2019-03-17T10:49:58Z ...
61 yi 1502 199 Haskell 207 The Haskell-Scriptable Editor 2023-09-23T15:48:10Z 62 niv 1501 74 Haskell 79 Easy dependency management for Nix projects 2024-05-23T09:59:14Z 63 haste-compiler 1447 115 Haskell 63 A GHC-based Haskell to JavaScript compiler 2019-03-17T10:49:58Z 6...