valderman/selda

A type-safe, high-level SQL library for Haskell

Language: Haskell - Size: 1.04 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 478 - Forks: 57

haskell/lsp

Haskell library for the Microsoft Language Server Protocol

Language: Haskell - Size: 3.88 MB - Last synced at: 1 day ago - Pushed at: 21 days ago - Stars: 391 - Forks: 95

jbarrow/LambdaNet

Purely functional artificial neural network library implemented in Haskell.

Language: Haskell - Size: 996 KB - Last synced at: 3 months ago - Pushed at: over 9 years ago - Stars: 378 - Forks: 38

DimaSamoz/mezzo

A Haskell library for typesafe music composition

Language: Haskell - Size: 1.2 MB - Last synced at: 22 days ago - Pushed at: over 6 years ago - Stars: 363 - Forks: 12

spell-music/csound-expression

Haskell Framework for Electronic Music

Language: Haskell - Size: 4.43 MB - Last synced at: 16 days ago - Pushed at: 8 months ago - Stars: 329 - Forks: 32

discord-haskell/discord-haskell

Haskell library for writing Discord bots

Language: Haskell - Size: 1.62 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 263 - Forks: 58

co-log/co-log

📓 Flexible and configurable modern #Haskell logging framework

Language: Haskell - Size: 498 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 261 - Forks: 51

Nike-Inc/hal

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

Language: Haskell - Size: 374 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 242 - Forks: 13

cpeikert/Lol

Λ ⚬ λ: Functional Lattice Cryptography

Language: Haskell - Size: 3.96 MB - Last synced at: 12 days ago - Pushed at: over 4 years ago - Stars: 231 - Forks: 45

berberman/nvfetcher

Generate nix sources expr for the latest version of packages

Language: Haskell - Size: 3.75 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 228 - Forks: 17

ivanperez-keera/dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Language: Haskell - Size: 17.2 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 218 - Forks: 36

tweag/capability

Extensional capabilities and deriving combinators

Language: Haskell - Size: 352 KB - Last synced at: 10 days ago - Pushed at: 12 months ago - Stars: 217 - Forks: 9

advancedtelematic/quickcheck-state-machine 📦

Test monadic programs using state machine based models

Language: Haskell - Size: 2.71 MB - Last synced at: 22 days ago - Pushed at: about 4 years ago - Stars: 204 - Forks: 25

turion/rhine

Haskell Functional Reactive Programming framework with type-level clocks

Language: Haskell - Size: 4.2 MB - Last synced at: 1 day ago - Pushed at: 5 days ago - Stars: 130 - Forks: 21

saschagrunert/nn

A tiny neural network 🧠

Language: Haskell - Size: 13.7 KB - Last synced at: 3 days ago - Pushed at: about 7 years ago - Stars: 127 - Forks: 5

lettier/webviewhs

🌐 A Haskell binding to the webview library created by Serge Zaitsev.

Language: Haskell - Size: 111 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 126 - Forks: 9

GaloisInc/grease

CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution

Language: Haskell - Size: 1.76 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 118 - Forks: 7

ChrisPenner/eve

An extensible event-driven application framework in haskell

Language: Haskell - Size: 388 KB - Last synced at: 13 days ago - Pushed at: over 4 years ago - Stars: 110 - Forks: 9

sdiehl/repline

Haskeline wrapper for GHCi-like REPL interfaces

Language: Haskell - Size: 112 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 107 - Forks: 30

leopiney/tensor-safe

A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

Language: Haskell - Size: 415 KB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 102 - Forks: 1

haskell-waargonaut/waargonaut

JSON decoding/encoding/manipulation library.

Language: Haskell - Size: 1.01 MB - Last synced at: 25 days ago - Pushed at: almost 3 years ago - Stars: 93 - Forks: 14

haskell-hvr/missingh

Utility library [Haskell]

Language: Haskell - Size: 2.91 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 88 - Forks: 40

haskell-github-trust/replace-megaparsec

Stream editing with Haskell Megaparsec parsers

Language: Haskell - Size: 146 KB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 79 - Forks: 2

kowainik/colourista

‎️‍🌈 Convenient interface for printing colourful messages

