repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
PostgREST/postgrest | HaskellPLpgSQLNix | 20.3k | +45 | 928 | -1 |
NixOS/nixpkgs | NixShellPython | 11.8k | +43 | 9.5k | +34 |
nix-community/home-manager | NixShellRuby | 3.9k | +41 | 1.2k | +9 |
hadolint/hadolint | HaskellNixShell | 8.4k | +27 | 364 | +1 |
zigtools/zls | ZigNix | 1.4k | +17 | 182 | -2 |
leanprover/lean4 | LeanC++CMake | 2.2k | +17 | 207 | +1 |
vantage-sh/ec2instances.info | MakoPythonJavaScript | 4.3k | +14 | 548 | 0 |
kmonad/kmonad | HaskellC++Nix | 2.6k | +8 | 276 | +2 |
tweag/topiary | OCamlSchemeRust | 135 | +6 | 0 | 0 |
input-output-hk/cardano-node | HaskellShellNix | 2.9k | +5 | 689 | 0 |
status-im/status-mobile | ClojurePythonJava | 3.6k | +5 | 939 | +1 |
pta2002/nixvim | NixPython | 254 | +5 | 38 | +4 |
haskell/haskell-language-server | HaskellJavaScriptTypeScript | 2.3k | +3 | 284 | 0 |
wireapp/wire-server | HaskellHTMLNix | 2.5k | +2 | 349 | +1 |
moergo-sc/glove80-zmk-config | Nix | 9 | +2 | 25 | +5 |
input-output-hk/plutus | HaskellAgdaNix | 1.4k | +1 | 444 | 0 |
witchcrafters/witchcraft | ElixirNix | 1.1k | 0 | 57 | 0 |
hlissner/doom-emacs | Emacs LispYASnippetShell | 16.4k | 0 | 2.9k | 0 |
input-output-hk/cardano-db-sync | HaskellPLpgSQLNix | 245 | 0 | 147 | 0 |
carp-lang/Carp | HaskellCShell | 5.1k | 0 | 169 | 0 |
xmonad/xmonad | HaskellNixShell | 2.9k | 0 | 279 | 0 |
input-output-hk/cardano-wallet | HaskellRubyMarkdown | 697 | 0 | 220 | 0 |
input-output-hk/plutus-pioneer-program | HaskellJavaScriptTypeScript | 1.4k | 0 | 799 | 0 |
dapphub/dapptools | HaskellShellNix | 1.9k | 0 | 320 | 0 |
input-output-hk/plutus-apps | HaskellNixShell | 294 | 0 | 205 | 0 |