github-trending-repos
github-trending-repos copied to clipboard
vitalets
New daily trending repos in Haskell
New daily trending repos in Haskell!
input-output-hk / hydra-poc Proof of concept for the Hydra Head protocol 👷
New daily trending repos in Haskell!
NelosG / fp-tests Haskell homework tests
lucasvreis / organon 🕮 WIP — view and generate static websites from your Org files. Built with focus on being customizable, robust and compatible with org-roam. For an overview of current development, see the link below.
input-output-hk / goblins Genetic Algorithm based randomized testing
New daily trending repos in Haskell!
jtdaugherty / brick A declarative Unix terminal UI library written in Haskell +2 stars today
simplex-chat / simplex-chat SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱! +1 stars today
TobBrandt / vector-instances-collections
New daily trending repos in Haskell!
koka-lang / koka Koka language compiler and interpreter +4 stars today
facebook / duckling Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. +2 stars today
input-output-hk / plutus-pioneer-program +1 stars today
New daily trending repos in Haskell!
lsmor / snake-fury a challenge for Haskell beginners +9 stars today
tweag / haskell-training Material for Haskell training +1 stars today
xmonad / xmonad The core of xmonad, a small but functional ICCCM-compliant tiling window manager +1 stars today
diagrams / diagrams-core Core types and utilities
runtimeverification / haskell-backend The symbolic execution engine powering the K Framework
New daily trending repos in Haskell!
hadolint / hadolint Dockerfile linter, validate inline bash, written in Haskell +15 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. +2 stars today
EmaApps / emanote Spiritual successor to neuron, based on Ema. +1 stars today
periodic / youtube-haskell Haskell YouTube APIs
technogeeky / metamorphic metamorphisms (aka playing with: (fold, (.), unfold)
Simspace / on-error Clearly-delineated error-handling
New daily trending repos in Haskell!
def- / time.gif GIF that always shows the current time in UTC +1 stars today
Liqwid-Labs / plutarch-unit Unit tests for Plutarch
wasp-lang / wasp A programming language that understands what a web app is.
Concordium / concordium-node The main concordium node implementation.
travisbrown / smoothlife A simple version of SmoothLife in Haskell
New daily trending repos in Haskell!
purescript / purescript A strongly-typed language that compiles to JavaScript +3 stars today
erebe / wstunnel Tunneling over websocket protocol - Static binary available +1 stars today
haskell-beginners-2022 / exercises 💻 Exercises for the Haskell Beginners 2022 course +1 stars today
github / semantic Parsing, analyzing, and comparing source code across many languages +1 stars today
google-research / dex-lang Research language for array processing in the Haskell/ML family +1 stars today
matthewbauer / ghc-nix Exploring the options for incremental Haskell builds using Nix
New daily trending repos in Haskell!
input-output-hk / Win32-network Networking library for Windows
input-output-hk / hedgehog-extras
Tarrasch / gawebsite My gatech.edu/~user web site
New daily trending repos in Haskell!
nushio3 / learn-haskell +6 stars today
input-output-hk / cardano-base Code used throughout the Cardano eco-system
TikhonJelvis / Presentations Generating JavaScript presentations from Org-mode files
New daily trending repos in Haskell!
japiirainen / fp A small, weird and unpractical programming language. +14 stars today
haskell / haskell-language-server Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. +1 stars today
input-output-hk / cardano-ledger The ledger implementation and specifications of the Cardano blockchain. +1 stars today
snapframework / io-streams Simple, composable, and easy-to-use stream I/O for Haskell
CardanoSolutions / ogmios ❇️ A WebSocket JSON/RPC bridge for Cardano
serokell / xrefcheck Check cross-references in repository documents
GaloisInc / what4 Symbolic formula representation and solver interaction library
New daily trending repos in Haskell!
PostgREST / postgrest REST API for any Postgres database +7 stars today
digital-asset / daml-finance +1 stars today
agda / agda Agda is a dependently typed programming language / interactive theorem prover. +1 stars today
maxwellsayles / binary-indexed-tree Binary Indexed Trees in Haskell
necrobious / hS3 Haskell S3 Client, forked from http://hackage.haskell.org/package/hS3 to support MD5 validation on upload and removed dependency on MissingH
dapphub / dapptools Dapp, Seth, Hevm, and more
New daily trending repos in Haskell!
elm / compiler Compiler for Elm, a functional language for reliable webapps. +2 stars today
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
input-output-hk / ouroboros-network An implementation of the Ouroboros family of consensus algorithms, with its networking support
Shopify / kubepacity Visualizing kubernetes capacity.
New daily trending repos in Haskell!
koalaman / shellcheck ShellCheck, a static analysis tool for shell scripts +9 stars today
simonmichael / hledger Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. +4 stars today
benwbooth / cleo Beginnings of a parser for a new functional language
New daily trending repos in Haskell!
input-output-hk / typed-protocols
GaloisInc / saw-script The SAW scripting language.
reach-sh / reach-lang Reach: The Safest and Smartest DApp Programming Language
New daily trending repos in Haskell!
luc-tielen / eclair-lang A minimal, fast Datalog implementation in Haskell that compiles to LLVM
input-output-hk / cardano-node The core component that is used to participate in a Cardano decentralised blockchain.
digital-asset / ghc Fork of GHC (https://gitlab.haskell.org/ghc/ghc.git)
New daily trending repos in Haskell!
brendanhay / amazonka A comprehensive Amazon Web Services SDK for Haskell.
GaloisInc / elf-edit The elf-edit library provides a datatype suitable for reading and writing Elf files.
New daily trending repos in Haskell!
system-f / fp-course Functional Programming Course +1 stars today
input-output-hk / cardano-automation
Automation supporting cardano-node development, which is also not dependent on it.
GaloisInc / macaw Open source binary analysis tools.
GaloisInc / flexdis86 A library for disassembling x86-64 binaries.
New daily trending repos in Haskell!
b3nj5m1n / xdg-ninja A shell script which checks your $HOME for unwanted files and directories. +1 stars today
aspiwack / haskell-benign A library for benign effects in Haskell +1 stars today
input-output-hk / cardano-addresses Addresses and mnemonic manipulation & derivations
cachix / cachix Command line client for Nix binary cache hosting:
New daily trending repos in Haskell!
fourmolu / fourmolu A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome! +5 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). +1 stars today
input-output-hk / cardano-db-sync A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
haskell / cabal Official upstream development repository for Cabal and cabal-install
serokell / universum 🌌 Prelude written in @serokell
New daily trending repos in Haskell!
NeuralNine / config-files A collection of my config files. +1 stars today
djoyner / hap-probe-rrd-writer Back-end RRD writer for time-series power usage and environmental data collected from distributed wireless probes.
wireapp / wire-server 🇪🇺 Wire back-end services
input-output-hk / ekg-forward EKG forwarding library
exercism / haskell Exercism exercises in Haskell.
divarvel / hammertime Simple time tracker
New daily trending repos in Haskell!
jgm / pandoc Universal markup converter +6 stars today
kmonad / kmonad An advanced keyboard manager +6 stars today
kowainik / typerep-map ⚡️Efficient implementation of Map with types as keys
New daily trending repos in Haskell!
obsidiansystems / obelisk Functional reactive web and mobile applications, with batteries included. +1 stars today
upenn-cis5520 / 11-transformers
kowainik / summoner 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
apskii / ungadtagger UnGADTagger encapsulates abstraction-from-GADT-tag workflow by utilizing existentials, rank2-types and kind polymorphism.
co-log / co-log 📓 Flexible and configurable modern #Haskell logging framework
New daily trending repos in Haskell!
agda / agda2hs Compiling Agda code to readable Haskell +1 stars today
anoma / juvix An experimental programming language created by Heliax as a first step toward creating more robust and reliable alternatives for formally verified smart contracts than existing languages.
Simspace / avaleryar A logical authorization system
adambaker / euler Project euler
goldfirere / singletons Fake dependent types in Haskell using singletons
cdepillabout / servant-rawm Effectful Raw handler for Servant servers.
New daily trending repos in Haskell!
mwotton / squealgen generate haskell types for Squeal from a running postgresql database.
bitnomial / prometheus Prometheus.io Haskell client.
commercialhaskell / stack The Haskell Tool Stack
New daily trending repos in Haskell!
BartMassey / stratify Haskell intercalate inverse with QuickCheck tests
konn / Yablog Yet another Blog engine written in Haskell powered by yesod.
digital-asset / ex-healthcare-claims-processing Reference DAML application demonstrating a healthcare use case.
seth-brown / describe describe: A Descriptive Statistics Utility
New daily trending repos in Haskell!
tittoassini / notebook Rough and Ready Haskell Notebooks with HLS and VS Code +6 stars today
carp-lang / Carp A statically typed lisp, without a GC, for real-time applications. +1 stars today
digital-asset / ex-bond-issuance Reference DAML application demonstrating a bond issuance use case.
tcsavage / rumex bRainfUck iMproved EXtended - An extended version of the RUM Brainfuck variant, implemented in Haskell
New daily trending repos in Haskell!
NorfairKing / feedback Declarative feedback loop manager +2 stars today
input-output-hk / plutus The Plutus language implementation and tools +1 stars today
input-output-hk / ouroboros-leios Documentation and tools relating to the design and prototyping of Ouroboros Leios
cutsea110 / yesod-pnotify yet another getMessage/setMessage using pnotify jquery plugins
input-output-hk / cardano-wallet HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
New daily trending repos in Haskell!
unisonweb / unison A friendly programming language from the future +7 stars today
monadicsystems / okapi A micro web framework for Haskell based on monadic parsing +2 stars today
jonschoning / espial Espial is an open-source, web-based bookmarking server. +1 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
New daily trending repos in Haskell!
tweag / asterius A Haskell to WebAssembly compiler +2 stars today
olivierverdier / zsh-git-prompt Informative git prompt for zsh
xmonad / xmonad-contrib Contributed modules for xmonad
seL4 / capdl Capability Distribution Language tools for seL4
New daily trending repos in Haskell!
carp-lang / Carp A statically typed lisp, without a GC, for real-time applications.
New daily trending repos in Haskell!
input-output-hk / hydra Implementation of the Hydra Head protocol
New daily trending repos in Haskell!
runtimeverification / haskell-backend The symbolic execution engine powering the K Framework
na-ka-na / algoshs memoir algos finder
New daily trending repos in Haskell!
olivierverdier / zsh-git-prompt Informative git prompt for zsh +1 stars today
kolmodin / binary-arrow Efficient, pure binary decoding using Arrows and ByteStrings in Haskell.
MIMUW-Inf-2002 / JPP_testy Testy do zadań z JPP 2023/24
Tests for tasks from JPP 2023/24
xmonad / xmonad-contrib Contributed modules for xmonad
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
ryantm / nixpkgs-update Updating nixpkgs packages since 2018
New daily trending repos in Haskell!
CardanoSolutions / ogmios ❇️ A WebSocket JSON/RPC bridge for Cardano
New daily trending repos in Haskell!
diku-dk / futhark 💥💻💥 A data-parallel functional programming language +2 stars today
New daily trending repos in Haskell!
jtobin / jtobin.ca Personal website.
divarvel / hammertime Simple time tracker
New daily trending repos in Haskell!
jgm / pandoc Universal markup converter +21 stars today
ekmett / placeholder todo and unimplemented, robustly implemented +1 stars today
New daily trending repos in Haskell!
necrobious / uuid-aeson Aeson types for UUID instances.
haskell / haskell-language-server Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
rzeszut / simple-scheme Simple Scheme interpreter written in Haskell
elliottt / llvm-pretty An llvm pretty printer inspired by the haskell llvm binding
New daily trending repos in Haskell!
scotty-web / scotty Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
GaloisInc / parameterized-utils A set of utilities for using indexed types including containers, equality, and comparison.
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
commercialhaskell / stack The Haskell Tool Stack
New daily trending repos in Haskell!
Agda-zh / PLFA-zh 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
"Programming Language Foundations in Agda: Description of Agda", Programming Language Foundations in Agda Chinese version
New daily trending repos in Haskell!
utdemir / nix-tree Interactively browse dependency graphs of Nix derivations. +5 stars today
konn / Yablog Yet another Blog engine written in Haskell powered by yesod.
mauke / data-default A class for types with a default value
AccelerateHS / accelerate-fft FFT library for Haskell based on the embedded array language Accelerate
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
qnikst / iochan-conduit IO concurrent promitives for conduit
haskell / cabal Official upstream development repository for Cabal and cabal-install
New daily trending repos in Haskell!
kmonad / kmonad An advanced keyboard manager +3 stars today
UnBParadigmas2024-1 / 2024.1_G2_Funcional_Belesminha +1 stars today
benwbooth / cleo Beginnings of a parser for a new functional language
facebook / duckling Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
New daily trending repos in Haskell!
depressed-pho / HsOpenSSL OpenSSL binding for Haskell
IntersectMBO / cardano-api Cardano API
New daily trending repos in Haskell!
cachix / cachix Command line client for Nix binary cache hosting:
New daily trending repos in Haskell!
haskell-suite / haskell-src-exts Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
New daily trending repos in Haskell!
osnr / pinhole ⚪ Falling ball toy. See the future!
akiradeveloper / haskell-is-fun
New daily trending repos in Haskell!
b3nj5m1n / xdg-ninja A shell script which checks your $HOME for unwanted files and directories. +2 stars today
scrive / scrive-prelude This is scrive's common collection of function import we use the most.
New daily trending repos in Haskell!
xmonad / xmonad The core of xmonad, a small but functional ICCCM-compliant tiling window manager +1 stars today
New daily trending repos in Haskell!
hadolint / hadolint Dockerfile linter, validate inline bash, written in Haskell +1 stars today
MercuryTechnologies / slacklinker Slack backlink bot
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.
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 📱! +4 stars today
ad-si / TaskLite The CLI task manager for power users +2 stars today
unisonweb / unison A friendly programming language from the future +2 stars today
pdepjm / 2024-f-repoBase Repositorio base para Funcional (Haskell con Pdepreludat)
remusao / IDF Build vector in feature space based on inverse document frequency
DKISTDC / telescope.hs Process modern astronomical observations in Haskell (FITS, ASDF, WCS)
New daily trending repos in Haskell!
koalaman / shellcheck ShellCheck, a static analysis tool for shell scripts +15 stars today
tree-sitter / haskell-tree-sitter Haskell bindings for tree-sitter +1 stars today
neurallambda / automata generate synthetic data for training finite state machines/pushdown automata/turing machines +1 stars today
brendanhay / amazonka A comprehensive Amazon Web Services SDK for Haskell.
haskell-works / tasty-testmanager
haskell / tokenize Simple tokenizer for English text
New daily trending repos in Haskell!
fluffynukeit / FNIStash Project for manipulating Torchlight 2 stashes
agda / agda Agda is a dependently typed programming language / interactive theorem prover.
agra-uni-bremen / BinSym Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
tusharad / Scotty-Crud Blogging application written in Haskell-Scotty, Blaze-HTML and PostgreSQL.
GaloisInc / macaw Open source binary analysis tools.
GaloisInc / flexdis86 A library for disassembling x86-64 binaries.
New daily trending repos in Haskell!
PostgREST / postgrest REST API for any Postgres database +5 stars today
IntersectMBO / ouroboros-consensus Implementation of a Consensus Layer for the Ouroboros family of protocols
kaaveland / praktisk-haskell Faggruppe for haskell
IntersectMBO / cardano-ledger The ledger implementation and specifications of the Cardano blockchain.
New daily trending repos in Haskell!