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-16 00:14:25 UTC
- JSON Representation
https://github.com/syocy/haskell-day-syocy
Slides and source codes for two sessions in Haskell Day 2018 in Tokyo
concurrency haskell latex-document parallelism presentation-slides
Last synced: 16 Jan 2025
https://github.com/isaacvando/cooklang-hs
A parser for the cook markdown language written in Haskell
Last synced: 11 Nov 2024
https://github.com/twolodzko/hasch
Minimal Scheme implemented in Haskell
haskell lisp lisp-interpreter scheme scheme-interpreter
Last synced: 22 Dec 2024
https://github.com/farbodsz/confluence-cli
Command line interface using Atlassian Confluence REST API.
atlassian-confluence cli command-line-interface confluence confluence-api haskell
Last synced: 11 Jan 2025
https://github.com/pniedzielski/mgs
Tools for working with Minimalist Grammars
haskell linguistics mg minimalistgrammars parser
Last synced: 16 Nov 2024
https://github.com/oswald2/esa-space-protocols
A Haskell library for handling space protocols from ESA (CCSDS,PUS, ...)
ccsds esa haskell missioncontrol nctrs pus
Last synced: 16 Jan 2025
https://github.com/kutyel/thinking-with-types
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
gadts haskell kotlin scala type-level type-theory types
Last synced: 07 Dec 2024
https://github.com/f3r10/ana-compiler
Compiler written on haskell based on the course Compiler Construction (UCSD CSE 131). Lisp with types
build-your-own compiler haskell lisp-dialect sexpression-language types
Last synced: 24 Nov 2024
https://github.com/gergoerdi/tinymicro-mos6502-kansas-lava
Tiny Microcomputer built around MOS6502 microprocessor
fpga haskell kansas-lava mos-6502 papilio retro xilinx
Last synced: 16 Nov 2024
https://github.com/gergoerdi/language-java-classfile
Parse Java .class files into language-java
Last synced: 16 Nov 2024
https://github.com/gergoerdi/enigma-kansas-lava
Enigma machine implemented in Kansas Lava
fpga haskell kansas-lava papilio xilinx
Last synced: 16 Nov 2024
https://github.com/gergoerdi/clash-utils
Random utility functions shared between my CLaSH projects
Last synced: 16 Nov 2024
https://github.com/gergoerdi/clash-bounce-bench
Benchmark for various methods of simulating Clash
benchmark c clash haskell sdl2 simulation verilator verilog
Last synced: 16 Nov 2024
https://github.com/positiondev/offset
A haskell library that communicates with wordpress over its api.
Last synced: 15 Nov 2024
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: 15 Dec 2024
https://github.com/balena-io-examples/balena-haskell-hello-world
Example of how to deploy haskell code on a balena supported device.
balena balena-hello-world haskell snap-server
Last synced: 30 Nov 2024
https://github.com/benaryorg/liveuniq
liveuniq is uniq -c with some real-time output
Last synced: 20 Nov 2024
https://github.com/thomasballinger/hsrepl
Haskell REPL with a few bpython-like features
developer-tools haskell repl replay
Last synced: 22 Dec 2024
https://github.com/jmackie/staskell
👷♀️ Nix helpers for building static Haskell executables
haskell nix static-link-binary
Last synced: 07 Dec 2024
https://github.com/valderman/haskell-mpv
Thread-safe Haskell wrapper around libmpv
haskell haskell-library libmpv library media-playback
Last synced: 30 Nov 2024
https://github.com/foxhound-systems/hashids-st
Reimplementation of Hashids using the ST monad
Last synced: 24 Nov 2024
https://github.com/mrkkrp/liaison
Nix as a configuration language
configuration-language haskell nix
Last synced: 18 Nov 2024
https://github.com/mrkkrp/modern-path
Type-safe path and file system operations with batteries included
Last synced: 18 Nov 2024
https://github.com/minoki/lambdaquest
An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)
haskell lambda-calculus type-system
Last synced: 20 Nov 2024
https://github.com/redneb/hs-linux-namespaces
haskell library to work with linux namespaces
haskell linux linux-namespaces virtualization
Last synced: 18 Nov 2024
https://github.com/arthurxavierx/ebook-category-theory
Bartosz Milewski's Category Theory for Programmers as an eBook
book category-theory ebook functional-programming haskell types
Last synced: 21 Nov 2024
https://github.com/haskell-hvr/only
The 1-tuple type or single-value "collection"
Last synced: 21 Nov 2024
https://github.com/haskell-hvr/hsyaml-compat-builder
Mirror API of `Data.Yaml.Builder`
Last synced: 21 Nov 2024
https://github.com/taktoa/libsecret
Easy-to-use Haskell bindings for libsecret; wrapper around `gi-secret` (WIP).
Last synced: 21 Nov 2024
https://github.com/lupino/haskell-hole
A hole to pass through the gateway. haskell version
haskell haskell-hole hole portforward proxy-server
Last synced: 21 Nov 2024
https://github.com/radrow/radlang
A functional programming language intepreter with typeclasses, full type inference and lazy evaluation
haskell interpreter parsing programming-language
Last synced: 22 Nov 2024
https://github.com/drknzz/haskell-blockchain
🗿 Blockchain module written in Haskell 🗿
block blockchain ghci haskell module prelude
Last synced: 22 Dec 2024
https://github.com/kiridi/inductive-haskell
Inductive Haskell
haskell inductive-learning inductive-program-synthesis program-synthesis
Last synced: 02 Dec 2024
https://github.com/freakwill/fuckhaskell
☯ When I do it, I always say fuck Haskell.
algebra haskell monads options-parsing string
Last synced: 28 Nov 2024
https://github.com/jbl428/learn-haskell-blog-generator
Learn Haskell by building a blog generator 한국어 번역
Last synced: 08 Dec 2024
https://github.com/totallynotchase/intcode
The aoc2019 intcode interpreter written in haskell
aoc2019 haskell intcode-machine intcode-puzzle
Last synced: 28 Nov 2024
https://github.com/simonmichael/metapong
Experimental haskell pong-like game collaborative project.
game gamedev haskell haskell-game nomic pong-game
Last synced: 15 Dec 2024
https://github.com/simonmichael/aoc2018
My solutions for Advent of Code 2018 puzzles.
aoc aoc2018 exercises-solutions haskell
Last synced: 15 Dec 2024
https://github.com/simonmichael/breakout
A Breakout prototype, for exploring haskell game dev.
Last synced: 15 Dec 2024
https://github.com/caneroj1/search
Search algorithms in Haskell
ai graph-search haskell search-algorithm
Last synced: 08 Dec 2024
https://github.com/caneroj1/haskell-game-of-life
Brief Game of Life Implementation in Haskell
Last synced: 08 Dec 2024
https://github.com/0xpantera/halcyon
Compiler for a subset of C written in Haskell
c compilers haskell programming-languages
Last synced: 03 Dec 2024
https://github.com/maorleger/mastermind
Interactive Mastermind solver algorithm
elm game hask haskell mastermind solver
Last synced: 16 Dec 2024
https://github.com/0xd34df00d/cmake-syntax
A library for parsing CMake syntax
Last synced: 04 Dec 2024
https://github.com/0xd34df00d/monad-metrics-extensible
Type-safe and extensible metrics monad over ekg
gadt haskell metrics monad type-safety
Last synced: 04 Dec 2024
https://github.com/0xd34df00d/edit-distance-linear
Levenshtein edit distance in linear memory (also turns out to be faster than C++)
edit-distance haskell levenshtein-distance
Last synced: 04 Dec 2024
https://github.com/eloyekunle/haskell_snippets
Useful snippets and algorithms in Haskell
algorithms functional-programming hackerrank haskell
Last synced: 16 Dec 2024
https://github.com/msabramo/haskell-poker
Simple poker game written in Haskell
Last synced: 16 Dec 2024
https://github.com/m-col/gitja
Templated web page generator for your git repositories 🐙
git haskell jinja2 self-hosted static-site static-site-generator
Last synced: 10 Jan 2025
https://github.com/tusharad/haskell-examples
Collection of Concept-wise Haskell programs for learning.
functional-programming haskell
Last synced: 17 Dec 2024
https://github.com/natserract/tapi
Backend architecture representation in TLP
haskell learn typelevel-programming
Last synced: 17 Dec 2024
https://github.com/dhess/mellon
Control physical access device (e.g., an electric strike) from Haskell
Last synced: 17 Dec 2024
https://github.com/kakkun61/yesod-relational-record
Using haskell-relational-record with Yesod.
Last synced: 18 Dec 2024
https://github.com/epicallan/eval-cso
Customer Service officer evaluation app backend - BETA
haskell persistent rest-api servant
Last synced: 18 Dec 2024
https://github.com/ajeetdsouza/tic-tac-toe
A terminal-based tic-tac-toe game + AI
Last synced: 18 Dec 2024
https://github.com/ncaq/string-transform
simple and easy haskell string transform
haskell haskell-library string
Last synced: 18 Dec 2024
https://github.com/ncaq/debug-trace-var
You do not have to write variable names twice in Debug.Trace
Last synced: 18 Dec 2024
https://github.com/ncaq/nlod
JLODを改良したMozc/Google日本語入力向けのDvorakローマ字テーブル
dvorak google-ime google-japanese-input haskell japanese mozc
Last synced: 18 Dec 2024
https://github.com/sofianedjerbi/haskellconnect
Connect 4 game implemented in Haskell with Gloss + minimax opponent.
game haskell minimax-algorithm
Last synced: 01 Jan 2025
https://github.com/ma-fi-94/advent-of-haskell-23
Solving all of this year's AoC challenges in Haskell.
advent-of-code advent-of-code-2023 advent-of-code-2023-haskell haskell
Last synced: 19 Dec 2024
https://github.com/morucci/freesnaky
A Snake game with a client/server mode
game haskell network-game snake snake-game terminal-game
Last synced: 24 Dec 2024
https://github.com/mr-cheff/hello-world
hello-world in any programming language.
c cpp haskell hello-world hello-world-in-all-languages helloworld helloworld-programs java ruby
Last synced: 01 Jan 2025
https://github.com/fosskers/draenor
Convert OSM PBF files into ORC, and upload them to S3.
Last synced: 01 Jan 2025
https://github.com/aloussase/miniml
MiniML in various PLs. Add yours!
haskell ocaml plzoo programming-languages rust
Last synced: 24 Dec 2024
https://github.com/carstenkoenig/gadtparser
parsing GADT-style expression trees
doctest generalized-algebraic-data-type haskell megaparsec parsing
Last synced: 29 Nov 2024
https://github.com/kutyel/kutyel-hakyll
New personal website with Hakyll!
functional-programming hakyll-site haskell nix
Last synced: 17 Oct 2024
https://github.com/ocharles/snap-error-collector
Collect errors from Snap applications and periodically flush them (via email, etc)
Last synced: 27 Oct 2024
https://github.com/psub/pascal-wittmann.de
Personal website powered by Yesod
Last synced: 11 Oct 2024
https://github.com/msakai/haskell-mip
Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
haskell mathematical-optimization mathematical-programming mixed-integer-programming
Last synced: 12 Oct 2024
https://github.com/prateekkumarweb/haskell-go-checkers
Go and checkers game in Haskell
Last synced: 29 Sep 2024
https://github.com/aztek/voogie
A verification conditions generator for Boogie programs
boogie haskell tptp vampire verification verification-conditions
Last synced: 05 Dec 2024
https://github.com/liesnikov/extensible-elaborator
prototype implementation of a dependently-typed language with an extendable constraints and accompanying materials
dependent-types elaboration haskell programming-language prototype
Last synced: 10 Dec 2024
https://github.com/jaalonso/temas_interactivos_de_pf_con_haskell
Temas interactivos de programación funcional con Haskell.
Last synced: 06 Dec 2024
https://github.com/jaalonso/exercitium
Ejercicios de programación funcional con Haskell
functional-programming haskell
Last synced: 06 Dec 2024
https://github.com/ci-fst/lfst
L-Fuzzy Set Theory implementation in Haskell
Last synced: 14 Oct 2024
https://github.com/prikhi/bnb-staking-csvs
Generate CSV Exports of Your BNB Staking Rewards
binance-api binance-chain bnb bsc csv csv-export haskell staking staking-rewards
Last synced: 11 Oct 2024
https://github.com/raquentin/punt-engine
📉 An FPGA-accelerated high-frequency trading engine.
Last synced: 20 Dec 2024
https://github.com/kleidukos/diff-package-api
Workflow to have golden tests on your Haskell package's API
Last synced: 12 Oct 2024
https://github.com/simonmichael/symon
Minimal implementation(s) of the classic electronic memory game
game gamedev haskell ludum-dare memory-game
Last synced: 09 Oct 2024
https://github.com/fazendaaa/project-euler
Some of the Project Euler exercises in different languages
c cpp haskell nodejs project-euler project-euler-solutions python ruby typescript
Last synced: 13 Jan 2025
https://github.com/chris-martin/mvar-lock
A trivial lock based on MVar
concurrency haskell haskell-library
Last synced: 10 Oct 2024
https://github.com/gspia/fcf-containers
fcf-containers add tools that can be used with first-class-families
dependent-types haskell haskell-library types
Last synced: 20 Oct 2024
https://github.com/lpil/purescript-format
formatter haskell pretty-printer purescript
Last synced: 21 Nov 2024
https://github.com/pragmatwice/light2d-hs
learn miloyip/light2d, and translate to haskell
Last synced: 06 Dec 2024
https://github.com/micheleriva/caesar-cipher
👑 Dead Simple Caesar Cipher written in Haskell
caesar-cipher cipher cipher-algorithms haskell haskell-learning haskell-library
Last synced: 14 Dec 2024
https://github.com/raehik/bytepatch
Patch data (text, bytes, assembly) in a file using a convenient, flexible schema
binary-data haskell json patching reverse-engineering
Last synced: 12 Oct 2024
https://github.com/mrkkrp/html-entity-map
Map from HTML5 entity names to the corresponding Unicode text
haskell html html-entities html5
Last synced: 28 Oct 2024
https://github.com/rtsao/aoc-2019
Learning Haskell via Advent of Code 2019
advent-of-code advent-of-code-2019 haskell
Last synced: 27 Dec 2024
