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)

ghc-dump
ghc-dump bgamari Haskell

A GHC plugin and library for analysing GHC Core

55
SMCDEL
SMCDEL jrclogic Haskell

A symbolic model checker for Dynamic Epistemic Logic.

55
neos
neos i42output C++

Language agnostic scripting engine with a custom bytecode JIT

55
tricorder
tricorder tweag Haskell

Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).

55
haskell-book-readers-exercises
haskell-book-readers-exercises CarlosMChica

Exercises from the readers of the Haskell Book

54
vim-hindent
vim-hindent alx741 Vim Script

Vim Haskell Hindent integration plugin

54
marvin
marvin JustusAdam Haskell

The paranoid bot (framework)

54
HsYAML
HsYAML haskell-hvr Haskell

YAML 1.2 implementation in pure Haskell

54
minio-hs
minio-hs minio Haskell

MinIO Client SDK for Haskell

54
haskell-realworld-example
haskell-realworld-example unliftedq Haskell

A Haskell implementation of realworld.io

54
telescope_hoogle
telescope_hoogle luc-tielen Lua

Hoogle search integration for Telescope

54
openai-hs
openai-hs agrafix Haskell

Unofficial OpenAI Haskell Bindings

54
io-sim
io-sim IntersectMBO Haskell

Haskell's IO simulator which closely follows core packages (base, async, stm).

54
category-theory-for-programmers
category-theory-for-programmers alstn2468 TypeScript

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

54
FuNes
FuNes Arthi-chaud Haskell

A experimental NES emulator written in Haskell

54
language-puppet
language-puppet bartavelle Haskell

A library to work with Puppet manifests, test them and eventually replace everything ruby.

53
easy-hls-nix
easy-hls-nix jkachmar Nix

Easy Haskell Language Server tooling with Nix!

53
openage-masterserver
openage-masterserver SFTtech Haskell

Lobby and matchmaking server for openage in Haskell

53
demonstration-gsd
demonstration-gsd Eventuria Haskell

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

53
leancheck
leancheck rudymatela Haskell

enumerative property-based testing for Haskell

53
asciidoc-hs
asciidoc-hs gmarpons Haskell

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

53
cofree-bot
cofree-bot cofree-coffee Haskell

A library for building bots compositionally.

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
haskell-obj-c
haskell-obj-c iand675 Haskell

Write Mac apps entirely in Haskell

53
lsm-tree
lsm-tree IntersectMBO Haskell

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

53
unpacked-containers
unpacked-containers ekmett Haskell

Unpacked containers using backpack

52
super-hacker
super-hacker briandowns Go

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

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

Source code examples from Real World Haskell book

52
antlr-haskell
antlr-haskell cronburg Haskell

A language parsing quasiquoter for Haskell based heavily on ANTLR4.

52
fernery
fernery two-twelve Haskell

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

52
timeout
timeout aisk Haskell

A standalone implementation of the timeout command.

52
Dumb
Dumb giovanifss Haskell

Dumain Bruteforcer - a fast and flexible domain bruteforcer

51
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
riak-haskell-client
riak-haskell-client riak-haskell-client Haskell

A fast Haskell client library for the Riak decentralized data store

51
Julio
Julio dmjio Nix

Julia embedded in Haskell

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
hermes
hermes velveteer Haskell

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

51
GNOLL
GNOLL ianfhunter Python

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

51
end
end lucalabs-de Haskell

Lightweight notification daemon displaying notifications as EWW widgets

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
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
uptop
uptop ldgrp Haskell

A terminal client for Up Bank written in Haskell ⚡.

50
errata
errata 1Computer1 Haskell

Source code error pretty printing

50
ghcaniuse
ghcaniuse damianfral Haskell

GHC language extension support checker across compiler versions.

50