Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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-13 00:14:29 UTC
JSON Representation

https://github.com/minad/intro

Safe and minimal Haskell Prelude

haskell prelude safe

Last synced: 28 Oct 2024

https://github.com/adinapoli/piece-table

Exploration of the Piece Table data structure in Haskell

data-structures haskell piece-table

Last synced: 15 Oct 2024

https://github.com/sjoerdvisscher/algebraic-classes

Conversions between algebraic classes and F-algebras.

algebraic algebras conversion generics haskell signature

Last synced: 15 Oct 2024

https://github.com/prikhi/hirc

An IRC Client with a Split Connection Daemon & TUI Frontend.

brick demuxer haskell irc irc-client multiplexer tui

Last synced: 11 Oct 2024

https://github.com/tfausak/saturn

:ringed_planet: Handle POSIX cron schedules.

cron haskell

Last synced: 28 Oct 2024

https://github.com/bharathgs/warcode

Solutions to Codewars katas

codewars codewars-kata haskell python solutions

Last synced: 23 Oct 2024

https://github.com/nwtgck/platy-lang-haskell

Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement language

compiler haskell language llvm programming-language

Last synced: 23 Oct 2024

https://github.com/taktoa/ghcjs-electron

GHCJS FFI bindings to the Electron API (WIP).

bindings electron ghcjs haskell wip

Last synced: 12 Oct 2024

https://github.com/mxswd/data-filepath

A type safe file path data structure.

haskell

Last synced: 11 Nov 2024

https://github.com/minad/writer-cps-transformers

Compatibility package for old transformers: Stricter drop in replacements for WriterT and RWST

haskell monad-transformers writer-monad

Last synced: 13 Oct 2024

https://github.com/jjba23/free-alacarte

Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make embedded DSLs in Haskell.

composition dependency-injection dsl free functional-programming functor haskell library monad

Last synced: 12 Oct 2024

https://github.com/jimouris/lambda-calculus-interpreter

⚙️ A simple lambda (λ) calculus interpreter

church-numerals haskell lambda lambda-calculus lambda-calculus-interpreter

Last synced: 06 Nov 2024

https://github.com/joom/distributed-hash-table

A Haskell implementation of distributed hash tables with two-phase commit.

deadlock distributed-systems haskell heartbeat lock replicas

Last synced: 12 Nov 2024

https://github.com/kleidukos/servant-effectful

Servant bindings for the Effectful ecosystem

effect-system effectful haskell servant

Last synced: 09 Nov 2024

https://github.com/lenguyenthedat/aws-redshift-to-rds

A simple command-line tool to copy tables from Amazon Redshift to Amazon RDS (PostgreSQL).

amazon-rds amazon-redshift aws aws-redshift haskell rds

Last synced: 15 Oct 2024

https://github.com/andreasabel/cabal-clean

Remove outdated compilation artefacts left by cabal v2-build

cabal clean disk-space haskell

Last synced: 27 Oct 2024

https://github.com/konn/sized

Sized sequence data-types

containers dependent-types ghc haskell type-level-programming

Last synced: 28 Oct 2024

https://github.com/ocharles/listenbrainz-client

A client to the ListenBrainz project

haskell listenbrainz metabrainz musicbrainz

Last synced: 23 Oct 2024

https://github.com/robrix/surface

Dependently-typed language w/ little to say for itself

dependent-types haskell proof-refinement typechecker

Last synced: 23 Oct 2024

https://github.com/keera-studios/hcwiid

Haskell binding for CWiid (wiimote)

cwiid devices ffi ffi-bindings game game-development haskell wiimote

Last synced: 14 Nov 2024

https://github.com/unclechu/midihaskey

MIDIHasKey — Virtual MIDI keyboard suitable for microtonal music

audio audio-processing cplusplus cpp haskell jack jackaudio keyboard microtonal midi midi-keyboard wxwidgets

Last synced: 11 Oct 2024

https://github.com/jecaro/ghcid-error-file.nvim

neovim plugin for ghcid

ghcid ghciwatch haskell neovim neovim-plugin

Last synced: 28 Nov 2024

https://github.com/ixmatus/pub

A CLI tool for piping from stdin to a redis pub/sub channel.

command-line haskell piping pub redis redis-channel

Last synced: 11 Oct 2024

https://github.com/obsidiansystems/constraints-extras

Convenience functions and template haskell for working with constraints

constraints haskell

Last synced: 13 Jan 2025

https://github.com/gregorias/findata-fetcher

A scraper of personal financial data from websites

haskell

Last synced: 20 Nov 2024

https://github.com/angerman/data-bitcode-llvm

Data.BitCode.LLVM

bitcode haskell llvm

Last synced: 10 Oct 2024

