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-02-11 00:14:28 UTC
- JSON Representation
https://github.com/rodrigosetti/messagepack-rpc
Message pack RPC over TCP for Haskell
haskell messagepack-format messagepack-rpc rpc
Last synced: 16 Dec 2024
https://github.com/gergoerdi/enigma-kansas-lava
Enigma machine implemented in Kansas Lava
fpga haskell kansas-lava papilio xilinx
Last synced: 17 Jan 2025
https://github.com/taktoa/libxdo
Haskell bindings to libxdo (xdotool library); WIP
ffi-bindings haskell source x11 xdotool
Last synced: 22 Jan 2025
https://github.com/fosskers/enigma
An encryption algorithm inspired by the Enigma Machine.
encryption-algorithm enigma-machine haskell
Last synced: 01 Jan 2025
https://github.com/itchyny/mackerel-client-hs
Mackerel API client in Haskell
api-client haskell haskell-library mackerel mackerel-client
Last synced: 11 Feb 2025
https://github.com/qnighy/shumilog
Shumilog - a partial Prolog implementation
haskell prolog prolog-implementation
Last synced: 07 Feb 2025
https://github.com/bohde/haskell-ci
A Travis CI & Appveyor template to test your Haskell application and publish binary releases.
appveyor continuous-integration haskell linux macos stack travis-ci windows
Last synced: 05 Feb 2025
https://github.com/caneroj1/waiter
A quick and easy-to-use web server to serve files from any directory.
Last synced: 03 Feb 2025
https://github.com/taktoa/control-theory
A Haskell control theory project (very old and bad)
Last synced: 22 Jan 2025
https://github.com/valderman/haskell-mpv
Thread-safe Haskell wrapper around libmpv
haskell haskell-library libmpv library media-playback
Last synced: 29 Jan 2025
https://github.com/flandrade/lambda-calculus-haskell
The λ-calculus in Haskell
beta-reduction church-encoding church-numerals haskell lambda-calculus
Last synced: 22 Nov 2024
https://github.com/mmzk1526/haskell-rm
Implementation of the Register Machine in Haskell so efficient that it can even simulate the Universal Register Machine!
Last synced: 07 Nov 2024
https://github.com/aneilmac/worldturtle-haskell
LOGO-like Turtle Graphics in the Haskell language using Monads.
haskell logo monad simulation teaching turtle turtle-graphics
Last synced: 29 Jan 2025
https://github.com/sakshamsharma/xmonadic-zest
My highly tweaked and modular XMonad WM config.
Last synced: 15 Jan 2025
https://github.com/jwoudenberg/ghc-generics-cheatsheet
Annotated GHC generics representations of example types
Last synced: 15 Jan 2025
https://github.com/haskell-github-trust/fgl-visualize
Convert FGL to Graphviz DOT format
Last synced: 31 Jan 2025
https://github.com/chamini2/angler-lang
The Angler Functional Programming Language
functional-programming haskell interpreter lexer parser programming-language type-theory
Last synced: 18 Jan 2025
https://github.com/ceticamarco/rhino
🦏 Simple markup language for building static websites
functional-programming haskell language-development markup-language parser ssg static-site-generator
Last synced: 25 Jan 2025
https://github.com/deciduously/tictactoe-hs
TicTacToe in Haskell, with accompanying blogpost
haskell haskell-learning tictactoe
Last synced: 11 Jan 2025
https://github.com/noti0na1/faux-racket
A Monadic Interpreter for Faux Racket written in Haskell
Last synced: 08 Feb 2025
https://github.com/shybovycha/gauss-elimination
Linear equation system solver in Haskell, implementing Gaussian elimination method
equation-solver equation-systems equations gaussian-elimination-algorithm haskell matrix
Last synced: 08 Feb 2025
https://github.com/dmjio/hello-halvm
Example "Hello World" HaLVM web-server running on the Xen Hypervisor
Last synced: 16 Nov 2024
https://github.com/jiayihu/lab
Personal experiments with technologies
functional-programming haskell
Last synced: 06 Nov 2024
https://github.com/minad/colorful-monoids
colorful-monoids: Styled console text output using ANSI escape sequences
ansi-escape-sequences haskell pretty-print
Last synced: 13 Oct 2024
https://github.com/nikita-volkov/isomorphism-class
Isomorphism typeclass solving the conversion problem
Last synced: 28 Oct 2024
https://github.com/basvandijk/string-combinators
Polymorphic functions to build and combine stringlike values
Last synced: 11 Feb 2025
https://github.com/michaelsproul/ens-search
Find awesome Ethereum names with ease!
ethereum ethereum-name-service haskell
Last synced: 16 Dec 2024
https://github.com/prolic/schnorr-cli
Schnorr-CLI tool
bitcoin haskell haskell-application schnorr schnorr-signatures
Last synced: 27 Oct 2024
https://github.com/yurrriq/advent-of-code
Semi-literate polyglot solutions to Advent of Code problems.
advent-of-code-2015 advent-of-code-2016 advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 gap haskell idris lfe literate-programming nix noweb picat tufte-latex xelatex
Last synced: 12 Oct 2024
https://github.com/yurrriq/abstract-algebra-pinter
:book: Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
abstract-algebra exercises haskell latex learning-by-book nix
Last synced: 12 Oct 2024
https://github.com/dmjio/servant-wasm
Servant support for delivering WebAssembly
Last synced: 12 Oct 2024
https://github.com/quchen/lambda-ski
A lambda and SKI calculus playground
haskell lambda-calculus ski-calculus
Last synced: 12 Oct 2024
https://github.com/duetosymmetry/game-about-squares-solver-haskell
A Haskell solver for Game About Squares (gameaboutsquares.com)
Last synced: 01 Feb 2025
https://github.com/mrkkrp/cue-sheet
Support for construction, rendering, and parsing of CUE sheets
Last synced: 12 Oct 2024
https://github.com/July541/haskell-search-extension
A browser extension to search Haskell knowledge.
chrome-extension edge-extension firefox-extension hackage haskell
Last synced: 30 Oct 2024
https://github.com/fumieval/data-vector-growable
Dynamic, growable, resizable, mutable and generic vector implementation
Last synced: 15 Oct 2024
https://github.com/owainlewis/oci-haskell-sdk
A Haskell SDK for working with Oracle Cloud Infrastructure
Last synced: 01 Feb 2025
https://github.com/thma/thma.github.io
Lambda is not a four letter word. My blog on all things haskell and FP.
equational-reasoning functional-programming haskell lambda-calculus patterns
Last synced: 29 Oct 2024
https://github.com/basvandijk/explicit-iomodes
File handles with explicit IOModes
Last synced: 11 Feb 2025
https://github.com/airsequel/double-x-encoding
Encoding scheme to encode any Unicode string with only [0-9a-zA-Z_]. Similar to URL percent-encoding. Especially useful for GraphQL ID generation.
decoding elm encoding encoding-scheme graphql haskell id javascript typescript
Last synced: 12 Oct 2024
https://github.com/saschagrunert/seer
A collaborative resource planning tool 🔮
collaboration haskell planning productvision resource roadmap schedule tool vision
Last synced: 27 Dec 2024
https://github.com/jneira/wai-servlet-handler-jetty
Wai handler to run wai applications in a embedded jetty server
eta haskell jetty wai webdevelopment
Last synced: 13 Jan 2025
https://github.com/tfausak/heptapod
:squid: Generate version 7 UUIDs in Haskell.
Last synced: 12 Oct 2024
https://github.com/barrucadu/irc-ctcp
This project is essentially abandonware!
Last synced: 20 Oct 2024
https://github.com/phenax/midibinds
An experiment to use my midi keyboard as a secondary keyboard for executing commands and macros
haskell key-bindings keyboard midi midi-controller portmidi
Last synced: 16 Nov 2024
https://github.com/jiriklepl/masters-thesis-code
This is a supplementary repository for my master's thesis
cabal cmm compiler haskell language llvm master-thesis masters-thesis mff-uk
Last synced: 05 Dec 2024
https://github.com/kutyel/mu-haskell-berlin-fp-talk
Code example and slides for my talk in the Berlin Functional Programming Group
graphql-server haskell mdx-deck mu-graphql mu-haskell
Last synced: 17 Oct 2024
https://github.com/kavon/ghc-llvm
improvements to llvm to support functional-language compilers, e.g., ghc
Last synced: 21 Dec 2024
https://github.com/obsidiansystems/monoid-map
Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct 'Group' instance.
Last synced: 07 Nov 2024
https://github.com/sjoerdvisscher/discrete-space-map
A discrete space map implemented as a zipper on an infinite perfect binary tree.
Last synced: 15 Oct 2024
https://github.com/ldilley/junk
:wastebasket: An archive of random programs
asm bash bash-script c cpp cpp11 cpp14 cpp17 csharp freebsd freebsd-kld haskell junk junk-code linux linux-kernel-module nasm python shell shell-script
Last synced: 12 Oct 2024
https://github.com/kutyel/trolleys
🛒 Haskell program to schedule trolleys and shifts randomly!
haskell haskell-application haskell-cli random random-shuffle schedule scheduler
Last synced: 17 Oct 2024
https://github.com/leventerkok/floatinghex
Hexadecimal Floats for Haskell
floating-point haskell hexadecimal-floats ieee754
Last synced: 12 Oct 2024
https://github.com/sleexyz/rebindable
Better RebindableSyntax for Indexed Monads
haskell indexed monads rebindablesyntax
Last synced: 29 Oct 2024
https://github.com/danielpancake/haskell-outrun
Outrun-like racing game made in Haskell
Last synced: 30 Oct 2024
https://github.com/simeonhristov99/fp-additional-cs
Stores solutions to the tasks given on the graduation finals of Computer Science students @ FMI.
functional-programming haskell racket
Last synced: 29 Dec 2024
https://github.com/arxiv/zzzarchived_arxiv-pandoc
Pandoc-based executable. Currently extracts text from documents
Last synced: 06 Nov 2024
https://github.com/m4lvin/mchlpe
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
agent-types epistemic-logic haskell model-checking puzzle
Last synced: 14 Oct 2024
https://github.com/jaalonso/intro-haskellformaths
Introducción a HaskellForMaths
Last synced: 06 Dec 2024
https://github.com/basvandijk/repr
Render overloaded expressions to their textual representation.
Last synced: 11 Feb 2025
https://github.com/kutyel/hangman
👾 A hangman CLI game made in Haskell!
hangman hangman-console hangman-game haskell haskell-book haskell-game
Last synced: 02 Feb 2025
https://github.com/jaalonso/i1m
Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)
Last synced: 06 Dec 2024
https://github.com/obsidiansystems/dependent-monoidal-map
Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict
containers dependent-map haskell monoidal
Last synced: 07 Nov 2024
https://github.com/utdemir/handsy
[DEPRECATED] A Haskell DSL to describe common shell operations and interpeters for running them locally and remotely.
Last synced: 28 Oct 2024
https://github.com/pravda-lang/pravda
A functional programming language that best of both worlds between Haskell and Lisp
functional-paradigm haskell interpreter lisp pravda programming-language
Last synced: 12 Oct 2024
https://github.com/prikhi/wordpress-auth
Authenticate Wordpress Cookies & Nonces in Haskell Requests.
cookies haskell nonces servant servant-auth wordpress wordpress-auth
Last synced: 11 Oct 2024
https://github.com/trskop/lock-file
Provide exclusive access to a resource using lock file.
Last synced: 12 Oct 2024
https://github.com/tristancacqueray/quickwit-haskell
Haskell client for quickwit.io
haskell log-management quickwit search-engine tantivy
Last synced: 24 Oct 2024
https://github.com/mjepronk/apie
Apie: a simple event sourcing and content addressable storage API (Warp and CGI)
cgi content-addressable-storage event-sourcing haskell
Last synced: 02 Feb 2025
https://github.com/caneroj1/mbtiles-server
Haskell MBTiles server using Servant
haskell mbtiles servant tileserver
Last synced: 03 Feb 2025
https://github.com/simonmichael/gist
A start at a reliable command-line client for gist.github.com. Obsolete.
Last synced: 28 Oct 2024
https://github.com/stevenxl/yesod-money-manager
A web application for managing money.
haskell money money-manager web-app web-application yesod
Last synced: 21 Dec 2024
https://github.com/mzguntalan/neptune
[WIP] Neptune: JAX iterop-able library in Haskell.
ai deep-learning haskell jax machine-learning python xla
Last synced: 25 Jan 2025
https://github.com/typeclasses/fractal-sets
Escape-time fractals created with Haskell and GD.
Last synced: 05 Dec 2024
https://github.com/matsubara0507/mix.hs
building rio package configuration using cont monad with extensible
extensible haskell haskell-library
Last synced: 19 Oct 2024
https://github.com/portnov/hcheckers
HCheckers is a relatively simple implementation of checkers board game (also known as "draughts")
checkers checkers-game haskell python qt5
Last synced: 14 Oct 2024
https://github.com/jaalonso/pc-haskell
Programación competitiva con Haskell
competitive-programming haskell
Last synced: 06 Dec 2024
https://github.com/ivanperez-keera/clean-home
DEPRECATED: Keep your $HOME clean by finding old conf files
Last synced: 14 Oct 2024
https://github.com/minibill/elm-prelude
A Prelude for Haskell, modeled after elm/core
Last synced: 14 Jan 2025
https://github.com/kutyel/morpheus-gql-library
Example of a GraphQL library app made with Morpheus
graphql graphql-haskell graphql-server haskell haskell-library morpheus morpheus-graphql
Last synced: 02 Feb 2025
https://github.com/amhndu/life.hs
Conway's Game of Life in Haskell
cellular-automata conway-life game-of-life haskell
Last synced: 07 Nov 2024
