#haskell (30 Repositories)
Ranked open-source repositories tagged with #haskell, scored by pull request acceptance likelihood and maintainer engagement velocity.
77.2%
1.2h
30 repositories tagged #haskell
ganeti/ganeti
Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.
JacquesCarette/Drasil
Generate all the things (focusing on research software)
flora-pm/flora-server
A modern package index for the Haskell ecosystem
NixOS/nixfmt
The official formatter for Nix code
haskell/cabal
Official upstream development repository for Cabal and cabal-install
cardano-scaling/hydra
Implementation of the Hydra Head protocol
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
wireapp/wire-server
🇪🇺 Wire back-end services
plaintextaccounting/hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
clash-lang/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
hadolint/hadolint
Dockerfile linter, validate inline bash, written 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.
haskell-servant/servant
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
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
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 📱!
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.
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
halogenandtoast/ArkhamHorror
An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.
PostgREST/postgrest
REST API for any Postgres database
dmjio/miso
:ramen: A tasty Haskell web and mobile framework
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Concordium/concordium-node
The main concordium node implementation.
haskell/haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
dhall-lang/dhall-haskell
Maintainable configuration files
jgm/pandoc
Universal markup converter
tfausak/flow
:droplet: Write more understandable Haskell.
nikita-volkov/hasql
Reliable and fast PostgreSQL driver for Haskell
Novavero-AI/nova-nix
Windows-native Nix evaluator - Haskell for logic, C99 for data. Parser, lazy evaluator, content-addressed store, builder, binary substituter.
neohaskell/NeoHaskell
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.