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 (1224)
A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
Production ready, modern web-application starter template using haskell and htmx
FPSheet: A Spreadsheet program with Haskell as the scripting language
Financial blockchain based on cardano-sl
JSON decoding/encoding/manipulation library.
Translate Cabals Generic Package Description to a Nix expression
General-Purpose Computer Algebra System as an EDSL in Haskell
Cap'n Proto for Haskell
Fast equality saturation in Haskell
OneLineWondersCode | 1000+ Commits | 279/300 One Liners | 200+ Forks | Actively maintained open-source collection of "one-line" programs performing va...
Universal build and CI testing for Haskell packages
C bindings to Pandoc, a markup converter library written in Haskell.
Git branch checkout menu
My notes and solutions to exercises for the book "Haskell Programming from first principles".
:black_nib: Jekyll in Haskell (feat. LaTeX)
🔍 A step-by-step guide to parsing using Haskell parser combinators.
Haskell Language Report
Effective Algebraic Topology in Haskell
Convert Haskell source code to Coq source code.
A more powerful C/C++ preprocessor.
Haskell implementation of the wayland protocol
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...
First-class type families
Utility library [Haskell]
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
An aggregation of all online content related to Haskell.
An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift
The Ntha Programming Language
:deciduous_tree: Crossing the road between Haskell and Elm
Readings on computational logic, interactive theorem proving and functional programming.
Lean Haskell Benchmarking
Generate colorful wallpapers!
⌨️ A modern TUI typing game featuring online racing against friends.
DEPRECATED: A live-coded visual performance tool
A free weekly newsletter about the Haskell programming language.
Who Wants to Be a Millionaire - but with types
A structured concurrency library
Express parametrable, composable and portable data pipelines
Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門
Imageboard engine written in Haskell and powered by Yesod
Make a lambda calculus.
:ramen: 🐈 A tasty Haskell mobile framework
LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
Yet another yet another recursion scheme library in Haskell.
Haskell bindings for Python's Matplotlib
A curated list of awesome functional programming jobs.
A simple blog software written in Haskell
:flashlight: [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again
Kaleidoscope Tutorial using llvm-hs
Efficient library for manipulating zip archives