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!

haskell / aeson
A fast Haskell JSON library

nix-community / nix-vscode-extensions
Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]

[github-trending-repos-bot]

New daily trending repos in Haskell!

koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
+10 stars today

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

IntersectMBO / cardano-api
Cardano API

[github-trending-repos-bot]

New daily trending repos in Haskell!

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 📱!
+11 stars today

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

fosskers / aura
A multilingual package manager for Arch Linux and the AUR.

[github-trending-repos-bot]

New daily trending repos in Haskell!

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

unisonweb / unison
A friendly programming language from the future

[github-trending-repos-bot]

New daily trending repos in Haskell!

wireapp / wire-server
🇪🇺 Wire back-end services
+1 stars today

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

ucsd-progsys / liquidhaskell
Liquid Types For Haskell

[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.
+1 stars today

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!

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

utdemir / nix-tree
Interactively browse dependency graphs of Nix derivations.
+1 stars today

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

composewell / streamly
High performance, concurrent functional programming abstractions

[github-trending-repos-bot]

New daily trending repos in Haskell!

IntersectMBO / cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.

[github-trending-repos-bot]

New daily trending repos in Haskell!

jgm / pandoc
Universal markup converter
+11 stars today

barrucadu / dejafu
Systematic concurrency testing meets Haskell.

[github-trending-repos-bot]

New daily trending repos in Haskell!

digitallyinduced / ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
+1 stars today

reflex-frp / reflex
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

xmonad / xmonad-contrib
Contributed modules for xmonad

IntersectMBO / ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols

[github-trending-repos-bot]

New daily trending repos in Haskell!

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!

elm / compiler
Compiler for Elm, a functional language for reliable webapps.
+2 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

Copilot-Language / copilot
A stream-based runtime-verification framework for generating hard real-time C code.
+3 stars today

GaloisInc / what4
Symbolic formula representation and solver interaction library
+2 stars today

xmonad / xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager

GaloisInc / parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.

[github-trending-repos-bot]

New daily trending repos in Haskell!

kmonad / kmonad
An advanced keyboard manager
+4 stars today

diku-dk / futhark
💥💻💥 A data-parallel functional programming language
+3 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

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

Gabriella439 / nix-diff
Explain why two Nix derivations differ

purescript / purescript
A strongly-typed language that compiles to JavaScript

[github-trending-repos-bot]

New daily trending repos in Haskell!

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).
+3 stars today

commercialhaskell / stack
The Haskell Tool Stack
+2 stars today

augustss / MicroHs
Haskell implemented with combinators
+1 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

google / proto-lens
API for protocol buffers using modern Haskell language and library patterns.

[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.

[github-trending-repos-bot]

New daily trending repos in Haskell!

flora-pm / flora-server
A package index for the Haskell ecosystem

[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.
+1 stars today

jaspervdj / patat
Terminal-based presentations using Pandoc
+1 stars today

haskell / cabal
Official upstream development repository for Cabal and cabal-install

[github-trending-repos-bot]

New daily trending repos in Haskell!

crytic / echidna
Ethereum smart contract fuzzer
+2 stars today

hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell

koka-lang / koka
Koka language compiler and interpreter