Language: Haskell - Size: 79.1 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 69 - Forks: 17

achirkin/vulkan

Low-level low-overhead haskell bindings to vulkan API

Language: Haskell - Size: 5.85 MB - Last synced at: 18 days ago - Pushed at: about 4 years ago - Stars: 64 - Forks: 11

sheaf/acts

Haskell library for semigroup actions and torsors

Language: Haskell - Size: 58.6 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 62 - Forks: 5

kowainik/eio

🎯 IO with Exceptions tracked on the type-level

Language: Haskell - Size: 14.6 KB - Last synced at: 9 days ago - Pushed at: about 4 years ago - Stars: 58 - Forks: 2

lambdageek/unbound-generics

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

Language: Haskell - Size: 298 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 56 - Forks: 18

thma/ThreepennyElectron

Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell

Language: Haskell - Size: 1.87 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 54 - Forks: 4

epicallan/hreq

A type dependent highlevel HTTP client library inspired by servant-client.

Language: Haskell - Size: 168 KB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 53 - Forks: 3

minio/minio-hs

MinIO Client SDK for Haskell

Language: Haskell - Size: 672 KB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 51 - Forks: 32

composewell/unicode-transforms

Fast Unicode normalization in Haskell

Language: Haskell - Size: 29.5 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 47 - Forks: 16

ConferOpenSource/composite 📦

Integrations with Vinyl/Frames records.

Language: Haskell - Size: 367 KB - Last synced at: 2 days ago - Pushed at: about 3 years ago - Stars: 44 - Forks: 7

serokell/serokell-util 📦

Various functions which are used across multiple @serokell packages

Language: Haskell - Size: 324 KB - Last synced at: 28 days ago - Pushed at: almost 6 years ago - Stars: 44 - Forks: 13

haskell-grpc-native/http2-client

A native HTTP2 client in Haskell

Language: Haskell - Size: 285 KB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 43 - Forks: 26

trailofbits/indurative

Easily create authenticated data structures

Language: Haskell - Size: 39.1 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 43 - Forks: 4

svenssonjoel/Obsidian

Obsidian Language Repository

Language: Haskell - Size: 1.35 MB - Last synced at: about 14 hours ago - Pushed at: about 7 years ago - Stars: 41 - Forks: 6

evincarofautumn/Toody

A two-dimensional parser combinator library.

Language: Haskell - Size: 16.6 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 41 - Forks: 1

coot/free-algebras

Free Algebras in Haskell

Language: Haskell - Size: 338 KB - Last synced at: 15 days ago - Pushed at: 10 months ago - Stars: 37 - Forks: 3

plaidfinch/StrictCheck

Keep your laziness in check!

Language: Haskell - Size: 316 KB - Last synced at: 24 days ago - Pushed at: almost 3 years ago - Stars: 33 - Forks: 4

dcastro/haskell-flatbuffers

An implementation of the flatbuffers protocol in Haskell.

Language: Haskell - Size: 1.25 MB - Last synced at: 6 days ago - Pushed at: 10 months ago - Stars: 32 - Forks: 4

MercuryTechnologies/hs-temporal-sdk

Unofficial Temporal Haskell SDK

Language: Haskell - Size: 10.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 31 - Forks: 0

evanrelf/drama

🎭 Actor library for Haskell

Language: Haskell - Size: 192 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 30 - Forks: 1

madnight/asciichart

ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart

Language: Haskell - Size: 117 KB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 28 - Forks: 2

ioanluca/real-world-idris

Malfunction backend for Idris with a FFI to OCaml

Language: TeX - Size: 1.12 MB - Last synced at: 7 months ago - Pushed at: almost 6 years ago - Stars: 28 - Forks: 2

frerich/catamorphism

A package exposing a function for generating catamorphisms.

Language: Haskell - Size: 41 KB - Last synced at: about 23 hours ago - Pushed at: about 7 years ago - Stars: 28 - Forks: 4

basvandijk/monad-batcher

An applicative monad that batches commands for later more efficient execution

Language: Haskell - Size: 23.4 KB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 27 - Forks: 1

ConferOpenSource/refurb

Database maintenance tool support

Language: Haskell - Size: 74.2 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 2

