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-11 00:09:46 UTC
- JSON Representation
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/mmark-md/mmark-ext
Commonly useful extensions for the MMark markdown processor
Last synced: 12 Oct 2024
https://github.com/l7r7/gitlab-ci-build-statuses
Get the statuses of the CI pipelines in a group in Gitlab CI and display them on an HTML page
ci-pipelines docker gitlab-api gitlab-ci haskell
Last synced: 20 Dec 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/sjoerdvisscher/algebraic-classes
Conversions between algebraic classes and F-algebras.
algebraic algebras conversion generics haskell signature
Last synced: 15 Oct 2024
https://github.com/infinisil/soph
Efficiently import pictures while handling duplicates gracefully
blockhash deduplication haskell perceptual-hashing pictures-organizer similarity-search
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/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/surrsurus/gazelle
Scripting language inspired by LISP and Scheme
deer experiment functional functional-programming haskell interpreter lambda-calculus lisp lisp-interpreter python repl scheme scheme-interpreter scripting-language
Last synced: 19 Nov 2024
https://github.com/pbrisbin/bugsnag-haskell
Bugsnag error reporter for Haskell
Last synced: 02 Nov 2024
https://github.com/athanclark/nested-routes
Declarative, Compositional Url Handling for WAI
composable haskell haskell-warp http-server
Last synced: 08 Nov 2024
https://github.com/mehanix/teme-fmi
🎓 Homework/Coursework during my bachelor's in Computer Science
algorithms-and-data-structures artificial-intelligence computer-science cpp data-structures database-design databases fmi formal-languages haskell homework-exercises ios-swift java mips-assembly nodejs operating-systems python signal-processing webdev
Last synced: 15 Oct 2024
https://github.com/tfausak/saturn
:ringed_planet: Handle POSIX cron schedules.
Last synced: 28 Oct 2024
https://github.com/haskell-cryptography/blake2
A Haskell library providing BLAKE2
Last synced: 12 Oct 2024
https://github.com/aupiff/keccak
Keccak hash functions
haskell keccak pure-haskell sha3 shake sponge
Last synced: 28 Oct 2024
https://github.com/typedbyte/finito
A constraint solver for finite domains, written in Haskell.
Last synced: 12 Oct 2024
https://github.com/halostatue/fish-haskell
Haskell configuration for Fish
cabal fish fish-plugin fish-shell fisher haskell
Last synced: 18 Oct 2024
https://github.com/gvolpe/types-matter
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
haskell newtypes refined refinement-types types
Last synced: 10 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/sighingnow/mxnet-haskell
MXNet interface in Haskell.
deep-learning ffi-bindings haskell mxnet
Last synced: 14 Oct 2024
https://github.com/sgraf812/datafix
Fixing data-flow problems in expression trees
compiler-optimization data-flow-analysis haskell
Last synced: 12 Oct 2024
https://github.com/vyorkin/haskbot
:construction: Haskell interpreter telegram bot. WIP.
Last synced: 12 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/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/ryota-ka/duration
A tiny compile-time time utility library, inspired by zeit/ms.
Last synced: 16 Oct 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
Last synced: 28 Oct 2024
https://github.com/lysxia/show-combinators
Minimalistic Haskell pretty-printing library
Last synced: 28 Oct 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/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/cosmo0920/ahblog
A simple Blog engine powered by Haskell language, Yesod and Bootstrap 3.
Last synced: 12 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/iconnect/rails-session
Decrypt Ruby on Rails sessions in Haskell
Last synced: 01 Oct 2024
https://github.com/obsidiansystems/constraints-extras
Convenience functions and template haskell for working with constraints
Last synced: 07 Nov 2024
https://github.com/ryota-ka/markov-bot
Generates random sentences from your tweet history using the Markov chain, and post them into Twitter.
Last synced: 16 Oct 2024
https://github.com/marcusbuffett/newreads
The code for the newreads site
books functional-programming hacktoberfest halogen haskell purescript
Last synced: 28 Oct 2024
https://github.com/tristancacqueray/pipewire.hs
Haskell bindings to Pipewire Multimedia Framework
Last synced: 12 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/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/tomeraberbach/programming-in-haskell-exercises
My solutions for the exercises presented in Graham Hutton's Programming in Haskell.
exercises-solutions functional-programming graham-hutton haskell programming-in-haskell pure-functional textbook-exercises
Last synced: 11 Oct 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/verement/decimal-arithmetic
A Haskell implementation of General Decimal Arithmetic
Last synced: 12 Oct 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/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/morphismtech/free-categories
free categories
functor haskell isomorphism morphisms quivers
Last synced: 29 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/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/simonmichael/haskell-links
Exploratory project to gather Haskell links
Last synced: 28 Oct 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/typeclasses/leanpub
Haskell client for the Leanpub API
haskell haskell-library leanpub leanpub-api wreq
Last synced: 08 Nov 2024
https://github.com/pjones/openid-connect
An OpenID Connect library that does all the heavy lifting for you
Last synced: 28 Oct 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/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/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/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
Last synced: 16 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"
Last synced: 07 Nov 2024
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/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/mariari/misc-ml-scripts
Various ideas in OCaml, Haskell, and F*
Last synced: 07 Dec 2024
https://github.com/josefilipeferreira/haskhell3d
Haskell-Gloss Doom-like 3D shooter
Last synced: 16 Dec 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/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/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/dduan/brainass
A Brainfuck to WebAssembly compiler written in Haskell
brainfuck haskell wasm wasm-example webassembly
Last synced: 11 Jan 2025
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/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/haskell-hvr/otp
Haskell implementation of One-Time Passwords algorithms
2fa-security haskell hotp oath totp
Last synced: 21 Nov 2024
https://github.com/gregorias/findata-fetcher
A scraper of personal financial data from websites
Last synced: 20 Nov 2024
https://github.com/dagit/logict-sequence
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
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/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/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/airalab/robonomics-tools
Robonomics network provider software (xrtd) and other cli tools
aira airalab ethereum haskell robonomics
Last synced: 09 Dec 2024
https://github.com/gitpod-samples/template-haskell
The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Last synced: 24 Nov 2024
https://github.com/martinbaillie/slack-export-indexer
Parses Slack export archives into an ElasticSearch index for exploring with Kibana.
elasticsearch exporter haskell kibana slack
Last synced: 09 Nov 2024
https://github.com/oisdk/type-indexed-queues
Queues with verified and unverified versions
data-structures dependent-types haskell
Last synced: 21 Nov 2024
https://github.com/andreainfufsm/elc117-2020a
ELC117 - Paradigmas de Programação - UFSM - 2020a
concurrent-programming education functional-programming haskell java logic-programming object-oriented-programming programming-paradigms prolog
Last synced: 11 Nov 2024
https://github.com/obsidiansystems/push-notifications
apns firebase haskell push-notifications
Last synced: 07 Nov 2024
https://github.com/adetokunbo/tmp-proc
Use docker to run 'tmp' processes in haskell integration tests
docker haskell haskell-library testing
Last synced: 07 Nov 2024
https://github.com/unkindpartition/yaml-combinators
haskell parser validation yaml
Last synced: 08 Nov 2024
https://github.com/haskell-github-trust/true-name
Template Haskell hack to violate another module's abstractions
Last synced: 12 Dec 2024
https://github.com/aztek/atp
Haskell interface to automated theorem provers
atp automated-theorem-provers first-order-logic formal-methods haskell logic prover theorem-proving tptp
Last synced: 16 Nov 2024
https://github.com/keera-studios/haskelloids
Haskelloids: A reproduction of the Atari 1979 classic "Asteroids"
frp functional-reactive-programming game haskell opengl yampa
Last synced: 14 Nov 2024
https://github.com/moodmosaic/bookmarks
A selection of the links I find interesting over time. Updated on a regular basis.
c category-theory cryptocurrencies dotnet fsharp git haskell leisure unix-like
Last synced: 13 Nov 2024
https://github.com/petertseng/adventofcode-hs-2022
Solutions to https://adventofcode.com/2022 (complete)
advent-of-code advent-of-code-2022 haskell
Last synced: 13 Nov 2024
https://github.com/soupi/msg
a toy chat server
chat frp haskell purescript purescript-specular sockets stm websockets
Last synced: 10 Nov 2024