https://github.com/kowainik/crocodealer

🐊 Manage GitHub organization files, labels, issues

github haskell labels management open-source organization workflow workflows

Last synced: 12 Nov 2024

https://github.com/pjones/openid-connect

An OpenID Connect library that does all the heavy lifting for you

haskell openid-connect

Last synced: 28 Oct 2024

https://github.com/sleexyz/haskell-fun

haskell is fun

fun haskell is

Last synced: 06 Nov 2024

https://github.com/dagit/logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

haskell logict

Last synced: 08 Nov 2024

https://github.com/taffybar/gtk-traymanager

A wrapper around eggtraymanager for Haskell/gtk2hs

gtk2hs haskell tray-widget xembed

Last synced: 08 Nov 2024

https://github.com/simonmichael/haskell-links

Exploratory project to gather Haskell links

haskell haskell-learning

Last synced: 28 Oct 2024

https://github.com/unclechu/xlib-keys-hack

Keyboard behavior customization utility

haskell keyboard keyboard-layout linux x11 xkb xlib xmobar xmonad

Last synced: 08 Jan 2025

https://github.com/cdepillabout/servant-on-heroku

Example app showing how to release a Haskell web app on Heroku

database deployment docker example haskell heroku postgresql servant

Last synced: 14 Nov 2024

https://github.com/raptazure/experiments

Just toys

cpp elixir haskell idris java ocaml python reasonml rust-lang typescript

Last synced: 21 Nov 2024

https://github.com/lysxia/roll-your-own-irc-bot

Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot

haskell irc network tutorial

Last synced: 28 Oct 2024

https://github.com/lysxia/show-combinators

Minimalistic Haskell pretty-printing library

haskell

Last synced: 28 Oct 2024

https://github.com/haskell-hvr/hsyaml-aeson

JSON to YAML Adapter

haskell json yaml

Last synced: 21 Nov 2024

https://github.com/cocreature/diagrams-miso

Miso backend for the diagrams Haskell graphics library

diagrams graphics haskell miso web

Last synced: 17 Oct 2024

https://github.com/typeclasses/assoc-list

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

association-list haskell haskell-library

Last synced: 05 Dec 2024

https://github.com/vyorkin/haskbot

:construction: Haskell interpreter telegram bot. WIP.

haskell telegram

Last synced: 12 Nov 2024

https://github.com/alhassy/multistage-programming-taha

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''

cheatsheet haskell metaocaml multi-stage-programming ocaml

Last synced: 10 Oct 2024

https://github.com/haskell-hvr/resolv

dns dns-client haskell resolv

Last synced: 21 Nov 2024

https://github.com/haskell-hvr/otp

Haskell implementation of One-Time Passwords algorithms

2fa-security haskell hotp oath totp

Last synced: 21 Nov 2024

https://github.com/juspay/hoogleverse

Host Hoogle via Nix / NixOS, with handpicked list of packages

haskell hoogle nix self-hosted

Last synced: 12 Nov 2024

https://github.com/dmjio/miso-from-html

Lex, parse and pretty print HTML as Miso View syntax

haskell lexer miso parser parser-combinators pretty-print

Last synced: 16 Nov 2024

https://github.com/dschrempf/elynx

Analyze, modify and simulate molecular sequence data and phylogenetic trees in a reproducible way.

bioinformatics haskell phylogenetics

Last synced: 12 Oct 2024

https://github.com/typeclasses/leanpub

Haskell client for the Leanpub API

haskell haskell-library leanpub leanpub-api wreq

Last synced: 08 Nov 2024

https://github.com/picnoir/dobadobots

Videogame in which you program robots AI

haskell haskell-game sdl2 sdl2-ttf videogame

Last synced: 08 Nov 2024

https://github.com/tristancacqueray/pipewire.hs

Haskell bindings to Pipewire Multimedia Framework

haskell pipewire

Last synced: 12 Oct 2024

https://github.com/sempruijs/json2nix

A json to nix converterwritten in Haskell

converter flake haskell json nix

Last synced: 12 Oct 2024

https://github.com/hellwolf/yul-dsl-monorepo

The monorepo of YulDSL (a DSL for Solidity/Yul) and its programming frontend Yolc.

category-theory compiler dsl haskell linear-types solidity symmetric-monoidal-categories yul

Last synced: 15 Nov 2024

https://github.com/matsubara0507/servant-kotlin

Automatically derive Kotlin functions to query servant webservices

haskell haskell-library haskell-servant kotlin servant-client

Last synced: 08 Nov 2024

https://github.com/betaveros/bcodex

A command-line utility in Haskell (as well as tiny JS app) for flexibly converting between puzzlehunt-y "encodings"

encoding haskell puzzlehunt

Last synced: 07 Nov 2024

