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!

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

[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

[github-trending-repos-bot]

New daily trending repos in Haskell!

xmonad / xmonad-contrib
Contributed modules for xmonad

[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

elm / compiler
Compiler for Elm, a functional language for reliable webapps.

[github-trending-repos-bot]

New daily trending repos in Haskell!

jgm / pandoc
Universal markup converter
+15 stars today

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

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

carp-lang / Carp
A statically typed lisp, without a GC, for real-time applications.
+2 stars today

kowainik / learn4haskell
👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

[github-trending-repos-bot]

New daily trending repos in Haskell!

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

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

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

koka-lang / koka
Koka language compiler and interpreter

anoma / juvix
A language for intent-centric and declarative decentralised applications

[github-trending-repos-bot]

New daily trending repos in Haskell!

entropia / tip-toi-reveng
Trying to understand the file format of Tip Toi
+4 stars today

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
+2 stars today

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

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

kmonad / kmonad
An advanced keyboard manager
+3 stars today

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

IntersectMBO / plutus
The Plutus language implementation and tools

runtimeverification / haskell-backend
The symbolic execution engine powering the K Framework

IntersectMBO / ouroboros-network
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

ucsd-progsys / liquidhaskell
Liquid Types For Haskell

[github-trending-repos-bot]

New daily trending repos in Haskell!

mchav / dataframe
An intuitive, dynamically-typed DataFrame library.
+4 stars today

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

commercialhaskell / stack
The Haskell Tool Stack

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!

agda / agda
Agda is a dependently typed programming language / interactive theorem prover.

Yvee1 / hascard
flashcard TUI with markdown cards

[github-trending-repos-bot]

New daily trending repos in Haskell!

olivierverdier / zsh-git-prompt
Informative git prompt for zsh
+1 stars today

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

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
+5 stars today

github / semantic
Parsing, analyzing, and comparing source code across many languages

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

yesodweb / yesod
A RESTful Haskell web framework built on WAI.

[github-trending-repos-bot]

New daily trending repos in Haskell!

system-f / fp-course
Functional Programming Course
+2 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
+4 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).
+2 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

haskell-effectful / effectful
An easy to use, fast extensible effects library with seamless integration with the existing 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

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

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

tweag / ormolu
A formatter for Haskell source code

[github-trending-repos-bot]

New daily trending repos in Haskell!

seanhess / hyperbole
Haskell interactive serverside web framework inspired by HTMX
+2 stars today

crytic / echidna
Ethereum smart contract fuzzer
+2 stars today

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

[github-trending-repos-bot]

New daily trending repos in Haskell!

GaloisInc / what4
Symbolic formula representation and solver interaction library

GaloisInc / macaw
Open source binary analysis tools.

GaloisInc / cryptol
Cryptol: The Language of Cryptography