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

helloworlds
helloworlds forkingachild Assembly

Hello-World program in most programming languages

105
error-message-index
error-message-index haskellfoundation Haskell

A community-driven collection of documentation for Haskell error messages and warnings

105
importify
importify serokell Haskell

:space_invader: Importi.fy — it's like Uber, but for Haskell modules.

104
stdio
stdio ZHaskell Haskell

Haskell Standard Input and Output

104
ascii-runner
ascii-runner smallhadroncollider Haskell

An infinite runner in your terminal

104
okapi
okapi monadicsystems Haskell

A data-driven micro web framework for Haskell

104
hercules-ci-agent
hercules-ci-agent hercules-ci Haskell

https://hercules-ci.com build and deployment agent

104
nixkell
nixkell pwm Nix

A simple Nix-Haskell skeleton

104
hs-nix-template
hs-nix-template utdemir Nix

A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.

104
mmm
mmm axionbuster Haskell

Minecraft 1.21.4 Server (pure Haskell)

103
fp
fp japiirainen Haskell

A small, weird and unpractical programming language.

103
souffle-haskell
souffle-haskell luc-tielen C++

Haskell bindings for the Souffle datalog language

103
tensor-safe
tensor-safe leopiney Haskell

A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

102
imlazy
imlazy benji6 JavaScript

😴 Functional programming with lazy immutable iterables

102
github-release
github-release tfausak Haskell

:octocat: Upload files to GitHub releases.

102
grokking-monad
grokking-monad jcouyang TeX

购买 :point_right: https://gum.co/grokking-monad 在线阅读 :point_right:

102
blarney
blarney blarney-lang Haskell

Haskell library for hardware description

102
cargo-cabal
cargo-cabal yvan-sraka Rust

A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!

102
wasm-pandoc
wasm-pandoc y-taka-23 JavaScript

Pandoc compiled into WebAssembly by Asterius. 📚

102
gopro
gopro dustin Haskell

Tools for making the most out of GoPro Plus.

102
stm
stm haskell Haskell

Software Transactional Memory

102
dhall-to-cabal
dhall-to-cabal dhall-lang Haskell

Compile Dhall expressions to Cabal files

101
haskell-editor-setup
haskell-editor-setup freeman42x Haskell

Easy instructions for setting up Haskell editors / IDEs on any major operating system.

101
typed-fp-good-reads
typed-fp-good-reads dewey92

📚 List of useful resources to learn typed FP

101
typerep-map
typerep-map kowainik Haskell

⚡️Efficient implementation of Map with types as keys

101
effects
effects stepchowfun Haskell

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

99
uaiso
uaiso ltcmelo C++

A multi-language parsing infrastructure with an unified AST

99
stack2nix
stack2nix input-output-hk Nix

Generate nix expressions for Haskell projects

98
mustache
mustache JustusAdam Haskell

Haskell implementation of mustache templates

98
Iptables_Semantics
Iptables_Semantics diekmann Isabelle

Verified iptables Firewall Ruleset Analysis

97
cacophony
cacophony haskell-cryptography Haskell

A Haskell library implementing the Noise protocol.

97
xcffib
xcffib tych0 Python

xcffib is the XCB binding for Python

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

96
sealchain
sealchain sealchain-project Haskell

Financial blockchain based on cardano-sl

95
FPSheet
FPSheet RKlompUU Haskell

FPSheet: A Spreadsheet program with Haskell as the scripting language

95
haskell-programming
haskell-programming dwayne Haskell

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

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

Translate Cabals Generic Package Description to a Nix expression

95
sdr
sdr adamwalker Haskell

Software defined radio library in Haskell

95
waargonaut
waargonaut haskell-waargonaut Haskell

JSON decoding/encoding/manipulation library.

94
haskell-capnp
haskell-capnp zenhack Haskell

Cap'n Proto for Haskell

94
haskell-docs-cli
haskell-docs-cli lazamar Haskell

Browse Hackage from the terminal

94
Ntha
Ntha swr1bm86 Haskell

The Ntha Programming Language

93
named
named monadfix Haskell

Named parameters (keyword arguments) for Haskell

93
heckle
heckle 2016rshah Haskell

:black_nib: Jekyll in Haskell (feat. LaTeX)

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

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

93
h-raylib
h-raylib Anut-py Haskell

Haskell bindings for raylib

93
unpythonic
unpythonic Technologicat Python

Supercharge your Python with parts of Lisp and Haskell.

93
snowdrift
snowdrift snowdriftcoop Haskell

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

92
haskell-report
haskell-report haskell TeX

Haskell Language Report

92
computational-algebra
computational-algebra konn HTML

General-Purpose Computer Algebra System as an EDSL in Haskell

92