NicolasT/troupe

Haskell Actors

Language: Haskell - Size: 83 KB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 25 - Forks: 3

kowainik/unlift

🛗 Typeclass for monads that can be unlifted to arbitrary base monads

Language: Haskell - Size: 11.7 KB - Last synced at: 20 days ago - Pushed at: about 4 years ago - Stars: 25 - Forks: 0

kowainik/trial

⚖️ Trial Data Type

Language: Haskell - Size: 98.6 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 21 - Forks: 9

typeclasses/stripe

Haskell libraries for working with the Stripe API

Language: Haskell - Size: 97.7 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 20 - Forks: 5

axman6/amazonka-s3-streaming

Provides a conduit based interface to uploading data to S3 using the Multipart API

Language: Haskell - Size: 136 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 20 - Forks: 23

alonsodomin/haskell-schema

A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.

Language: Haskell - Size: 116 KB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 20 - Forks: 0

chris-martin/haskell-libraries

Incubator for my Haskell libraries

Language: Haskell - Size: 163 KB - Last synced at: 20 days ago - Pushed at: over 7 years ago - Stars: 20 - Forks: 2

tweag/smtlib-backends

A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.

Language: Haskell - Size: 218 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 19 - Forks: 2

xtendo-org/rawfilepath

Haskell library for encoding-free interaction with Unix system. Use RawFilePath (ByteString) instead of FilePath (String)

Language: Haskell - Size: 119 KB - Last synced at: 20 days ago - Pushed at: 11 months ago - Stars: 18 - Forks: 3

noamz/linlam

a library for experimental linear lambda calculus

Language: Haskell - Size: 157 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 0

bokesan/IntervalMap

Haskell interval collections

Language: Haskell - Size: 633 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 4

tsani/servant-github-webhook

Servant combinators for writing secure GitHub webhooks

Language: Haskell - Size: 53.7 KB - Last synced at: 16 days ago - Pushed at: almost 2 years ago - Stars: 17 - Forks: 10

stevana/bits-and-bobs

Bit-level codec library

Language: Haskell - Size: 117 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 17 - Forks: 0

erewok/servant-py

Servant client generators for the Python language

Language: Haskell - Size: 45.9 KB - Last synced at: 24 days ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 7

sdiehl/haskell-picosat

Haskell bindings for PicoSAT solver

Language: C - Size: 87.9 KB - Last synced at: 3 days ago - Pushed at: about 5 years ago - Stars: 17 - Forks: 5

thunky-monk/kawhi

stats.nba.com library :basketball:

Language: Haskell - Size: 82 KB - Last synced at: 25 days ago - Pushed at: almost 8 years ago - Stars: 17 - Forks: 1

yutotakano/discord-haskell-voice

A Haskell library to add voice support to discord-haskell.

Language: Haskell - Size: 2.09 MB - Last synced at: 28 days ago - Pushed at: 3 months ago - Stars: 16 - Forks: 3

composewell/bench-show

Show, plot and compare benchmark results

Language: Haskell - Size: 513 KB - Last synced at: 24 days ago - Pushed at: 4 months ago - Stars: 16 - Forks: 2

MichelBoucey/cayley-client

A Haskell client library for Cayley database graph

Language: Haskell - Size: 89.8 KB - Last synced at: 16 days ago - Pushed at: about 2 months ago - Stars: 14 - Forks: 2

haskell-github-trust/replace-attoparsec

Stream editing with Haskell Attoparsec parsers

Language: Haskell - Size: 89.8 KB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 14 - Forks: 2

coot/heyting-algebras

Heyting Algebras in Haskell

Language: Haskell - Size: 119 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 2

oherrala/haskell-stun

Haskell STUN (Session Traversal Utilities for NAT) implementation

Language: Haskell - Size: 48.8 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 1

sdiehl/picologic

Symbolic logic expressions

Language: Haskell - Size: 42 KB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 5

typeclasses/partial-semigroup

A partial binary associative operator (appendMaybe :: a → a → Maybe a)

Language: Haskell - Size: 95.7 KB - Last synced at: 13 days ago - Pushed at: 9 months ago - Stars: 13 - Forks: 4

dabcoder/stocks