https://github.com/picnoir/DobadoBots

Videogame in which you program robots AI

haskell haskell-game sdl2 sdl2-ttf videogame

Last synced: 30 Nov 2024

https://github.com/gergoerdi/brainfuck

Brainfuck interpreter & compiler written in Haskell, with focus on readability instead of performance

brainfuck compiler haskell interpreter

Last synced: 16 Nov 2024

https://github.com/sighingnow/mxnet-haskell

MXNet interface in Haskell.

deep-learning ffi-bindings haskell mxnet

Last synced: 14 Oct 2024

https://github.com/verement/decimal-arithmetic

A Haskell implementation of General Decimal Arithmetic

decimal haskell

Last synced: 12 Oct 2024

https://github.com/saep/nvim-hs-ghcid

Ghcid integration plugin for nvim-hs

ghcid haskell neovim nvim-hs plugin

Last synced: 14 Oct 2024

https://github.com/mariari/misc-ml-scripts

Various ideas in OCaml, Haskell, and F*

fstar haskell ocaml

Last synced: 07 Dec 2024

https://github.com/cosmo0920/ahblog

A simple Blog engine powered by Haskell language, Yesod and Bootstrap 3.

blog haskell yesod

Last synced: 12 Oct 2024

https://github.com/gergoerdi/clash-pong

Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs

clash fpga hardware haskell pong-game

Last synced: 16 Nov 2024

https://github.com/soulomoon/haskell-katas

Home for my CodeWars Haskell practice

codewars-kata codewars-solutions haskell haskell-exercises haskell-learning

Last synced: 14 Oct 2024

https://github.com/jship/s3k

Do more with stack by typing less!

alias build-tool haskell regex regular-expression stack

Last synced: 14 Oct 2024

https://github.com/pirate/experiments

:sparkles: Random (sometimes xkcd-inspired) Python, Haskell, and JS experiments involving data science and algorithm fun.

algorithms computer-science data-science data-structures game-theory haskell javascript machine-learning math python random snippets statistics test-bed

Last synced: 28 Oct 2024

https://github.com/morphismtech/free-categories

free categories

functor haskell isomorphism morphisms quivers

Last synced: 29 Oct 2024

https://github.com/plapadoo/matrix-bot

Provide a simple, script-friendly interface to posting stuff on matrix channels

automation haskell http matrix riot-web

Last synced: 16 Dec 2024

https://github.com/laserpants/fuzzyset-haskell

:sheep: A fuzzy string set implementation in Haskell.

fuzzy-matching haskell search string

Last synced: 28 Oct 2024

https://github.com/mratsim/haskell-numbertheory

Exploration of primes, factorization and number theory through haskell

factorization haskell number-theory prime-numbers

Last synced: 23 Oct 2024

https://github.com/diasbruno/language-js

Parser for es6 and es7.

ast es6 es7 haskell javascript parser

Last synced: 23 Oct 2024

https://github.com/josefilipeferreira/haskhell3d

Haskell-Gloss Doom-like 3D shooter

3d-shooter gloss haskell

Last synced: 16 Dec 2024

https://github.com/ryota-ka/markov-bot

Generates random sentences from your tweet history using the Markov chain, and post them into Twitter.

haskell markov-chain twitter

Last synced: 16 Oct 2024

https://github.com/martinsos/aoc-2023-haskell-template

Template for solving Advent of Code 2023 in Haskell

advent-of-code advent-of-code-2023 haskell

Last synced: 19 Nov 2024

https://github.com/ryota-ka/duration

A tiny compile-time time utility library, inspired by zeit/ms.

haskell template-haskell time

Last synced: 16 Oct 2024

https://github.com/airalab/robonomics-tools

Robonomics network provider software (xrtd) and other cli tools

aira airalab ethereum haskell robonomics

Last synced: 09 Dec 2024

https://gitlab.com/gilmi/giml-lang

https://giml-lang.org A functional programming language with emphasis on structural typing.

compiler haskell parsing type inference

Last synced: 07 Nov 2024

https://github.com/jaalonso/examenes_de_pf_con_haskell

Exámenes de programación funcional con Haskell

functional-programming haskell

Last synced: 06 Dec 2024

https://github.com/iconnect/rails-session

Decrypt Ruby on Rails sessions in Haskell

haskell rails ruby web

Last synced: 01 Oct 2024

https://github.com/arsalan0c/cdp-hs

Haskell library for the Chrome DevTools Protocol

chrome chrome-devtools-protocol haskell

Last synced: 02 Nov 2024

https://github.com/phlummox/hs-perl5

embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.haskell.org/package/hs-perl5-0.1.0/candidate. pre-alpha stage software

embeddings haskell perl

Last synced: 16 Nov 2024