New weekly trending repos in Haskell

[vitalets]

Subscribe to this issue and stay notified about new weekly trending repos in Haskell.

[github-trending-repos-bot]

New weekly trending repos in Haskell!

koka-lang / koka
Koka language compiler and interpreter
+23 stars this week

agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
+7 stars this week

olivierverdier / zsh-git-prompt
Informative git prompt for zsh
+5 stars this week

[github-trending-repos-bot]

New weekly trending repos in Haskell!

NixOS / nixfmt
The official (but not yet stable) formatter for Nix code
+11 stars this week

[github-trending-repos-bot]

New weekly trending repos in Haskell!

jgm / pandoc
Universal markup converter
+92 stars this week

simplex-chat / simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
+65 stars this week

kmonad / kmonad
An advanced keyboard manager
+27 stars this week

github / semantic
Parsing, analyzing, and comparing source code across many languages
+5 stars this week

haskell / cabal
Official upstream development repository for Cabal and cabal-install
+2 stars this week

[github-trending-repos-bot]

New weekly trending repos in Haskell!

simonmichael / hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
+25 stars this week

hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
+15 stars this week

gren-lang / compiler
Compiler for the Gren programming language
+12 stars this week

b3nj5m1n / xdg-ninja
A shell script which checks your $HOME for unwanted files and directories.
+6 stars this week

[github-trending-repos-bot]

New weekly trending repos in Haskell!

koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
+48 stars this week

PostgREST / postgrest
REST API for any Postgres database
+34 stars this week

unisonweb / unison
A friendly programming language from the future
+17 stars this week

IntersectMBO / cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
+7 stars this week

IntersectMBO / plutus
The Plutus language implementation and tools
+2 stars this week