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-17 00:13:45 UTC
- JSON Representation
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/arowm/haskell-bookkeeping
A Haskell module for bookkeeping by double entry.
bookkeeping haskell haskell-bookkeeping
Last synced: 14 Nov 2024
https://github.com/unkindpartition/yaml-combinators
haskell parser validation yaml
Last synced: 08 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
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/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/corsis/splice
A Haskell library that implements most efficient socket-to-socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls.
Last synced: 24 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/alexandru/days-since
Simple command line for showing the number of passed days since a certain date
Last synced: 09 Nov 2024
https://github.com/ucsd-progsys/intro-refinement-types
Introductory Tutorial on Refinement Types
haskell liquidhaskell refinement-types smt
Last synced: 24 Dec 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/tejasbubane/haskell-book-code
[Complete] Solutions to exercises from "Haskell Book" along with study notes
exercises haskell haskell-learning learning-by-book
Last synced: 13 Nov 2024
https://github.com/05st/capri
A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.
compiler functional-programming haskell language languages programming-language
Last synced: 16 Jan 2025
https://github.com/tfausak/haskell-package-checklist
:ballot_box_with_check: Write better Haskell packages
Last synced: 17 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/lupino/sharefs
A share file system base on http and fuse
fuse fuse-filesystem haskell haskell-library microservice microservices
Last synced: 21 Nov 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/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/tfausak/salve
:syringe: Semantic version numbers and constraints for Haskell.
Last synced: 28 Oct 2024
https://github.com/srid/miso-viso
Playing with abstract visualizations in Miso. Work in Progress.
haskell miso svg visualization
Last synced: 10 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/meooow25/samsort
A stable adaptive mergesort implementation
Last synced: 30 Oct 2024
https://github.com/l29ah/hatexmpp3
XMPP client with synthetic filesystem (9P) and (optional) graphical (GTK3) interfaces
Last synced: 24 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/jecaro/systranything
Create a system tray menu from a YAML file with shell commands
appindicator haskell haskell-gi system-tray
Last synced: 06 Dec 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/tristancacqueray/haxible
Ansible interpreter powered by Haxl
Last synced: 23 Oct 2024
https://github.com/3noch/twitch-cli
CLI to watch file patterns and run commands when they change
cli command-line-tool file-system haskell inotify inotifywait
Last synced: 10 Oct 2024
https://github.com/myuon/minilight
A SDL2-based graphics library, batteries included.
Last synced: 15 Oct 2024
https://github.com/zudov/servant-realworld-example-app
Exemplary real world application built with servant
example haskell realworld servant
Last synced: 24 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/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/hvr/cabal-env
Tool for managing GHC package environments
Last synced: 12 Oct 2024
https://github.com/taktoa/hsdm
An X11 display manager, written in Haskell. (WIP)
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/peti/funcmp
Function MetaPost is a Haskell frontend to the MetaPost language.
graphics haskell haskell-library latex metapost postscript
Last synced: 28 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/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/wei2912/wei2912.github.io
Personal blog.
blog cryptography functional-programming haskell ml utterances website
Last synced: 09 Nov 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/foxhound-systems/eved
Eved is an API definition eDSL in the spirit of Servant
Last synced: 06 Nov 2024
https://github.com/xgrommx/haskell-ecosystem
ecosystem haskell haskell-ecosystem
Last synced: 23 Oct 2024
https://github.com/michelboucey/glabrous
A minimalistic Mustache-like syntax, truly logic-less, pure Text DSL template library
haskell haskell-library template-engine templating
Last synced: 26 Dec 2024
https://github.com/michelboucey/nanoid
NanoID generator library and CLI tool in Haskell
binary cli haskell library nanoid unique-id-generator uuid-like
Last synced: 26 Dec 2024
https://github.com/matterhorn-chat/aspell-pipe
A pipe interface to the Aspell spell checker
Last synced: 07 Nov 2024
https://github.com/qnikst/co-log-concurrent
Concurrent backend for the co-log library
Last synced: 08 Nov 2024
https://github.com/haskell-nix/haskell-with-nixpkgs
Drop-in files ready to integrate your project with Nix ecosystem and give Nixpkgs Haskell Lib abilities for your development and CI
ecosystem github-actions haskell nix nixpkgs testing
Last synced: 13 Nov 2024
https://github.com/mariari/kaleidoscope-llvm8
haskell haskell-tutorial jit kaleidoscope llvm-hs
Last synced: 07 Dec 2024
https://github.com/toktok/hs-msgpack-types
Abstract data types and type classes for Haskell to MessagePack value converters
Last synced: 17 Nov 2024
https://github.com/composewell/concurrency-benchmarks
Benchmarks comparing concurrency overhead of streamly and async
benchmarks concurrency concurrency-benchmarks haskell
Last synced: 17 Nov 2024
https://github.com/nicholasglazer/miozu
DE-like dotfiles for Arch Linux that covers most of things with Xmonad, Xmobar and much more...
archlinux dotfiles haskell rofi-theme xmobar xmonad
Last synced: 14 Nov 2024
https://github.com/soupi/learn-twain-bulletin-app
Building a bulletin board using Haskell, twain and friends
haskell haskell-learning tutorial twain webdev
Last synced: 10 Nov 2024
https://github.com/octree/parsercombinator
Parser Combinators Written In Swift
combinator functional-programming haskell ios mac parsec parser swift
Last synced: 16 Nov 2024
https://github.com/rodrigosetti/messagepack
Serialize instance for Message Pack Object msgpack.org[Haskell]
haskell messagepack serialization
Last synced: 16 Dec 2024
https://github.com/qzchenwl/more-extensible-effects
An implementation of "Freer Monads, More Extensible Effects".
extensible-effects free-monad haskell
Last synced: 18 Nov 2024
https://github.com/cdepillabout/yahoo-finance-api
Haskell wrapper for Yahoo Finance API
Last synced: 14 Nov 2024
https://github.com/pasqu4le/huffer
A Haskell compressor based on canonical Huffman codes
cli-app compression haskell huffman-coding
Last synced: 30 Nov 2024
https://github.com/haskell-cryptography/cryptography-blake3-bindings
Vendored low-level bindings to BLAKE3 C implementation
Last synced: 18 Nov 2024
https://github.com/juev/fn-hs
Haskell library for generating file names based on current time and git commit.
Last synced: 12 Nov 2024
https://github.com/grin-compiler/souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
cfa closures control-flow-analysis datalog functional-programming haskell lazy-evaluation souffle static-analysis stg
Last synced: 06 Nov 2024
https://github.com/redneb/hs-btrfs
Haskell bindings to the btrfs API
btrfs filesystem haskell linux
Last synced: 18 Nov 2024
https://github.com/reflex-frp/reflex-fsnotify
Watch files and directories for changes using a functional-reactive interface!
filesystem frp fsnotify functional-reactive-programming haskell reflex
Last synced: 11 Nov 2024
https://github.com/simeonhristov99/fp_is_23-24
Practice sessions of group 3 for the course "Functional Programming" in the Faculty of Mathematics and Informatics, Sofia University.
funcional-programming haskell higher-order-functions lambda-functions lazy-evaluation recursion
Last synced: 14 Nov 2024
https://github.com/fptje/miso-jswidget-example
Example of embedding arbitrary javascript widgets into Miso.
Last synced: 13 Nov 2024
https://github.com/norfairking/template-optparse
Template Argument, Option, Environment, Configuration parsing code for Haskell
Last synced: 06 Nov 2024
https://github.com/grctest/grc-netdata
Netdata charts for Gridcoin
boinc charts cryptocurrency gridcoin haskell jq monitoring netdata turtle
Last synced: 03 Dec 2024
https://github.com/simre1/haskell-game
apecs ecs game game-engine gpipe haskell opengl
Last synced: 07 Nov 2024
https://github.com/trskop/connection-pool
Connection pool built on top of resource-pool and streaming-commons packages.
connection-pool haskell resource-pool tcp tcp-client unix-sockets unix-sockets-client
Last synced: 28 Oct 2024
https://github.com/jyothsnasrinivas/eta-scotty-example
Scotty example in Eta
eta functional-programming haskell jvm
Last synced: 29 Nov 2024
https://github.com/romac/lfc-haskell
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
fixed-points haskell lambda-calculus recursion-schemes
Last synced: 06 Nov 2024
https://github.com/tfausak/patrol
:signal_strength: A Sentry SDK for Haskell
Last synced: 28 Oct 2024
https://github.com/joshuaclayton/file-fun
A fun program for files, written in Haskell, to demonstrate a monad transformer stack
Last synced: 07 Nov 2024
https://github.com/basvandijk/vector-bytestring
ByteStrings as type synonyms of Vectors
Last synced: 28 Oct 2024
https://github.com/aloussase/emoji-cli
Emoji tool for the command line, with autocompletion!
Last synced: 06 Nov 2024
https://github.com/stackbuilders/rollbar-haskell
A group of libraries written in Haskell to communicate with Rollbar API.
Last synced: 19 Oct 2024
https://github.com/okmttdhr/haskell-algorithms
Algorithms and data structures implemented in Haskell
algorithm data-structures functional-programming haskell
Last synced: 19 Oct 2024
https://github.com/lysxia/coq-mtl
Formalized laws for mtl
coq effects formalization haskell laws monad monad-transformers
Last synced: 10 Oct 2024
https://github.com/udacity/geode
Geolocation as a service, replaced by https://github.com/udacity/geo
geolite2 geolocation haskell infrastructure maxmind platform
Last synced: 04 Nov 2024
https://github.com/lilydjwg/myhaskells
Haskell programs writing while learning
Last synced: 05 Nov 2024
https://github.com/caneroj1/filter-logger
Filterable request logging as wai middleware
Last synced: 14 Oct 2024
https://github.com/samfrohlich/hypertexture
A domain specific language embedded into Haskell providing an expressive way of creating and combining Hypertextures.
Last synced: 10 Oct 2024
