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

putting-lenses-to-work
putting-lenses-to-work jwiegley Haskell

A presentation for BayHac 2017 on how I uses lenses at work

77
validation-selective
validation-selective kowainik Haskell

๐Ÿ’‚โ€โ™‚๏ธ Lightweight pure validation based on Applicative and Selective functors

77
hit-on
hit-on kowainik Haskell

:octocat: Kowainik Git Workflow Helper Tool

76
polyglot-euler
polyglot-euler FrankKair Elixir

๐Ÿ“œ Project Euler solutions in various programming languages

76
grisette
grisette lsrcz Haskell

A monadic library for symbolic evaluation

76
command-line-tweeter
command-line-tweeter vmchale Haskell

Tweets in from a pipe

75
servant-checked-exceptions
servant-checked-exceptions cdepillabout Haskell

type-level errors for Servant APIs.

75
timi
timi bollu Rust

A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages

75
scientific
scientific basvandijk Haskell

Arbitrary-precision floating-point numbers represented using scientific notation

75
tokenomia
tokenomia smart-chain-fr Haskell

Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is...

75
24-days-of-syntactic-witchery
24-days-of-syntactic-witchery zudov

Aligning characters for fun and profit, with Haskell and PureScript

74
ghci-color
ghci-color rhysd PowerShell

colorize ghci output

74
lazy-lambda
lazy-lambda mchakravarty Haskell

Lazy Lambda โ€” a Flappy Bird clone in Haskell with SpriteKit

74
hArduino
hArduino LeventErkok Haskell

Control your Arduino board from Haskell, using the Firmata protocol

74
shellmet
shellmet kowainik Haskell

๐Ÿš Out of the shell solution for scripting in Haskell

74
policeman
policeman kowainik Haskell

๐Ÿ‘ฎ Haskell PVP adviser

74
sync.soccer
sync.soccer huffyhenry Haskell

Synchronise event and tracking data using dynamic programming

74
filepath
filepath haskell Haskell

Haskell FilePath core library

74
atlas
atlas geniusyield Haskell

Application backend for Plutus smart contracts on Cardano

74
cabal-gild
cabal-gild tfausak Haskell

:crown: Format Haskell package descriptions.

74
chips
chips xtendo-org Haskell

A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell

73
haskell-tetris
haskell-tetris hauxir Haskell

Tetris game written in Haskell using ncurses

73
ghc-exactprint
ghc-exactprint alanz Haskell

GHC version of haskell-src-exts exactPrint

73
sandwich
sandwich codedownio Haskell

Yet another test framework for Haskell.

73
mikrokosmos
mikrokosmos mroman42 Haskell

(ฮป) Educational lambda calculus interpreter

73
karya
karya elaforge Haskell

music sequencer and generalized notation

73
dr-cabal
dr-cabal chshersh Haskell

๐Ÿ“Š Haskell dependencies build times profiler

73
apple
apple vmchale Jupyter Notebook

Apple array system

73
twain
twain alexmingoia Haskell

Tiny web application framework for WAI.

73
language-haskell
language-haskell atom-haskell CoffeeScript

Haskell language support for Atom

72
suavemente
suavemente isovector Haskell

:dancer: an applicative functor that seamlessly talks to HTML inputs

72
prolens
prolens kowainik Haskell

๐Ÿ‘“ Profunctor based lightweight implementation of Lenses

72
lambda-launcher
lambda-launcher balsoft Haskell

Application launcher in haskell. Mostly Just For Fun.

72
unfog.vim
unfog.vim soywod Vim Script

โฑ Vim plugin for Unfog CLI task & time manager.

72
hastatic
hastatic abhin4v Shell

hastatic is a tiny static content web server for Docker

72
lazy_evaluation
lazy_evaluation takenobu-hs

haskell lazy evaluation illustrated

72
discrete-mathematics
discrete-mathematics ryukinix Haskell

A computational way to study discrete mathematics using Haskell

72
xmonad-config
xmonad-config randomthought Haskell

xmonad config

72
colourista
colourista kowainik Haskell

โ€Ž๏ธโ€๐ŸŒˆ Convenient interface for printing colourful messages

72
mithril
mithril input-output-hk Rust

Stake-based threshold multi-signatures protocol

72
smuggler
smuggler kowainik Haskell

๐Ÿšฃ Smuggle all imports

71
starlight
starlight robrix Haskell

spaceships in space

71
essence-of-live-coding
essence-of-live-coding turion Haskell

Universal Live Coding & Functional Reactive Programming Framework

71
PyF
PyF guibou Haskell

Haskell QuasiQuoter for String Formatting

71
tiny-wlhs
tiny-wlhs l-Shane-l C

A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the TinyWL refere...

71
learn-me-a-haskell
learn-me-a-haskell i-am-tom Haskell

Trying to get back all the stuff I had in JavaScript.

70
lambdacube-quake3
lambdacube-quake3 lambdacube3d Haskell

Quake 3 map viewer in Haskell using LambdaCube 3D

70
Dive_into_Haskell
Dive_into_Haskell politrons Haskell

Dive into Haskell: Examples of all features of this Pure Functional programing language

70
modern-uri
modern-uri mrkkrp Haskell

Modern library for working with URIs

70
neskell
neskell blitzcode Assembly

A Haskell 6502 Emulator

70