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-15 00:14:06 UTC
- JSON Representation
https://github.com/krakrjak/fits-parse
Parse FITS files for Astronomy data analysis.
astronomers astronomy fits fits-parse haskell library
Last synced: 14 Oct 2024
https://github.com/m4lvin/modal-tableau-interpolation
Modal Tableau with Interpolation in Haskell
formal-verification haskell logic tableau
Last synced: 14 Oct 2024
https://github.com/kabeech/real-dice
Random number generation based on physical media touched by humans
data dice haskell human-computer-interaction physical random random-generation random-number-generators rng
Last synced: 12 Oct 2024
https://github.com/twesterhout/primme-hs
Solving large-scale sparse eigenvalue problems in Haskell (wrapper for PRIMME library)
eigenvalueproblems haskell high-performance linear-algebra numerical-methods
Last synced: 07 Feb 2025
https://github.com/mmzk1526/hrolog
A Prolog-like language
functional-programming haskell interpreter prolog
Last synced: 29 Dec 2024
https://github.com/mmzk1526/doc-jan-haskell
Solutions to Imperial College Department of Computing Haskell January Tests
functional-programming haskell ic
Last synced: 29 Dec 2024
https://github.com/dee-me-tree-or-love/happy-and-alex-typed-lukcal
Haskell Happy & Alex: Typed Polish Notation (Łukasiewicz) Calculator
calculator haskell haskell-alex haskell-happy polish-notation type-checking
Last synced: 12 Feb 2025
https://github.com/yukiisbored/jago
🐔 Simplified markup language to author HTML pages.
haskell html markup-language parsec
Last synced: 29 Dec 2024
https://github.com/airalab/railway-market-switch
Robonomics game: railway market switcher
Last synced: 03 Feb 2025
https://github.com/matsubara0507/scrapbook
this is cli that collect posts of site that is wrote in config yaml using feed or scraping.
Last synced: 19 Oct 2024
https://github.com/sauravmaheshkar/playground
Algorithms, Data Structures, Leetcode, Niche Languages
c cpp-programming haskell leetcode nix-flake prolog python3 rust tracker-misc
Last synced: 15 Oct 2024
https://github.com/takenobu-hs/haskell-wiki-search
Haskell wiki contents search for multiple wiki sites
Last synced: 29 Dec 2024
https://github.com/takenobu-hs/haskell-numeric-highlight
Syntax highlight for numeric literals of Haskell/GHC
ghc haskell syntax-highlighting
Last synced: 29 Dec 2024
https://github.com/rightfold/prependotron
A list-like data structure with fast prepend and cache-friendly fold.
Last synced: 07 Jan 2025
https://github.com/willfaught/thesis
Master's thesis
haskell language-theory ml scheme thesis
Last synced: 25 Dec 2024
https://github.com/bratergit/1000wondersprogrammingcourselist
Web resource to learn computer science or just refresh
hacktoberfest hacktoberfest-accepted hacktoberfest2022 haskell java javascript learning lisp programming-language python ruby
Last synced: 10 Feb 2025
https://github.com/lesves/toyrsa
A toy RSA implementation in Haskell (semestral project for non-procedural programming)
asymetric-cryptography haskell proof-of-concept rsa
Last synced: 12 Oct 2024
https://github.com/Airsequel/graphql
Mirror of the "graphql" Haskell package
Last synced: 06 Dec 2024
https://github.com/basvandijk/bindings-levmar
Low level Haskell bindings to the C levmar (Levenberg-Marquardt) library
Last synced: 11 Feb 2025
https://github.com/meowgorithm/mr-env
A simple way to read environment variables in Haskell
Last synced: 12 Oct 2024
https://github.com/yannick-cw/paraglidingin_front_elm
Frontend for the paragliding second hand finder, written in elm + haskell
elm frontend haskell paragliding
Last synced: 20 Jan 2025
https://github.com/evanrelf/advent-of-code
My solutions to Advent of Code programming puzzles
Last synced: 11 Feb 2025
https://github.com/lebrancworkshop/lebranc-learn-functional-programming
I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
abstract-algebra category-theory clojure elixir fsharp functional-programming haskell homotopy-type-theory javascript lambda-calculus mathematics pure-mathematics racket scala theoretical-computer-science theory-of-computation type-theory typescript
Last synced: 18 Nov 2024
https://github.com/vendethiel/bwstreams.hs
Fetches TL-listed afreecatv streams
afreeca afreecatv haskell starcraft teamliquid xml
Last synced: 27 Jan 2025
https://github.com/mbg/logstash
Haskell client library for logstash
elasticsearch elk haskell logger logging logstash
Last synced: 02 Nov 2024
https://github.com/denisshevchenko/youcon2017
Доклад для конференции ЮКОН 2017
Last synced: 08 Feb 2025
https://github.com/diekmann/isabelle-hello-world
Hello World in Isabelle, compiled to Haskell
functional-programming haskell isabelle-hol
Last synced: 09 Feb 2025
https://github.com/alx741/kaldi-gstreamer-server-haskell-client
kaldi-gstreamer-server haskell client
client gstreamer haskell kaldi
Last synced: 27 Dec 2024
https://github.com/nasso/comparse
A highly generic parser combinators library.
haskell parser parser-combinators
Last synced: 13 Jan 2025
https://github.com/typeclasses/aeson-decode
Easy functions for converting from Aeson.Value
Last synced: 05 Dec 2024
https://github.com/athanclark/digestive-functors-lucid
Representation of digestive-functors for lucid
digestive-functors haskell html lucid
Last synced: 27 Oct 2024
https://github.com/typeclasses/scotty-path-normalizer
Scotty action to redirect to a normalized path (remove trailing slash, "..", etc.)
haskell haskell-library http-server
Last synced: 05 Dec 2024
https://github.com/typeclasses/hedgehog-optics
Hedgehog properties for optics laws
haskell haskell-library optics property-testing
Last synced: 05 Dec 2024
https://github.com/typeclasses/happy-hour
Generate basic bar plot SVG files
bar-plots haskell haskell-library
Last synced: 05 Dec 2024
https://github.com/typeclasses/nat-optics
Refinement types for natural numbers with an optics interface
haskell haskell-library integers optics
Last synced: 05 Dec 2024
https://github.com/aligusnet/linalg-benchmarks
Linear Algebra Benchmarks
benchmark golang haskell linear-algebra octave python swift
Last synced: 20 Jan 2025
https://github.com/libhide/gpwh
Solutions to quick checks and per-lesson exercises.
get-programming-with-haskell haskell solutions will-kurt
Last synced: 09 Feb 2025
https://github.com/eggzilla/taxonomy
Haskell cabal Taxonomy libary contains tools, parsers, datastructures and visualisation for the NCBI (National Center for Biotechnology Information) Taxonomy datasources.
bioinformatics datastructures haskell taxonomy visualisation
Last synced: 13 Feb 2025
https://github.com/wololock/aoc2018
Advent of Code 2018 challenge with Haskell
advent-of-code advent-of-code-2018 haskell haskell-learning
Last synced: 10 Feb 2025
https://github.com/aesiniath/docker.haskell
Build Haskell packages in a Docker container
Last synced: 05 Jan 2025
https://github.com/aesiniath/tracer
Instrument shell scripts with traces and spans.
Last synced: 05 Jan 2025
https://github.com/memowe/trivialini
Ultra light weight ini file parser
config haskell haskell-library ini lightweight parser
Last synced: 25 Dec 2024
https://github.com/stevemao/dep-haskell-stack
dependabot dependency github-actions haskell stack
Last synced: 20 Jan 2025
https://github.com/dalpd/plumes-hs
A CLI tool to parse and plot simulation data exported from Visual Plumes
cli haskell parsing visual-plumes
Last synced: 27 Dec 2024
https://github.com/takenobu-hs/haskell-ghc-cmm-examples
Haskell/GHC Cmm examples
Last synced: 29 Dec 2024
https://github.com/fabiannorbertoescobar/prolog-haskell-ejercicios
Ejercicios sencillos de Programacion Lógica y Programación Funcional en los lenguajes Prolog y Haskell, realizados en Programación Avanzada para conocer otros paradigmas
functional-programming ghci haskell logic-programming prolog swi-prolog
Last synced: 05 Jan 2025
https://github.com/quytelda/babel
Random sequence generator written in Haskell.
cfg haskell language-model password-generator
Last synced: 28 Dec 2024
https://github.com/dcastro/vscode-haskell-test-runner
A plugin for VSCode that lets you run your Hspec tests, either manually or automatically “on save”, and view the results without leaving the editor.
haskell vscode vscode-extension
Last synced: 08 Jan 2025
https://github.com/codiepp/cabal-dependencies
extract dependencies from a Haskell project (cabal files) and analyze with Prolog for direct and transitive dependencies among packages
Last synced: 21 Jan 2025
https://github.com/saschagrunert/failure
Pure and type driven error handling for Haskell
error error-handling haskell haskell-library
Last synced: 27 Dec 2024
https://github.com/herulume/galculator
A functional prototype of a Galois-connection based proof assistant
category-theory galois-connection haskell proof-assistant
Last synced: 21 Jan 2025
https://github.com/shal/odd-even-mergesort
:balance_scale: Blazing fast Batcher's sort algorithm
functional-programming haskell parallelism sorting
Last synced: 01 Nov 2024
https://github.com/ilya-murzinov/postgres-embedded
Haskell library for easily running embedded PostgreSQL server for tests
Last synced: 07 Nov 2024
https://github.com/phunehehe/brackets
Mirror of https://gitlab.com/phunehehe/brackets
Last synced: 09 Feb 2025
https://github.com/vendethiel/awwbot.hs
A discord bot that hands out cat pictures on demand!
Last synced: 27 Jan 2025
https://github.com/aneeshdurg/miranda-compiler
A haskell compiler from miranda to the lambda calculus
Last synced: 27 Jan 2025
https://github.com/aneeshdurg/lambda
A simple lambda calculus interpreter
haskell interpreter lambda-calculus parsec
Last synced: 27 Jan 2025
https://github.com/edkolev/curry.vim
Helpers for writing Haskell in Vim, without any dependencies. (experimental)
Last synced: 11 Feb 2025
https://github.com/lupino/yuntan-common
A common utils for haskell program.
Last synced: 06 Nov 2024
https://github.com/koterpillar/appendmap
A Data.Map wrapper with a Monoid instance that delegates to the individual keys
containers data-structures haskell map monoid semigroup
Last synced: 06 Nov 2024
https://github.com/sondr3/scheme-hs
A Haskell implementation of R7RS Scheme
Last synced: 12 Jan 2025
https://github.com/neilkleistgao/sftd
Script for the Director: A Simple Language for dialogues, backpack system and other general data features in 2D RPG games
game-development haskell scripting-language
Last synced: 10 Feb 2025
https://github.com/demindiro/advent-of-code
Advent of Code solutions
advent-of-code advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 advent-of-code-2021-haskell haskell
Last synced: 07 Feb 2025
https://github.com/haskell-cryptography/one-time-password
Haskell implementation of One-Time Passwords algorithms
cryptography haskell hotp totp
Last synced: 18 Nov 2024
https://github.com/cimmanon/mysqlnothx
A MySQL to PostgreSQL dump file converter written in Haskell
Last synced: 17 Jan 2025
https://github.com/hanzopgp/haskelltest
First time using functional programming language.
functional-programming haskell university
Last synced: 16 Jan 2025
https://github.com/piotrjustyna/drakon-renderer
svg drakon diagrams
diagram drakon drakon-diagrams haskell
Last synced: 12 Nov 2024
https://github.com/haskell-hvr/s3
Library for accessing S3 compatible storage services
Last synced: 22 Jan 2025
https://github.com/vaibhavsagar/git-internals-workshop
Script for constructing my own history.
git haskell interactive python
Last synced: 12 Jan 2025
https://github.com/battermann/cosmic-ray-api
Command API for Connect 4 service
Last synced: 04 Feb 2025
https://github.com/taktoa/wai-middleware-preprocessor
WAI middleware for static file preprocessors
Last synced: 22 Jan 2025
https://github.com/taktoa/liquid-regex
Some experiments with regular expressions and LiquidHaskell
experimental haskell liquidhaskell regex
Last synced: 22 Jan 2025
https://github.com/taktoa/tsbannergen
An MPD banner generator for TeamSpeak
banner-generator haskell teamspeak3
Last synced: 22 Jan 2025
https://github.com/taktoa/language-boogie
A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)
Last synced: 22 Jan 2025
https://github.com/taktoa/inference
Experiments in dependent type inference
dependent-types experimental haskell
Last synced: 22 Jan 2025
https://github.com/monksc/cacheskell
This is my functional programming language that looks like Haskell but it cache every function.
custom-language functional-programming haskell interpreter language programming-languages rust rust-lang
Last synced: 12 Jan 2025
https://github.com/lupino/micro-gateway
A Micro service gateway.
gateway haskell microservice microservices
Last synced: 22 Jan 2025
https://github.com/lupino/yuntan-article
The core source of huabot.com
haskell microservice microservices
Last synced: 22 Jan 2025
https://github.com/matrixai/hs-http2stream
A HTTP2 Multiplexer for Haskell designed for LibP2P
haskell http2 libp2p multiplexer
Last synced: 24 Jan 2025
https://github.com/drapegnik/rsschool-fp
:zap: Functional Programming Course
church-encoding fp functional-programming haskell lambda-calculus rolling-scopes-school
Last synced: 12 Feb 2025
https://github.com/marteinn/serverless-haskell-cookbook
The missing cookbook for serverless-haskell
Last synced: 22 Jan 2025
https://github.com/cdepillabout/focuslist
A Haskell data structure for lists with a focus
data-structure focus hacktoberfest haskell list
Last synced: 14 Nov 2024
https://github.com/elycruz/haskell-by-multimedia
"Haskell School of Expression" - "Functional Programming through Multimedia" book examples.
cabal glfw hackage haskell haskell-school multimedia opengl soe
Last synced: 22 Jan 2025
https://github.com/halogenandtoast/lightsout
Lights out implementation in Haskell
Last synced: 12 Feb 2025
https://github.com/hasufell/streamly-posix
Posix related streaming APIs (such as file reading/writing)
Last synced: 28 Jan 2025
https://github.com/hirotoshioi/scrapbox
Scrapbox parser and renderer
haskell markdown parser scrapbox
Last synced: 22 Jan 2025
