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: 2024-11-04 00:14:10 UTC
- JSON Representation
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/konn/sized
Sized sequence data-types
containers dependent-types ghc haskell type-level-programming
Last synced: 28 Oct 2024
https://github.com/carlosmchica/haskellbook
Code snippets and exercises for the Haskell book
Last synced: 01 Nov 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/mmark-md/mmark-ext
Commonly useful extensions for the MMark markdown processor
Last synced: 12 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/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/pbrisbin/bugsnag-haskell
Bugsnag error reporter for Haskell
Last synced: 02 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/kleidukos/servant-effectful
Servant bindings for the Effectful ecosystem
effect-system effectful haskell servant
Last synced: 23 Oct 2024
https://github.com/tfausak/saturn
:ringed_planet: Handle POSIX cron schedules.
Last synced: 28 Oct 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/bharathgs/warcode
Solutions to Codewars katas
codewars codewars-kata haskell python solutions
Last synced: 23 Oct 2024
https://github.com/valderman/ghc-sd
Build a GHC which produces shared libraries without runtime Haskell dependencies
Last synced: 14 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/sjoerdvisscher/algebraic-classes
Conversions between algebraic classes and F-algebras.
algebraic algebras conversion generics haskell signature
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/ocharles/listenbrainz-client
A client to the ListenBrainz project
haskell listenbrainz metabrainz musicbrainz
Last synced: 23 Oct 2024
https://github.com/athanclark/nested-routes
Declarative, Compositional Url Handling for WAI
composable haskell haskell-warp http-server
Last synced: 19 Oct 2024
https://github.com/obsidiansystems/directory-contents
Recursively build a tree of directory contents, avoiding symlink cycles
Last synced: 02 Aug 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/haskell-cryptography/blake2
A Haskell library providing BLAKE2
Last synced: 12 Oct 2024
https://github.com/meooow25/haccepted
Data structures and algorithms for competitive programming in Haskell
algorithms competitive-programming data-structures haskell
Last synced: 30 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/typedbyte/finito
A constraint solver for finite domains, written in Haskell.
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/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/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/tristancacqueray/pipewire.hs
Haskell bindings to Pipewire Multimedia Framework
Last synced: 12 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/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/verement/decimal-arithmetic
A Haskell implementation of General Decimal Arithmetic
Last synced: 12 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/dduan/brainass
A Brainfuck to WebAssembly compiler written in Haskell
brainfuck haskell wasm wasm-example webassembly
Last synced: 14 Oct 2024
https://github.com/juspay/hoogleverse
Host Hoogle via Nix / NixOS, with handpicked list of packages
haskell hoogle nix self-hosted
Last synced: 02 Aug 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/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/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/morphismtech/free-categories
free categories
functor haskell isomorphism morphisms quivers
Last synced: 29 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/unclechu/xlib-keys-hack
Keyboard behavior customization utility
haskell keyboard keyboard-layout linux x11 xkb xlib xmobar xmonad
Last synced: 28 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/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/obsidiansystems/constraints-extras
Convenience functions and template haskell for working with constraints
Last synced: 02 Aug 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/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/ryota-ka/duration
A tiny compile-time time utility library, inspired by zeit/ms.
Last synced: 16 Oct 2024
https://github.com/picnoir/DobadoBots
Videogame in which you program robots AI
haskell haskell-game sdl2 sdl2-ttf videogame
Last synced: 10 Aug 2024
https://github.com/iconnect/rails-session
Decrypt Ruby on Rails sessions in Haskell
Last synced: 01 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/matsubara0507/servant-kotlin
Automatically derive Kotlin functions to query servant webservices
haskell haskell-library haskell-servant kotlin servant-client
Last synced: 19 Oct 2024
https://github.com/typeclasses/leanpub
Haskell client for the Leanpub API
haskell haskell-library leanpub leanpub-api wreq
Last synced: 19 Oct 2024
https://github.com/kowainik/crocodealer
🐊 Manage GitHub organization files, labels, issues
github haskell labels management open-source organization workflow workflows
Last synced: 02 Aug 2024
https://github.com/vyorkin/haskbot
:construction: Haskell interpreter telegram bot. WIP.
Last synced: 02 Aug 2024
https://github.com/simonmichael/haskell-links
Exploratory project to gather Haskell links
Last synced: 28 Oct 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://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: 01 Aug 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/pjones/openid-connect
An OpenID Connect library that does all the heavy lifting for you
Last synced: 28 Oct 2024
https://github.com/metric-space/tiny-scheduler
no-brainer job scheduler for haskell
composable-time-units easy-job-scheduler haskell job-scheduler
Last synced: 12 Oct 2024
https://github.com/unkindpartition/yaml-combinators
haskell parser validation yaml
Last synced: 20 Oct 2024
https://github.com/aitorres/rockstar-lexer
A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.
alex haskell lexer lexical rockstar-language
Last synced: 14 Oct 2024
https://github.com/nicolast/landlock-hs
Haskell bindings for the Linux Landlock API
haskell haskell-library landlock linux sandbox sandboxing security
Last synced: 12 Oct 2024
https://github.com/leastauthority/haskell-magic-wormhole
Magic Wormhole for Haskell
filetransfer haskell magic-wormhole
Last synced: 12 Oct 2024
https://github.com/adetokunbo/tmp-proc
Use docker to run 'tmp' processes in haskell integration tests
docker haskell haskell-library testing
Last synced: 14 Oct 2024
https://github.com/fresheyeball/shpadoinkle
This is the OFFICIAL MIRROR of the project. It is kept automatically up to date. Source of truth here: https://gitlab.com/fresheyeball/Shpadoinkle/-/tree/master
framework functional-programming haskell javascript user-interface
Last synced: 31 Oct 2024
https://github.com/mchakravarty/welcome-to-fp-workshop
Support material for the “Introduction to Functional Programming” workshop @ the "Welcome to Functional Programming" day of YOW! Lambda Jam, Sydney, 2018 & 2019
functional-programming haskell introduction learning
Last synced: 12 Oct 2024
https://github.com/sigrlami/pollock
Repo for teaching Web Development in Haskell
elm haskell heist learning purescript react reflex-frp servant
Last synced: 11 Oct 2024
https://github.com/leptonyu/boots
IoC Monad in Haskell.
haskell haskell-application haskell-library salak
Last synced: 29 Oct 2024
https://github.com/foxhound-systems/eved
Eved is an API definition eDSL in the spirit of Servant
Last synced: 06 Nov 2024
https://github.com/myuon/minilight
A SDL2-based graphics library, batteries included.
Last synced: 15 Oct 2024
https://github.com/rpearce/robertwpearce.com
💾 My personal site; built with hakyll
blog hakyll haskell static-site static-site-generation
Last synced: 02 Nov 2024
https://github.com/thma/hswiki
Simple Wiki in the spirit of the legendary C2-Wiki - written in haskell with yesod
graphviz haskell html markdown milligram-css regex wiki wikiwiki yesod
Last synced: 29 Oct 2024
https://github.com/wei2912/wei2912.github.io
Personal blog.
blog cryptography functional-programming haskell ml utterances website
Last synced: 21 Oct 2024
https://github.com/xgrommx/haskell-ecosystem
ecosystem haskell haskell-ecosystem
Last synced: 23 Oct 2024
https://github.com/tfausak/salve
:syringe: Semantic version numbers and constraints for Haskell.
Last synced: 28 Oct 2024
https://github.com/micheleriva/hackerrank-my-solutions
🍿My solutions to HackerRank problems
ai artificial-intelligence bot cpp cpp11 elixir elixir-lang euler hackerrank hackerrank-solutions haskell js mysql regex regexp ruby scala sql
Last synced: 23 Oct 2024
https://github.com/l29ah/hatexmpp3
XMPP client with synthetic filesystem (9P) and (optional) graphical (GTK3) interfaces
Last synced: 24 Oct 2024
