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)

avail
avail coclique Haskell

Low-overhead effect management for concrete monads

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
slack-web
slack-web MercuryTechnologies Haskell

Haskell bindings for the Slack web API

38
GPT2-Hasktorch
GPT2-Hasktorch theosorus Haskell

GPT2 implementation in Haskell with the Hasktorch library, inspired by Andrej Karpathy's Pytorch implementation.

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
cobalt
cobalt Michael2109 Scala

The Cobalt programming language

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
libmpd-haskell
libmpd-haskell vimus Haskell

A client library for MPD, the Music Player Daemon

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
clash-playground
clash-playground thoughtpolice Haskell

A Clash playground/starter kit, using Nix

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
ulid
ulid haskell-github-trust Haskell

Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)

37
inflections-hs
inflections-hs mpscholten Haskell

Rails-like inflections for Haskell

37
ltext
ltext ltext Haskell

ฮปtext - higher-order file applicator

36
Ombra
Ombra lprez Haskell

Graphics engine written in Haskell.

36
postgresql-pure
postgresql-pure iijlab Haskell

a PostgreSQL client library implemented with pure Haskell

36
shakespeare-mode
shakespeare-mode CodyReichert Emacs Lisp

An emacs major mode for editing hamlet, lucius, and julius files

36
mltool
mltool aligusnet Haskell

Machine Learning Toolbox

36
functional-programming-babelfish
functional-programming-babelfish hakonrossebo Elm

A cheat sheet for finding similar concepts and operators in different functional languages

36
WangsAlgorithm
WangsAlgorithm joom Haskell

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

36
lagoon
lagoon tweag Haskell

Data centralization tool

36
type-natural
type-natural konn Haskell

Type-level well-kinded natural numbers.

36
mips-simulator
mips-simulator skyzh Haskell

๐Ÿ’ป A 5-stage pipeline MIPS CPU design in Haskell.

36
jrec
jrec juspay Haskell

Literally the best anonymous records

36
dickinson
dickinson vmchale Haskell

Text generation language

36
iohk-monitoring-framework
iohk-monitoring-framework input-output-hk Haskell

This framework provides logging, benchmarking and monitoring.

36
nanohs
nanohs bkomuves Haskell

a self-hosting lambda calculus compiler

36
cardano-haskell-packages
cardano-haskell-packages IntersectMBO Shell

Metadata for Cardano's Haskell package repository

36
clod
clod fuzz Haskell

Efficiently manage Claude AI projects--save half off your API bill with this one weird trick

36
wrench
wrench ryukzak Haskell

A multi-architecture CPU simulator, assembler, and auto-grading toolkit for teaching computer architecture.

36
tasty-discover
tasty-discover decentral1se

Haskell test discovery for the tasty framework :eyes:

35
lsp-test
lsp-test lukel97 Haskell

A functional test framework for LSP servers

35
haskellrustdemo
haskellrustdemo creichert Makefile

Example Integration for Embedding Rust in Haskell

35
pureli
pureli soupi Haskell

A purely functional, dynamically typed, parallel evaluated Lisp-like programming language

35
hs-quake-3
hs-quake-3 ocharles Haskell

Quake 3 map viewer written in Haskell

35
reflex-todomvc
reflex-todomvc reflex-frp Haskell

Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pur...

35
ray-marching-distance-fields
ray-marching-distance-fields blitzcode Haskell

Haskell and GLSL program containing my distance field / ray marching related experiments

35
haskell-ghc-reading-guide
haskell-ghc-reading-guide takenobu-hs

Haskell GHC reading guide

35
convoluted
convoluted jonascarpay Haskell

Dependently typed convolutional neural networks

35
hastodon
hastodon syucream Haskell

mastodon client module for Haskell

35
three-wise-monkeys
three-wise-monkeys vivshaw Haskell

You've heard of the SKI combinators... How about the ๐Ÿ™Š๐Ÿ™‰๐Ÿ™Š combinators?

35