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)

hydra
hydra cardano-scaling Haskell

Implementation of the Hydra Head protocol

336
vty
vty jtdaugherty Haskell

A high-level ncurses alternative written in Haskell

334
programming
programming hacktoberfest17 Java

Code a program in a language of your choice.

333
mu-haskell
mu-haskell higherkindness Haskell

Mu (μ) is a purely functional framework for building micro services.

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

Haskell/GHC symbol search cheatsheet

329
haskell-gi
haskell-gi haskell-gi Haskell

Generate Haskell bindings for GObject-Introspection capable libraries

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

327
owi
owi OCamlPro OCaml

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

322
hakaru
hakaru hakaru-dev Haskell

A probabilistic programming language

319
learn-haskell-blog-generator
learn-haskell-blog-generator soupi

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

318
husk-scheme
husk-scheme justinethier Haskell

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

316
smos
smos NorfairKing Haskell

A comprehensive self-management System

314
acid-state
acid-state acid-state Haskell

Add ACID guarantees to any serializable Haskell data structure

311
three-layer
three-layer Holmusk Haskell

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

310
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!

308
concur
concur ajnsit JavaScript

An unusual Web UI Framework for Haskell

305
microlens
microlens stevenfontanella Haskell

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

298
curryrs
curryrs mgattozzi Rust

Bridge the gap between Haskell and Rust

295
gogol
gogol brendanhay Haskell

A comprehensive Google Services SDK for Haskell.

295
http-client
http-client snoyberg Haskell

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

295
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;...

294
haskell-template
haskell-template srid Nix

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

293
rzk
rzk rzk-lang Haskell

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

292
onyx
onyx mtolly Haskell

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

292
haskell
haskell lotz84 Haskell

A curated list of awesome things related to Haskell.

291
FuncShell
FuncShell iostreamer-X Haskell

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

290
hue-dashboard
hue-dashboard blitzcode Haskell

A web interface for monitoring and controlling Philips Hue lights

288
TaskLite
TaskLite ad-si Elm

The CLI task manager for power users

288
coreutils
coreutils Gandalf- Haskell

Unix core utilities implemented in Haskell

287
aws-lambda-haskell-runtime
aws-lambda-haskell-runtime theam Haskell

⚡Haskell runtime for AWS Lambda

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

282
rules_haskell
rules_haskell tweag Starlark

Haskell rules for Bazel.

280
exercises
exercises haskell-beginners-2022 Haskell

💻 Exercises for the Haskell Beginners 2022 course

280
vado
vado chrisdone-archive Haskell

A demo web browser engine written in Haskell

279
haskanoid
haskanoid ivanperez-keera Haskell

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

279
hint
hint haskell-hint Haskell

Runtime Haskell interpreter

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

273
lion
lion standardsemiconductor Haskell

Where Lions Roam: RISC-V on the VELDT

270
diagnose
diagnose Mesabloo Haskell

A simple library for reporting compiler/interpreter errors

270
hid-examples
hid-examples bravit Haskell

Examples to accompany the book "Haskell in Depth"

270
brainfuck
brainfuck pablojorge Rust

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

269
nvim-hs
nvim-hs neovimhaskell Haskell

Neovim API for Haskell plugins as well as the plugin provider

268
haskell-study-startup
haskell-study-startup sjsyrek

Launch your own Haskell study group. Now.

266
ghcup
ghcup haskell Shell

DEPRECATED IN FAVOR OF haskell/ghcup-hs

266
sbv
sbv LeventErkok Haskell

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

266
haskell-ghc-illustrated
haskell-ghc-illustrated takenobu-hs

haskell ghc-illustrated

263
co-log
co-log co-log Haskell

📓 Flexible and configurable modern #Haskell logging framework

263
pretty-simple
pretty-simple cdepillabout Haskell

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

260
lsp-haskell
lsp-haskell emacs-lsp Emacs Lisp

lsp-mode :heart: haskell

256