Haskell library for the IEX trading API: https://iextrading.com/developer/docs/

Language: Haskell - Size: 68.4 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 13 - Forks: 4

esapulkkinen/cifl-math-library

Basic mathematics library

Language: Haskell - Size: 36.9 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 12 - Forks: 0

SamProtas/hs-triplesec

TripleSec is a simple, triple-paranoid, symmetric encryption library

Language: Haskell - Size: 41 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 2

brandonhamilton/ilist

ℹ️ Index-related functions for lists

Language: Haskell - Size: 68.4 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 12 - Forks: 1

verement/lmdb-simple

Simple Haskell API for LMDB

Language: Haskell - Size: 43 KB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 12 - Forks: 11

PolyglotSymposium/mappy

A functional programming language. Like LISP but focused around maps rather than lists.

Language: Haskell - Size: 168 KB - Last synced at: about 18 hours ago - Pushed at: about 6 years ago - Stars: 12 - Forks: 1

typeclasses/loc

Types representing line and column positions and ranges in text files

Language: Haskell - Size: 241 KB - Last synced at: about 10 hours ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 2

noughtmare/haskell-lsp-client

Client library for haskell-lsp

Language: Haskell - Size: 42 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 11 - Forks: 2

typeclasses/unfork

Make any action thread safe

Language: Haskell - Size: 63.5 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 10 - Forks: 0

sergv/radix-tree

Haskell implementation of the radix tree data structure

Language: Haskell - Size: 194 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 10 - Forks: 2

joelburget/easytest 📦

Simple testing toolkit

Language: Haskell - Size: 155 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 10 - Forks: 7

albertov/hs-abci

Haskell Tendermint Interface

Language: Haskell - Size: 114 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 3

EarthCitizen/escape-artist

A Haskell library for text decoration with ANSI escape sequences made easy

Language: Haskell - Size: 332 KB - Last synced at: 26 days ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 1

pyrethrum/webdriver

The webdriver WC3 API represented as a Haskell type

Language: Bikeshed - Size: 934 KB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 9 - Forks: 0

adetokunbo/tmp-proc

Use docker to run 'tmp' processes in haskell integration tests

Language: Haskell - Size: 439 KB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 9 - Forks: 1

peti/csv2ledger

convert accounting data from CSV to Ledger format

Language: Haskell - Size: 19.5 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 0

typeclasses/leanpub

Haskell client for the Leanpub API

Language: Haskell - Size: 34.2 KB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 1

peti/funcmp

Function MetaPost is a Haskell frontend to the MetaPost language.

Language: Haskell - Size: 262 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0

typeclasses/assoc-list

An association list conceptually signifies a mapping, but is represented as a list (of key-value pairs)

Language: Haskell - Size: 70.3 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 2

ohua-dev/stc-lang

Implicit monadic dataflow parallelism

Language: Haskell - Size: 1.94 MB - Last synced at: 30 days ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 3

matsubara0507/servant-kotlin

Automatically derive Kotlin functions to query servant webservices

Language: Haskell - Size: 63.5 KB - Last synced at: 7 days ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 1

Lupino/sharefs

A share file system base on http and fuse

Language: Haskell - Size: 325 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 9 - Forks: 0

DAHeath/optic-graph

Haskell graph library

Language: Haskell - Size: 112 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 2

gmalecha/skip-list

Pure skip lists in Haskell

Language: Haskell - Size: 15.6 KB - Last synced at: 13 days ago - Pushed at: almost 8 years ago - Stars: 9 - Forks: 0

ixmatus/prizm

Convert colors to different color spaces, interpolate colors, and transform colors

Language: Haskell - Size: 116 KB - Last synced at: 7 days ago - Pushed at: about 8 years ago - Stars: 9 - Forks: 0

MichelBoucey/glabrous

A minimalistic Mustache-like syntax, truly logic-less, pure Text DSL template library

Language: Haskell - Size: 81.1 KB - Last synced at: 28 days ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 1

haskell-hvr/newtype

Language: Haskell - Size: 13.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 3

viercc/polynomial-functor

Polynomial functors (a.k.a. containers) in Haskell

Language: Haskell - Size: 135 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 1