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-06 00:14:33 UTC
- JSON Representation
https://github.com/leptonyu/salak
Haskell Configuration Loader
configuration-loader haskell salak toml yaml
Last synced: 29 Oct 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/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/tfausak/imp
:smiling_imp: Automatically import Haskell modules.
Last synced: 28 Oct 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/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/sellout/haskerwaul
Category theory concepts in type classes and instances.
Last synced: 27 Oct 2024
https://github.com/obsidiansystems/beam-automigrate
Generated migrations for beam databases
beam database haskell migration
Last synced: 07 Nov 2024
https://github.com/barrucadu/irc-client
This project is essentially abandonware!
Last synced: 01 Nov 2024
https://github.com/foreverbell/project-euler-solutions
Project Euler solutions in Haskell.
Last synced: 15 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/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/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/sjoerdvisscher/effects
Control.Effects
eff haskell monad-transformers
Last synced: 08 Nov 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/tek/ribosome
A Neovim plugin host and framework for Haskell
Last synced: 12 Nov 2024
https://github.com/waddlaw/haskell-stack-trace-plugin
compiler-plugin haskell source-plugin
Last synced: 06 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/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/lancelet/space-workshop
Haskell simulations of spacecraft manoeuvres
Last synced: 14 Nov 2024
https://github.com/ondrap/dynamodb-simple
Type-safe Haskell framework for AWS DynamoDB
Last synced: 20 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/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/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/leptonyu/odpic-raw
Haskell raw bindings to Oracle ODPI-C Library
Last synced: 29 Oct 2024
https://github.com/composewell/unicode-data
Access unicode character database
Last synced: 12 Oct 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/y-taka-23/time-machine
A Haskell library to mock the current time. ⏰
Last synced: 14 Oct 2024
https://github.com/basvandijk/concurrent-extra
Extra concurrency primitives
Last synced: 27 Oct 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/junjihashimoto/th-cas
Compile time CAS(Computer Algebra System) for Haskell
algebra cas computer-algebra haskell
Last synced: 14 Oct 2024
https://github.com/alpacaaa/tex
Minimalistic file explorer, written in Haskell.
Last synced: 30 Nov 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/glguy/config-value
Simple, layout-based, unambiguous configuration language implemented in Haskell
Last synced: 28 Oct 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/takenobu-hs/type-introduction-illustrated
Haskell type introduction illustrated
Last synced: 07 Nov 2024
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/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/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/sergv/atomic-counter
Haskell counters that can be safely incremented from multiple threads
Last synced: 13 Nov 2024
https://github.com/selectel/hen
Haskell bindings to Xen hypervisor interface
Last synced: 18 Dec 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/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/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/webcpu/haskellred
A functional library for Red programmers
functional-programming haskell red-lang
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/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/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/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/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/timjb/halma
Chinese Checkers Haskell library, GUI application and Telegram bot
chinese-checkers diagrams game-ai haskell serverless telegram-bot
Last synced: 09 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/hasufell/hpath
Typed filepath in haskell
dirname filepath filepath-manipulation files haskell posix
Last synced: 07 Nov 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/eschnett/mpi-hs
MPI bindings for Haskell
distributed-computing haskell high-performance-computing mpi parallel-computing
Last synced: 20 Dec 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/serokell/haskell-crypto
Haskell cryptography done right
cryptography haskell libsodium
Last synced: 19 Dec 2024
https://github.com/psibi/sysinfo
Haskell Interface for getting overall system statistics
Last synced: 28 Oct 2024
https://github.com/lysxia/quickcheck-higherorder
QuickCheck extension for higher-order properties
haskell higher-order quickcheck testing
Last synced: 28 Oct 2024
https://github.com/tfausak/burrito
:burrito: Parse and render URI templates.
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/basvandijk/levmar
An implementation of the Levenberg-Marquardt algorithm
Last synced: 28 Oct 2024
https://github.com/mrkkrp/identicon
Flexible generation of identicons in Haskell
Last synced: 27 Oct 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/gvolpe/postgresql-resilient
Automatic re-connection support for PostgreSQL.
haskell postgres postgresql postgresql-database reconnection resilient
Last synced: 28 Oct 2024
https://github.com/lukehoersten/activitypub
Haskell ActivityPub server library
Last synced: 13 Oct 2024
https://github.com/cdepillabout/servant-rawm
Effectful Raw handler for Servant servers.
hacktoberfest haskell raw servant
Last synced: 12 Oct 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/yetone/parsec.js
A JavaScript parser combinator library inspired by Parsec of Haskell.
haskell javascript parsec parser-combinators
Last synced: 28 Oct 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/mchav/courseramachinelearning
Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.
haskell machine-learning machine-learning-coursera
Last synced: 29 Oct 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
https://github.com/brandonchinn178/toml-reader
Haskell library for parsing v1.0 TOML files
Last synced: 28 Oct 2024
https://github.com/leventerkok/conjugategradient
Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
conjugate-gradient haskell optimization sparse-matrix
Last synced: 28 Oct 2024
https://github.com/siraben/eopl
Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
Last synced: 23 Oct 2024
https://github.com/lukemorales/funkcia
haskell nim ocaml option option-pattern option-type optional result result-pattern result-type rust scala type-safety typescript
Last synced: 05 Jan 2025
https://github.com/ekmett/succinct-binary
Succinct binary serialization
haskell serialization succinct
Last synced: 15 Oct 2024
https://github.com/nikita-volkov/postgresql-syntax
PostgreSQL SQL syntax utilities
Last synced: 28 Oct 2024
https://github.com/andreainfufsm/elc117-2024b
ELC117 - Paradigmas de Programação - UFSM - 2024b
concurrent-programming functional-programming haskell java liascript-course logic-programming object-oriented-programming programming-paradigms prolog
Last synced: 12 Oct 2024
https://github.com/gelisam/mastering-haskell
The slides for my Packt course, "Mastering Haskell".
Last synced: 24 Oct 2024
https://github.com/prikhi/brick-image
Show Images in Your Brick TUI Using w3mimgdisplay
brick haskell images library tui w3m w3mimgdisplay
Last synced: 11 Oct 2024
