haskell
Topic

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 (1222)

hastl
hastl eldr-io Haskell

Production ready, modern web-application starter template using haskell and htmx

97
effects
effects stepchowfun Haskell

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

97
FPSheet
FPSheet RKlompUU Haskell

FPSheet: A Spreadsheet program with Haskell as the scripting language

96
computational-algebra
computational-algebra konn HTML

General-Purpose Computer Algebra System as an EDSL in Haskell

95
haskell-capnp
haskell-capnp zenhack Haskell

Cap'n Proto for Haskell

95
nix-tools
nix-tools input-output-hk

Translate Cabals Generic Package Description to a Nix expression

95
one-line-wonders
one-line-wonders wzhouwzhou C

OneLineWondersCode | 1000+ Commits | 279/300 One Liners | 200+ Forks | Actively maintained open-source collection of "one-line" programs performing va...

95
waargonaut
waargonaut haskell-waargonaut Haskell

JSON decoding/encoding/manipulation library.

95
sealchain
sealchain sealchain-project Haskell

Financial blockchain based on cardano-sl

95
hegg
hegg alt-romes Haskell

Fast equality saturation in Haskell

95
libpandoc
libpandoc ShabbyX Haskell

C bindings to Pandoc, a markup converter library written in Haskell.

94
git-brunch
git-brunch andys8 Haskell

Git branch checkout menu

94
packcheck
packcheck composewell Shell

Universal build and CI testing for Haskell packages

94
haskell-report
haskell-report haskell TeX

Haskell Language Report

94
parsing-with-haskell-parser-combinators
parsing-with-haskell-parser-combinators lettier Haskell

🔍 A step-by-step guide to parsing using Haskell parser combinators.

93
macros
macros blackhole89 Haskell

A more powerful C/C++ preprocessor.

93
at
at mvr Haskell

Effective Algebraic Topology in Haskell

93
heckle
heckle 2016rshah Haskell

:black_nib: Jekyll in Haskell (feat. LaTeX)

93
hs-to-coq
hs-to-coq plclub Rocq Prover

Convert Haskell source code to Coq source code.

93
haskell-programming
haskell-programming dwayne Haskell

My notes and solutions to exercises for the book "Haskell Programming from first principles".

93
sudbury
sudbury abooij Haskell

Haskell implementation of the wayland protocol

92
first-class-families
first-class-families Lysxia Haskell

First-class type families

92
web3studio-bootleg
web3studio-bootleg ConsenSysMesh JavaScript

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...

92
Ntha
Ntha swr1bm86 Haskell

The Ntha Programming Language

91
elm-street
elm-street Holmusk Haskell

:deciduous_tree: Crossing the road between Haskell and Elm

91
snowdrift
snowdrift snowdriftcoop Haskell

An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift

91
haskellnews
haskellnews haskellnews Haskell

An aggregation of all online content related to Haskell.

91
quipper-language
quipper-language thephoeron Haskell

Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)

91
thock
thock rmehri01 Haskell

⌨️ A modern TUI typing game featuring online racing against friends.

90
missingh
missingh haskell-hvr Haskell

Utility library [Haskell]

90
hs-gauge
hs-gauge vincenthz Haskell

Lean Haskell Benchmarking

90
improviz
improviz rumblesan Haskell

DEPRECATED: A live-coded visual performance tool

90
FractalArt
FractalArt TomSmeets Haskell

Generate colorful wallpapers!

89
type-signature-com
type-signature-com andys8 PureScript

Who Wants to Be a Millionaire - but with types

89
haskellweekly.github.io
haskellweekly.github.io haskellweekly HTML

A free weekly newsletter about the Haskell programming language.

89
ki
ki awkward-squad Haskell

A structured concurrency library

89
porcupine
porcupine YPares Haskell

Express parametrable, composable and portable data pipelines

88
malc
malc sjsyrek Python

Make a lambda calculus.

87
monaba
monaba ahushh Haskell

Imageboard engine written in Haskell and powered by Yesod

87
lambdacube-compiler
lambdacube-compiler lambdacube3d Haskell

LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:

87
Lecturas_GLC
Lecturas_GLC jaalonso

Readings on computational logic, interactive theorem proving and functional programming.

87
miso-lynx
miso-lynx haskell-miso Haskell

:ramen: 🐈 A tasty Haskell mobile framework

87
yaya
yaya sellout Haskell

Yet another yet another recursion scheme library in Haskell.

87
makeMistakesToLearnHaskell
makeMistakesToLearnHaskell haskell-jp Haskell

Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門

87
matplotlib-haskell
matplotlib-haskell abarbu Haskell

Haskell bindings for Python's Matplotlib

86
funblog
funblog agrafix Haskell

A simple blog software written in Haskell

86
zip
zip mrkkrp Haskell

Efficient library for manipulating zip archives

85
llvm-hs-kaleidoscope
llvm-hs-kaleidoscope llvm-hs Haskell

Kaleidoscope Tutorial using llvm-hs

85
awesome-fp-jobs
awesome-fp-jobs ad-si Nix

A curated list of awesome functional programming jobs.

85
Kt2Dart
Kt2Dart ice1000 Haskell

:flashlight: [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

85