Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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.
- GitHub: https://github.com/topics/haskell
- Wikipedia: https://en.wikipedia.org/wiki/Haskell_(programming_language)
- Repo: https://github.com/haskell
- Released: 1990
- Last updated: 2025-01-22 00:14:24 UTC
- JSON Representation
https://github.com/twesterhout/halide-haskell
Haskell bindings to Halide
gpu halide haskell high-performance-computing jit
Last synced: 27 Oct 2024
https://github.com/mercurytechnologies/hs-temporal-sdk
Unofficial Temporal Haskell SDK
haskell haskell-library temporal
Last synced: 12 Nov 2024
https://github.com/kowainik/trial
βοΈ Trial Data Type
data-structures hacktoberfest haskell haskell-library
Last synced: 12 Nov 2024
https://github.com/kovalevdima/clickhaskell
Haskell implementation of ClickHouse Native protocol
clickhouse haskell nix open-source
Last synced: 21 Jan 2025
https://github.com/hercules-ci/warp-systemd
Socket activation and other systemd integration for the Warp web server (WAI)
haskell heartbeat socket-activation systemd wai warp
Last synced: 18 Dec 2024
https://github.com/astynax/hemmet
Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
bem cli emmet hacktoberfest hacktoberfest2022 haskell snippets templating
Last synced: 23 Dec 2024
https://github.com/noughtmare/hypercube
Minecraft clone in haskell focussed on performance.
game haskell minecraft-clone opengl voxel
Last synced: 07 Nov 2024
https://github.com/siraben/r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
denotational-semantics haskell monad-transformers r5rs-scheme scheme scheme-interpreter
Last synced: 23 Oct 2024
https://github.com/fosskers/versions
Haskell types and parsers for software version numbers.
Last synced: 16 Nov 2024
https://github.com/sjoerdvisscher/effects
Control.Effects
eff haskell monad-transformers
Last synced: 08 Nov 2024
https://github.com/obsidiansystems/beam-automigrate
Generated migrations for beam databases
beam database haskell migration
Last synced: 07 Nov 2024
https://github.com/typelead/eta-ffi
A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
eta ffi ffi-bindings haskell jar jvm
Last synced: 13 Nov 2024
https://github.com/sellout/haskerwaul
Category theory concepts in type classes and instances.
Last synced: 27 Oct 2024
https://github.com/sellout/compiling-anything-to-categories
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
category-theory ghc ghc-plugin haskell
Last synced: 28 Oct 2024
https://github.com/chshersh/sauron
πβπ¨ The eye that watches everything you did on Twitter
Last synced: 29 Oct 2024
https://github.com/kayhide/wakame
Haskell library of row polymorphic record manipulator
Last synced: 23 Nov 2024
https://github.com/basvandijk/lifted-base
IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl
Last synced: 27 Oct 2024
https://github.com/foreverbell/project-euler-solutions
Project Euler solutions in Haskell.
Last synced: 15 Nov 2024
https://github.com/leptonyu/salak
Haskell Configuration Loader
configuration-loader haskell salak toml yaml
Last synced: 29 Oct 2024
https://github.com/tfausak/imp
:smiling_imp: Automatically import Haskell modules.
Last synced: 28 Oct 2024
https://github.com/typeclasses/stripe
Haskell libraries for working with the Stripe API
haskell haskell-library scotty stripe stripe-api wreq
Last synced: 12 Oct 2024
https://github.com/sophicshift/organon
π view and generate static websites from your Org files (WIP).
ema haskell latex org-mode org-roam static-site-generator template zettelkasten
Last synced: 12 Nov 2024
https://github.com/ndmitchell/hexml
A bad XML parser
haskell performant xml xml-parser
Last synced: 18 Nov 2024
https://github.com/dfordivam/reflex-websocket-interface
A simple to use interface for websocket using reflex-frp
Last synced: 07 Nov 2024
https://github.com/taktoa/eqsat
A language-generic implementation of equality saturation in Haskell
compiler equality-saturation haskell optimization term-indexing theorem-prover
Last synced: 12 Oct 2024
https://github.com/soficshift/organon
π view and generate static websites from your Org files (WIP).
ema haskell latex org-mode org-roam static-site-generator template zettelkasten
Last synced: 14 Dec 2024
https://github.com/totallynotchase/valida
:heavy_check_mark: Simple, elegant, profunctorial, applicative validation for product types!
applicative-functors contravariant-functors haskell profunctors validation validator
Last synced: 28 Nov 2024
https://github.com/barrucadu/irc-client
This project is essentially abandonware!
Last synced: 01 Nov 2024
https://github.com/tek/ribosome
A Neovim plugin host and framework for Haskell
Last synced: 12 Nov 2024
https://github.com/ilyasergey/monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
abstract-interpretation haskell k-cfa monads static-analysis
Last synced: 05 Dec 2024
https://github.com/laurentrdc/javelin
Haskell implementation of series, or labeled one-dimensional arrays.
data-science data-structures-and-algorithms haskell quantitative-finance
Last synced: 02 Nov 2024
https://github.com/alonsodomin/haskell-schema
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
data-structures haskell haskell-library higher-order json quickcheck schema
Last synced: 09 Nov 2024
https://github.com/stackbuilders/atomic-write
Writes files atomically in Haskell while preserving permissions
atomic-actions file-management hacktoberfest hacktoberfest-2023 haskell
Last synced: 19 Dec 2024
https://github.com/operating-function/pallas
An event sourced, purely functional application platform.
exokernel functional-programming haskell operating-function operating-system personal-server purely-functional unikernel
Last synced: 12 Oct 2024
https://github.com/ondrap/dynamodb-simple
Type-safe Haskell framework for AWS DynamoDB
Last synced: 20 Nov 2024
https://github.com/waddlaw/haskell-stack-trace-plugin
compiler-plugin haskell source-plugin
Last synced: 06 Nov 2024
https://github.com/andys8/dotfiles
dotfiles repository
arch dotfiles el elm fish haskell i3 linux nix purescript qutebrowser rofi st typescript vim xmonad
Last synced: 28 Oct 2024
https://github.com/lancelet/space-workshop
Haskell simulations of spacecraft manoeuvres
Last synced: 14 Nov 2024
https://github.com/toptobes/typefuck-haskell
Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
Last synced: 10 Jan 2025
https://github.com/co-log/co-log-core
π½ Core types and functions that power the Haskell `co-log` implementation
co-log contravariant core hacktoberfest haskell logging
Last synced: 24 Nov 2024
https://github.com/webcpu/haskellred
A functional library for Red programmers
functional-programming haskell red-lang
Last synced: 13 Nov 2024
https://github.com/gvolpe/stm-demo
Bank transfer examples using STM in both Haskell and Scala (zio-stm)
haskell memory scala stm transactions zio
Last synced: 28 Oct 2024
https://github.com/aaaastark/goal-kicker-notes-professional-programming-languages
Goal-Kicker-Notes-Professional-Programming-Languages (goal kicker)
algorithms android bash c css dotnet entity-framework excelvba haskell hibernate html java latex mongodb nodejs python react-native reactjs ruby sql
Last synced: 15 Jan 2025
https://github.com/kowainik/first-class-patterns
First class patterns and pattern matching, using type families
first-class haskell pattern-matching patterns
Last synced: 11 Dec 2024
https://github.com/composewell/unicode-data
Access unicode character database
Last synced: 12 Oct 2024
https://github.com/appliedfm/vstyle
A style guide for Coq
appliedfm c coq dependent-types formal-mathematics formal-methods formal-proofs formal-semantics formal-specification formal-verification haskell ocaml proof proof-assistant software-engineering style-guide verification
Last synced: 10 Oct 2024
https://github.com/basvandijk/concurrent-extra
Extra concurrency primitives
Last synced: 27 Oct 2024
https://github.com/sergv/atomic-counter
Haskell counters that can be safely incremented from multiple threads
Last synced: 13 Nov 2024
https://github.com/haskell-hvr/text-short
Memory-efficient representation of Unicode text strings
Last synced: 21 Nov 2024
https://github.com/aionescu/oplang
Stack-based esoteric programming language
compiler esoteric-language haskell stack-based
Last synced: 07 Nov 2024
https://github.com/alpacaaa/tex
Minimalistic file explorer, written in Haskell.
Last synced: 30 Nov 2024
https://github.com/y-taka-23/time-machine
A Haskell library to mock the current time. β°
Last synced: 14 Oct 2024
https://github.com/takenobu-hs/type-introduction-illustrated
Haskell type introduction illustrated
Last synced: 07 Nov 2024
https://github.com/ariady-putra/morbid
Davy Jones' Locker
aiken dapp haskell offchain onchain playground plutus smart-contract
Last synced: 14 Nov 2024
https://github.com/glguy/config-value
Simple, layout-based, unambiguous configuration language implemented in Haskell
Last synced: 28 Oct 2024
https://github.com/junjihashimoto/th-cas
Compile time CAS(Computer Algebra System) for Haskell
algebra cas computer-algebra haskell
Last synced: 14 Oct 2024
https://github.com/egison/sweet-egison
Haskell library for non-deterministic pattern matching
backtracking egison haskell non-linear-pattern pattern-matching
Last synced: 17 Nov 2024
https://github.com/leptonyu/odpic-raw
Haskell raw bindings to Oracle ODPI-C Library
Last synced: 29 Oct 2024
https://github.com/obsidiansystems/gargoyle
A framework for managing daemons from Haskell and libraries for use with postgresql and nix
Last synced: 07 Nov 2024
https://github.com/selectel/hen
Haskell bindings to Xen hypervisor interface
Last synced: 18 Dec 2024
https://github.com/thunky-monk/kawhi
stats.nba.com library :basketball:
aeson basketball basketball-stats haskell haskell-language haskell-library nba nba-analytics nba-api nba-games nba-statistics nba-stats nba-stats-api nba-visualization thunky-monk
Last synced: 29 Oct 2024
https://github.com/Kuratoro/haskell.zettel.page
Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)
Last synced: 12 Nov 2024
https://github.com/hasufell/hpath
Typed filepath in haskell
dirname filepath filepath-manipulation files haskell posix
Last synced: 07 Nov 2024
https://github.com/k0ral/imm
Execute arbitrary actions for each unread element of RSS/Atom feeds
Last synced: 10 Oct 2024
https://github.com/mrkkrp/hspec-megaparsec
Utility functions for testing Megaparsec parsers with Hspec
haskell hspec megaparsec testing
Last synced: 28 Oct 2024
https://github.com/gvolpe/postgresql-resilient
Automatic re-connection support for PostgreSQL.
haskell postgres postgresql postgresql-database reconnection resilient
Last synced: 28 Oct 2024
https://github.com/motus/haskell-zookeeper-client
Apache ZooKeeper client for Haskell (GHC)
haskell zookeeper zookeeper-client
Last synced: 28 Nov 2024
https://github.com/seagreen/station
The File Strikes Back
haskell ontology replace-the-web semantic-filesystem
Last synced: 09 Nov 2024
https://github.com/alpha-build/alpha-build
Simple monorepo build tool based on Make with out-of-the-box support for Python, Bash, Jupyter Notebooks, Markdown, YAML, HTML, CSS, JS, TS and with a strong focus on flexibility, transparency, and extensibility.
bash build-system build-tool conda haskell html isort jupyter jupyter-notebook make makefile markdown monorepo mypy npm pip prettier python yaml
Last synced: 07 Nov 2024
https://github.com/mrkkrp/identicon
Flexible generation of identicons in Haskell
Last synced: 27 Oct 2024
https://github.com/tfausak/haskell-knowledge-base
:spider_web: A knowledge map about Haskell powered by Obsidian.
haskell knowledge-map obsidian
Last synced: 12 Nov 2024
https://github.com/holmusk/servant-hmac-auth
Servant authentication with HMAC
api auth crypto hacktoberfest haskell hmac servant web
Last synced: 19 Dec 2024
https://github.com/sdiehl/haskell-picosat
Haskell bindings for PicoSAT solver
haskell haskell-library logic logic-programming picosat picosat-solver sat-solver
Last synced: 21 Nov 2024
https://github.com/serokell/haskell-crypto
Haskell cryptography done right
cryptography haskell libsodium
Last synced: 19 Dec 2024
https://github.com/chungyc/ninetynine
Ninety-Nine Haskell Problems. The documentation serves as a standalone list of problems. Includes tests and benchmarks for checking and comparing solutions.
Last synced: 19 Jan 2025
https://github.com/eschnett/mpi-hs
MPI bindings for Haskell
distributed-computing haskell high-performance-computing mpi parallel-computing
Last synced: 20 Dec 2024
https://github.com/composewell/bench-show
Show, plot and compare benchmark results
benchmarking haskell haskell-library performance
Last synced: 20 Dec 2024
https://github.com/tfausak/burrito
:burrito: Parse and render URI templates.
Last synced: 28 Oct 2024
https://github.com/lukehoersten/activitypub
Haskell ActivityPub server library
Last synced: 13 Oct 2024
https://github.com/leftaroundabout/dumb-cas
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
computer-algebra-system haskell symbolic-manipulation template-haskell
Last synced: 12 Nov 2024
https://github.com/elizabethsiegle/reddit-slack-bot
Build a Slack bot that returns a trending Reddit story
haskell slack slack-bot twilio twilio-api twilio-sms twilio-sms-api
Last synced: 05 Dec 2024
https://github.com/solomon-b/monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
category-theory haskell monoidal-categories
Last synced: 28 Oct 2024
https://github.com/higherkindness/avro-parser-haskell
Language definition and parser for AVRO (.avdl) files.
avro avro-data avro-format avro-idl-files avro-schemas haskell haskell-parser parser
Last synced: 07 Nov 2024
https://github.com/nikita-volkov/hasql-tutorial1
Tutorial on organisation of Hasql code in a Postgres-integration layer
haskell hasql postgresql tutorial
Last synced: 12 Oct 2024