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)

haskell-symbol-search-cheatsheet
haskell-symbol-search-cheatsheet takenobu-hs

Haskell/GHC symbol search cheatsheet

327
hakaru
hakaru hakaru-dev Haskell

A probabilistic programming language

321
haskell-gi
haskell-gi haskell-gi Haskell

Generate Haskell bindings for GObject-Introspection capable libraries

320
husk-scheme
husk-scheme justinethier Haskell

A full implementation of the Scheme programming language for the Haskell Platform.

317
ArkhamHorror
ArkhamHorror halogenandtoast Haskell

An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fanta...

313
learn-haskell-blog-generator
learn-haskell-blog-generator soupi

Learn Haskell by building a blog generator - an introductory book about Haskell.

313
three-layer
three-layer Holmusk Haskell

:three: :cake: Architecture of the Haskell web applications

312
smos
smos NorfairKing Haskell

A comprehensive self-management System

312
acid-state
acid-state acid-state Haskell

Add ACID guarantees to any serializable Haskell data structure

309
prettyprinter
prettyprinter haskell-prettyprinter Haskell

A modern, extensible and well-documented prettyprinter.

309
learn-you-a-haskell-notebook
learn-you-a-haskell-notebook IHaskell Jupyter Notebook

Jupyter adaptation of Learn You a Haskell for Great Good!

309
concur
concur ajnsit JavaScript

An unusual Web UI Framework for Haskell

305
microlens
microlens stevenfontanella Haskell

A lightweight (but compatible with ‘lens’) lenses library

297
curryrs
curryrs mgattozzi Rust

Bridge the gap between Haskell and Rust

295
gogol
gogol brendanhay Haskell

A comprehensive Google Services SDK for Haskell.

294
http-client
http-client snoyberg Haskell

An HTTP client engine, intended as a base layer for more user-friendly packages.

292
ultimate-linux
ultimate-linux popovicu JavaScript

The Ultimate Linux micro distribution written in JavaScript! A very functional minimal userspace for Linux written in... pure JavaScript! Not quite, b...

292
haskell
haskell lotz84 Haskell

A curated list of awesome things related to Haskell.

291
ouroboros-network
ouroboros-network IntersectMBO Haskell

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols;...

291
FuncShell
FuncShell iostreamer-X Haskell

Improve your shell by making it functional through Haskell! (An update to Awkward)

290
haskell-template
haskell-template srid Nix

Haskell project template using Nix + Flakes + VSCode (HLS)

288
hue-dashboard
hue-dashboard blitzcode Haskell

A web interface for monitoring and controlling Philips Hue lights

287
coreutils
coreutils Gandalf- Haskell

Unix core utilities implemented in Haskell

285
aws-lambda-haskell-runtime
aws-lambda-haskell-runtime theam Haskell

⚡Haskell runtime for AWS Lambda

283
vado
vado chrisdone-archive Haskell

A demo web browser engine written in Haskell

280
haskanoid
haskanoid ivanperez-keera Haskell

A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

279
TaskLite
TaskLite ad-si Elm

The CLI task manager for power users

279
scripts
scripts gitmachtl Shell

StakePool Operator Scripts. Learn how to create and manage your StakePool / manage your DRep stuff / do Governance Actions with these simple scripts....

279
exercises
exercises haskell-beginners-2022 Haskell

💻 Exercises for the Haskell Beginners 2022 course

278
rules_haskell
rules_haskell tweag Starlark

Haskell rules for Bazel.

275
onyx
onyx mtolly Haskell

Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games

275
rzk
rzk rzk-lang Haskell

An experimental proof assistant based on a type theory for synthetic ∞-categories.

274
nvim-hs
nvim-hs neovimhaskell Haskell

Neovim API for Haskell plugins as well as the plugin provider

274
Data-Structures-and-Algorithms
Data-Structures-and-Algorithms div-bargali C++

Data Structures and Algorithms implemented In Python, C, C++, Java or any other languages. Aimed to help strengthen the concepts of DSA. Give a Star...

274
hint
hint haskell-hint Haskell

Runtime Haskell interpreter

272
diagnose
diagnose Mesabloo Haskell

A simple library for reporting compiler/interpreter errors

269
hid-examples
hid-examples bravit Haskell

Examples to accompany the book "Haskell in Depth"

269
haskell-study-startup
haskell-study-startup sjsyrek

Launch your own Haskell study group. Now.

267
brainfuck
brainfuck pablojorge Rust

Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others

267
sbv
sbv LeventErkok Haskell

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

267
ghcup
ghcup haskell Shell

DEPRECATED IN FAVOR OF haskell/ghcup-hs

266
lion
lion standardsemiconductor Haskell

Where Lions Roam: RISC-V on the VELDT

265
co-log
co-log co-log Haskell

📓 Flexible and configurable modern #Haskell logging framework

264
haskell-ghc-illustrated
haskell-ghc-illustrated takenobu-hs

haskell ghc-illustrated

262
chainweb-node
chainweb-node kadena-io Haskell

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

257
pretty-simple
pretty-simple cdepillabout Haskell

pretty-printer for Haskell data types that have a Show instance

256
lsp-haskell
lsp-haskell emacs-lsp Emacs Lisp

lsp-mode :heart: haskell

253
haskell-tools
haskell-tools haskell-tools Haskell

Developer tools for Haskell

250
airship
airship tmcgilchrist Haskell

Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.

245
hal
hal Nike-Inc Haskell

hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

244