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

book-real-world-haskell
book-real-world-haskell wkoszek Shell

Source code examples from Real World Haskell book

53
demonstration-gsd
demonstration-gsd Eventuria Haskell

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

53
greek-grammar
greek-grammar scott-fleischman Agda

Modeling Ancient Greek Grammar

53
leancheck
leancheck rudymatela Haskell

enumerative property-based testing for Haskell

53
category-theory-for-programmers
category-theory-for-programmers alstn2468 TypeScript

🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚

53
keelung
keelung btq-ag Haskell

The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for...

53
lsm-tree
lsm-tree IntersectMBO Haskell

A Haskell library for on-disk tables based on LSM-Trees

53
Dumb
Dumb giovanifss Haskell

Dumain Bruteforcer - a fast and flexible domain bruteforcer

52
unpacked-containers
unpacked-containers ekmett Haskell

Unpacked containers using backpack

52
vim-hindent
vim-hindent alx741 Vim script

Vim Haskell Hindent integration plugin

52
Julio
Julio dmjio Nix

Julia embedded in Haskell

52
super-hacker
super-hacker briandowns Go

SuperHacker is the ultimate utility to make you look like a hacker.

52
minio-hs
minio-hs minio Haskell

MinIO Client SDK for Haskell

52
antlr-haskell
antlr-haskell cronburg Haskell

A language parsing quasiquoter for Haskell based heavily on ANTLR4.

52
asciidoc-hs
asciidoc-hs gmarpons Haskell

AsciiDoc parser that can be used as a Pandoc front-end, written in Haskell

52
cofree-bot
cofree-bot cofree-coffee Haskell

A library for building bots compositionally.

52
haskell-obj-c
haskell-obj-c iand675 Haskell

Write Mac apps entirely in Haskell

52
hs-temporal-sdk
hs-temporal-sdk MercuryTechnologies Haskell

Unofficial Temporal Haskell SDK

52
pcre-heavy
pcre-heavy valpackett

A Haskell regular expressions library that doesn't suck | now on https://codeberg.org/valpackett/pcre-heavy

51
th-tutorial
th-tutorial dfithian Haskell

Template Haskell Workshop

51
madlang
madlang vmchale Haskell

Madlang is a language for generative literature

51
lazyboy
lazyboy ix Haskell

An EDSL implemented in Haskell for programming the Nintendo Game Boy.

51
one-liner
one-liner sjoerdvisscher Haskell

Constraint-based generics

51
fernery
fernery two-twelve Haskell

A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems

51
google-translate
google-translate dmjio Haskell

:secret: Google Translate API

50
o-clock
o-clock serokell Haskell

:hourglass: Type-safe time units in Haskell

50
keera-posture
keera-posture keera-studios Haskell

Alleviate your back pain using Haskell and a webcam

50
riak-haskell-client
riak-haskell-client riak-haskell-client Haskell

A fast Haskell client library for the Riak decentralized data store

50
hs-time-script
hs-time-script aiya000 Haskell

Time script = Vim script + static typing

50
monkey-hs
monkey-hs hatashiro Haskell

An interpreter for Monkey with parser combinator written in Haskell

50
headroom
headroom vaclavsvejcar Haskell

©️ Manager for license headers in source code files.

50
uptop
uptop ldgrp Haskell

A terminal client for Up Bank written in Haskell ⚡.

50
hackertyper
hackertyper fgaz Haskell

"Hack" like a programmer in movies and games! Inspired by hackertyper.net

50
SMCDEL
SMCDEL jrclogic Haskell

A symbolic model checker for Dynamic Epistemic Logic.

50
hermes
hermes velveteer Haskell

A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library

50
backerei
backerei cryptiumlabs Nix

Automated reward payment & account management for Tezos bakers.

49
stackage2nix
stackage2nix typeable Nix

Generate Nix build instructions from a Stack file

49
haskell-ddd
haskell-ddd campezzi Haskell

Random DDD related things in Haskell

49
clash-spaceinvaders
clash-spaceinvaders gergoerdi Tcl

Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH

49
IdrisTddNotes
IdrisTddNotes rpeszek Haskell

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

49
domain
domain nikita-volkov Haskell

Focused domain model declaration toolkit for Haskell

49
errata
errata 1Computer1 Haskell

Source code error pretty printing

49
notes
notes sabertazimi TypeScript

:bookmark: Personal notes: today I learned

49
ghcaniuse
ghcaniuse damianfral Haskell

GHC language extensions table

49
GNOLL
GNOLL ianfhunter Python

GNOLL is an efficient dice notation parser for multiple programming languages that supports a wide set of dice notation

49
stamina.hs
stamina.hs cachix Haskell

Retrying for humans using Haskell.

49
end
end lucalabs-de Haskell

Lightweight notification daemon displaying notifications as EWW widgets

49
extensions
extensions kowainik Haskell

👅 Parse Haskell Language Extensions

48
knit
knit pkamenarsky Haskell

Ties the knot on data structures that reference each other by unique keys

48
haskell-libui
haskell-libui beijaflor-io Haskell

Haskell bindings to the libui C library.

48