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-05 00:14:09 UTC
- JSON Representation
https://github.com/obsidiansystems/beam-automigrate
Generated migrations for beam databases
beam database haskell migration
Last synced: 07 Nov 2024
https://github.com/tek/ribosome
A Neovim plugin host and framework for Haskell
Last synced: 12 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/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/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/leptonyu/salak
Haskell Configuration Loader
configuration-loader haskell salak toml yaml
Last synced: 29 Oct 2024
https://github.com/ndmitchell/hexml
A bad XML parser
haskell performant xml xml-parser
Last synced: 18 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/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/dfordivam/reflex-websocket-interface
A simple to use interface for websocket using reflex-frp
Last synced: 07 Nov 2024
https://github.com/tfausak/imp
:smiling_imp: Automatically import Haskell modules.
Last synced: 28 Oct 2024
https://github.com/sjoerdvisscher/effects
Control.Effects
eff haskell monad-transformers
Last synced: 08 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/barrucadu/irc-client
This project is essentially abandonware!
Last synced: 01 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/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/ondrap/dynamodb-simple
Type-safe Haskell framework for AWS DynamoDB
Last synced: 20 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/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/waddlaw/haskell-stack-trace-plugin
compiler-plugin haskell source-plugin
Last synced: 06 Nov 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/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/ariady-putra/morbid
Davy Jones' Locker
aiken dapp haskell offchain onchain playground plutus smart-contract
Last synced: 14 Nov 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/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/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/composewell/unicode-data
Access unicode character database
Last synced: 12 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/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/alpacaaa/tex
Minimalistic file explorer, written in Haskell.
Last synced: 30 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/y-taka-23/time-machine
A Haskell library to mock the current time. β°
Last synced: 14 Oct 2024
https://github.com/selectel/hen
Haskell bindings to Xen hypervisor interface
Last synced: 18 Dec 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/takenobu-hs/type-introduction-illustrated
Haskell type introduction illustrated
Last synced: 07 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/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/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/leptonyu/odpic-raw
Haskell raw bindings to Oracle ODPI-C Library
Last synced: 29 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/psibi/sysinfo
Haskell Interface for getting overall system statistics
Last synced: 28 Oct 2024
https://github.com/basvandijk/levmar
An implementation of the Levenberg-Marquardt algorithm
Last synced: 28 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/lysxia/quickcheck-higherorder
QuickCheck extension for higher-order properties
haskell higher-order quickcheck testing
Last synced: 28 Oct 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/gvolpe/postgresql-resilient
Automatic re-connection support for PostgreSQL.
haskell postgres postgresql postgresql-database reconnection resilient
Last synced: 28 Oct 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/mrkkrp/hspec-megaparsec
Utility functions for testing Megaparsec parsers with Hspec
haskell hspec megaparsec testing
Last synced: 28 Oct 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/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/motus/haskell-zookeeper-client
Apache ZooKeeper client for Haskell (GHC)
haskell zookeeper zookeeper-client
Last synced: 28 Nov 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/composewell/bench-show
Show, plot and compare benchmark results
benchmarking haskell haskell-library performance
Last synced: 20 Dec 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/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/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/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/lukehoersten/activitypub
Haskell ActivityPub server library
Last synced: 13 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/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/cdepillabout/servant-rawm
Effectful Raw handler for Servant servers.
hacktoberfest haskell raw servant
Last synced: 12 Oct 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/tfausak/burrito
:burrito: Parse and render URI templates.
Last synced: 28 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: 10 Dec 2024
https://github.com/lotz84/cli-rss-reader
Vtyγδ½Ώγ£γ¦δ½γη°‘εγͺRSSγͺγΌγγΌ
Last synced: 08 Nov 2024
https://github.com/ofmooseandmen/jord
Geographical Position Calculations
geodesy geodetics geography haskell kinematics n-vector wgs84
Last synced: 08 Nov 2024
https://github.com/sestrella/asdf-ghcup
An asdf plugin wrapping GHCup.
asdf asdf-plugin ghcup haskell
Last synced: 19 Oct 2024
https://github.com/leftaroundabout/dynamic-plot
Interactive windows for displaying Haskell-generated diagrams
graphing haskell visualisation
Last synced: 12 Nov 2024
https://github.com/cdepillabout/haskell-type-families-presentation
This is a presentation about haskell's type families.
haskell presentation type-families
Last synced: 14 Nov 2024
https://github.com/brandonchinn178/toml-reader
Haskell library for parsing v1.0 TOML files
Last synced: 28 Oct 2024
https://github.com/freckle/faktory_worker_haskell
Faktory Worker for Haskell
Last synced: 27 Dec 2024
https://github.com/factisresearch/large-hashable
Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
generics hashing haskell md5 sha256 sha512 template-haskell
Last synced: 06 Nov 2024
https://github.com/blackmatov/fun.hpp
My old crazy idea about functional programming in C++
c-plus-plus c-plus-plus-17 cpp cpp17 functional-programming haskell type-classes
Last synced: 14 Oct 2024
