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)

reflex-ghci
reflex-ghci reflex-frp Haskell

Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.

40
github-webhooks
github-webhooks cuedo Haskell

Haskell types and instances for decoding GitHub webhook payloads.

40
pvp
pvp haskell CSS

Haskell Package Version Policy (PVP)

40
asmdot
asmdot 71 Rust

[Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Python | Rust).

40
yul-dsl-monorepo
yul-dsl-monorepo yolc-dev Haskell

The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum,...

40
lambda-ski
lambda-ski thma Haskell

Implementing a small functional language with a combinator based graph-reduction machine

40
htoml
htoml cies HTML

TOML file format parser in Haskell

39
Divan.hs
Divan.hs joom Haskell

Ottoman Divan poetry vezin checker in Haskell!

39
postgresql-simple-named
postgresql-simple-named Holmusk Haskell

:question: Implementation of named parameters for `postgresql-simple` library

39
typeclassopedia-md
typeclassopedia-md ehamberg Makefile

Markdown version of the Haskell Typeclassopedia

39
easyspec
easyspec NorfairKing Haskell

Signature inference for Functional Property Discovery in Haskell

39
mios
mios shnarazk Haskell

A SAT solver written in Haskell.

39
HaskellCheatSheet
HaskellCheatSheet alhassy

A reference sheet for the basics of the mind-expanding Haskell language ^_^

39
zlib
zlib haskell C

Compression and decompression in the gzip and zlib formats

39
CadregaLisp
CadregaLisp micheleriva Haskell

🍎 Just another useless programming language, but with inganno.

39
text-rope
text-rope Bodigrim Haskell

A wrapper around Text for fast line/column navigation and logarithmic concatenation

39
hydra-pay
hydra-pay obsidiansystems Haskell

An open-source library for Cardano developers using Hydra (Head)

39
microparsec
microparsec schneiderfelipe Nim

⭐ A performant Nim parsing library built for humans.

39
iced-hs
iced-hs ibaryshnikov Haskell

Haskell wrapper for iced

39
intellij-haskell-lsp
intellij-haskell-lsp rockofox Kotlin

IntelliJ Plugin that provides Haskell language support via haskell-language-server

39
ghc-musl
ghc-musl benz0li Dockerfile

Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Please submit Pu...

39
gathering
gathering soupi Haskell

A self hosted website for announcing group events

38
tandoori
tandoori gergoerdi Haskell

Compositional type checking for Haskell

38
DMSS
DMSS dmp1ce Haskell

Dead Man's Switch System

38
mapalgebra
mapalgebra fosskers Haskell

Efficient, polymorphic Map Algebra in Haskell.

38
forma
forma mrkkrp Haskell

Parse and validate forms in JSON format

38
haskell-book-solutions
haskell-book-solutions andrewMacmurray Haskell

Solutions to exercises in Haskell Programming from first principles

38
chip-8
chip-8 soupi Haskell

A CHIP-8 Emulator written in Haskell

38
silly-joy
silly-joy rootmos Haskell

An interpreter for the concatenative language Joy, written in Haskell using extensible-effects

38
supernova
supernova cr-org Haskell

:milky_way: Apache Pulsar client for Haskell

38
jose-jwt
jose-jwt tekul Haskell

Haskell implementation of JOSE/JWT standards

38
gtk-sni-tray
gtk-sni-tray taffybar Haskell

A StatusNotifierHost widget written using the gtk+3 bindings for haskell provided by gi-gtk.

38
log
log scrive Haskell

Structured logging solution.

38
quark
quark quark-lang Haskell

Quark is a compiled lisp-like functional language influenced by and written in Haskell

38
chameleon
chameleon maybetonyfu JavaScript

A tool to make solving type errors in Haskell simple and fun.

38
org-mode
org-mode fosskers Haskell

Parser for Emacs org-mode files

38
strive
strive tfausak Haskell

:bicyclist: A Haskell client for the Strava V3 API.

38
libsodium-bindings
libsodium-bindings haskell-cryptography Haskell

Bindings to libsodium for Haskell

38
omit-generics
omit-generics TOTBWF Haskell

Omit fields for instance deriving

37
llvm-tutorial-standalone
llvm-tutorial-standalone sdiehl Haskell

DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )

37
advent2018
advent2018 glguy Haskell

Advent of Code 2018 Solutions

37
hadoop-tools
hadoop-tools jacobstanley Haskell

Tools for working with Hadoop, written with performance in mind.

37
fluid
fluid jxv PureScript

🐙 Code-generated, Auto-versioned, & Smart Web APIs

37
hablog
hablog soupi Haskell

A simple blogging platform with Haskell and Scotty

37
verigraph
verigraph Verites Haskell

Software specification and verification system based on graph rewriting

37
haskell-programming-from-first-principles
haskell-programming-from-first-principles BoeingX Haskell

Notes and solutions to exercises of "Haskell Programming from first principles"

37
symbols
symbols kcsongor Haskell

Symbol manipulation

37
ormolu.el
ormolu.el vyorkin Emacs Lisp

A formatter for Haskell source code

37
mu-graphql-example-elm
mu-graphql-example-elm higherkindness Elm

Complete full-stack web app with a mu-haskell GraphQL server and an Elm client! 🌳

37
avail
avail re-xyr Haskell

Low-overhead effect management for concrete monads

37