repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
reubenharry/haskell-docs | Haskell | 55 | +1 | 6 | 0 |
scrive/scrive-prelude | HaskellMakefile | 7 | +1 | 0 | 0 |
nix-community/NixNG | NixHaskellShell | 165 | +1 | 10 | 0 |
josephsumabat/static-ls | HaskellNix | 59 | +1 | 7 | 0 |
input-output-hk/cardano-cli | HaskellOther | 10 | +1 | 4 | 0 |
iburzynski/jambhala | HaskellPythonShell | 18 | +1 | 33 | +11 |
anton-k/mig | HaskellMakefile | 51 | +1 | 1 | 0 |
iburzynski/haskell-dojo | HaskellShell | 14 | +1 | 156 | +33 |
input-output-hk/cardano-db-sync | HaskellPLpgSQLNix | 264 | 0 | 153 | 0 |
crytic/echidna | SolidityHaskellOther | 2.3k | 0 | 295 | 0 |
haskell/haskell-language-server | HaskellJavaScriptTypeScript | 2.4k | 0 | 322 | +2 |
kadena-io/chainweb-node | HaskellPactC | 237 | 0 | 91 | 0 |
xmonad/xmonad | HaskellNixShell | 3.1k | 0 | 285 | 0 |
input-output-hk/cardano-wallet | HaskellMarkdownRuby | 726 | 0 | 228 | 0 |
input-output-hk/plutus-pioneer-program | HaskellTypeScriptShell | 1.4k | 0 | 926 | 0 |
dapphub/dapptools | HaskellShellNix | 2k | 0 | 344 | 0 |
input-output-hk/plutus-apps | HaskellNixTypeScript | 304 | 0 | 213 | 0 |
brendanhay/amazonka | Haskell | 577 | 0 | 224 | 0 |
github/semantic | HaskellStarlarkOther | 8.8k | 0 | 505 | 0 |
jtdaugherty/brick | Haskell | 1.5k | 0 | 165 | 0 |
input-output-hk/haskell.nix | NixHaskellOther | 496 | 0 | 226 | 0 |
SimulaVR/Simula | HaskellGDScriptNix | 2.7k | 0 | 85 | 0 |
runtimeverification/haskell-backend | HaskellPythonMakefile | 202 | 0 | 42 | 0 |
sentenai/solr-query | HaskellMakefile | 1 | 0 | 0 | 0 |
seL4/l4v | IsabelleStandard MLHaskell | 470 | 0 | 100 | 0 |