haskell
Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you don't have to declare them), lazy (nothing is done until it needs to be) language.
Repositories (1241)
A bidirectional DSL for describing HTTP servers.
A small, weird and unpractical programming language.
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
Haskell implementation of mustache templates
ニコニコ大百科とピクシブ百科事典の共通部分のIME辞書
📚 List of useful resources to learn typed FP
⚡️Efficient implementation of Map with types as keys
Generate nix expressions for Haskell projects
Easy instructions for setting up Haskell editors / IDEs on any major operating system.
Verified iptables Firewall Ruleset Analysis
A more powerful C/C++ preprocessor.
Production ready, modern web-application starter template using haskell and htmx
A multi-language parsing infrastructure with an unified AST
Named parameters (keyword arguments) for Haskell
Fast equality saturation in Haskell
Software defined radio library in Haskell
A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
FPSheet: A Spreadsheet program with Haskell as the scripting language
JSON decoding/encoding/manipulation library.
Git branch checkout menu
Convert Haskell source code to Coq source code.
General-Purpose Computer Algebra System as an EDSL in Haskell
Cap'n Proto for Haskell
Financial blockchain based on cardano-sl
OneLineWondersCode | 1000+ Commits | 279/300 One Liners | 200+ Forks | Actively maintained open-source collection of "one-line" programs performing va...
Translate Cabals Generic Package Description to a Nix expression
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
C bindings to Pandoc, a markup converter library written in Haskell.
Haskell implementation of the wayland protocol
🔍 A step-by-step guide to parsing using Haskell parser combinators.
First-class type families
Haskell Language Report
A curated list of awesome functional programming jobs.
Readings on computational logic, interactive theorem proving and functional programming.
Universal build and CI testing for Haskell packages
Effective Algebraic Topology in Haskell
My notes and solutions to exercises for the book "Haskell Programming from first principles".
:black_nib: Jekyll in Haskell (feat. LaTeX)
The Shared Royalty Non-Fungible Token (a.k.a Bootleg) is an open source project started by the ConsenSys Web3Studio team. The purpose of the Shared R...
:deciduous_tree: Crossing the road between Haskell and Elm
An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift
A structured concurrency library
Generate colorful wallpapers!
The Ntha Programming Language
Utility library [Haskell]
An aggregation of all online content related to Haskell.
⌨️ A modern TUI typing game featuring online racing against friends.
Express parametrable, composable and portable data pipelines
Lean Haskell Benchmarking
DEPRECATED: A live-coded visual performance tool