New daily trending repos in Haskell

[vitalets]

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

PostgREST / postgrest
REST API for any Postgres database
+9 stars today

clash-lang / clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler

IntersectMBO / cardano-db-sync
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

[github-trending-repos-bot]

New daily trending repos in Haskell!

NixOS / nixfmt
The official (but not yet stable) formatter for Nix code
+1 stars today

haskell / cabal
Official upstream development repository for Cabal and cabal-install
+1 stars today

ghc / ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

[github-trending-repos-bot]

New daily trending repos in Haskell!

commercialhaskell / stack
The Haskell Tool Stack

cardano-foundation / cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

[github-trending-repos-bot]

New daily trending repos in Haskell!

purescript / purescript
A strongly-typed language that compiles to JavaScript
+1 stars today

olivierverdier / zsh-git-prompt
Informative git prompt for zsh

haskell / hackage-server
Hackage-Server: A Haskell Package Repository

[github-trending-repos-bot]

New daily trending repos in Haskell!

simonmichael / hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

[github-trending-repos-bot]

New daily trending repos in Haskell!

augustss / MicroHs
Haskell implemented with combinators

[github-trending-repos-bot]

New daily trending repos in Haskell!

agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
+2 stars today

unisonweb / unison
A friendly programming language from the future
+1 stars today

IntersectMBO / cardano-api
Cardano API

[github-trending-repos-bot]

New daily trending repos in Haskell!

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

xmonad / xmonad-contrib
Contributed modules for xmonad

[github-trending-repos-bot]

New daily trending repos in Haskell!

maralorn / nix-output-monitor
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
+1 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

jgm / pandoc
Universal markup converter
+21 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

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

haskell / haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

[github-trending-repos-bot]

New daily trending repos in Haskell!

fossas / fossa-cli
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
+1 stars today

change-metrics / monocle
Monocle helps teams and individual to better organize daily duties and to detect anomalies in the way changes are produced and reviewed.
+1 stars today

ucsd-progsys / liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types

haskell-suite / haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

GaloisInc / flexdis86
A library for disassembling x86-64 binaries.

[github-trending-repos-bot]

New daily trending repos in Haskell!

simplex-chat / simplexmq
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
+1 stars today

goldfirere / th-desugar
Desugars Template Haskell abstract syntax to a simpler format without changing semantics