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-09 00:17:28 UTC
- JSON Representation
https://github.com/plclub/hs-to-coq
Convert Haskell source code to Coq source code.
Last synced: 06 Jan 2025
https://github.com/thephoeron/quipper-language
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
haskell quantum-computing quipper quipper-language unofficial-fork
Last synced: 03 Nov 2024
https://github.com/IHaskell/ihaskell-notebook
IHaskell image for Jupyter Docker Stacks
Last synced: 30 Oct 2024
https://github.com/kowainik/hit-on
:octocat: Kowainik Git Workflow Helper Tool
cli-tool git github github-api haskell kowainik-git-workflow workflow
Last synced: 04 Dec 2024
https://github.com/tfausak/rampart
:european_castle: Determine how intervals relate to each other.
Last synced: 17 Nov 2024
https://github.com/jwiegley/putting-lenses-to-work
A presentation for BayHac 2017 on how I uses lenses at work
functional-programming haskell lens lenses practical
Last synced: 28 Oct 2024
https://github.com/jaredloomis/andromeda
GLSL-targetting embedded compiler, and OpenGL rendering engine.
edsl glsl-shaders haskell opengl shaders
Last synced: 16 Nov 2024
https://github.com/jasonstolaruk/CurryMUD
A Multi-User Dungeon server in Haskell.
game game-dev game-development haskell mud mudlet mudlet-lua multi-user-dungeon telnet text-based text-based-adventure virtual-worlds
Last synced: 13 Nov 2024
https://github.com/hamler-lang/docs
Documentation of Hamler
erlang functional-programming hamler haskell
Last synced: 10 Nov 2024
https://github.com/awkward-squad/ki
A structured concurrency library
async concurrency haskell structured-concurrency
Last synced: 20 Nov 2024
https://github.com/zhangchiqing/beginner-friendly-haskell-for-web-development
A book about real world web development in beginner friendly Haskell
beginner-friendly book haskell real-world-project web-development
Last synced: 11 Nov 2024
https://github.com/zudov/24-days-of-syntactic-witchery
Aligning characters for fun and profit, with Haskell and PureScript
Last synced: 02 Nov 2024
https://github.com/alt-romes/hegg
Fast equality saturation in Haskell
egraphs equality-saturation haskell
Last synced: 19 Dec 2024
https://github.com/llvm-hs/llvm-hs-kaleidoscope
Kaleidoscope Tutorial using llvm-hs
haskell haskell-tutorial jit kaleidoscope llvm-hs
Last synced: 13 Nov 2024
https://github.com/simonmichael/hledger_site
The repo for hledger.org, the hledger project's website.
accounting command-line-tool console-application haskell hledger ledger library plain-text plaintext plaintext-accounting tui web-application
Last synced: 07 Jan 2025
https://github.com/mchakravarty/lazy-lambda
Lazy Lambda โ a Flappy Bird clone in Haskell with SpriteKit
Last synced: 28 Oct 2024
https://github.com/basvandijk/scientific
Arbitrary-precision floating-point numbers represented using scientific notation
haskell numbers scientific-notation
Last synced: 04 Jan 2025
https://github.com/kowainik/prolens
๐ Profunctor based lightweight implementation of Lenses
hacktoberfest haskell lens lenses prisms profunctor-optics profunctors traversal
Last synced: 29 Oct 2024
https://github.com/tfausak/witch
:mage_woman: Convert values from one type into another.
Last synced: 17 Nov 2024
https://github.com/tcr/corollary
Cross-compiler from Haskell to Rust, plus parser-haskell.
corollary cross-compiler haskell parsing-library rust
Last synced: 02 Jan 2025
https://github.com/xtendo-org/chips
A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell
Last synced: 01 Nov 2024
https://github.com/atom-haskell/language-haskell
Haskell language support for Atom
Last synced: 09 Nov 2024
https://github.com/saurabhnanda/odd-jobs
Haskell job queue with admin UI and loads of other features.
hacktoberfest haskell job-queue odd-jobs
Last synced: 12 Nov 2024
https://github.com/chshersh/dr-cabal
๐ Haskell dependencies build times profiler
colour hacktoberfest hacktoberfest2022 haskell pretty profile terminal
Last synced: 29 Oct 2024
https://github.com/isovector/suavemente
:dancer: an applicative functor that seamlessly talks to HTML inputs
applicative-functors diagrams haskell html websockets
Last synced: 07 Nov 2024
https://github.com/balsoft/lambda-launcher
Application launcher in haskell. Mostly Just For Fun.
haskell haskell-application lambda launcher
Last synced: 08 Jan 2025
https://github.com/podenv/podenv
a container wrapper
dhall haskell linux-containers nix podman rootless-containers
Last synced: 05 Jan 2025
https://github.com/ncaq/dic-nico-intersection-pixiv
ใใณใใณๅคง็พ็งใจใใฏใทใ็พ็งไบๅ ธใฎๅ ฑ้้จๅใฎIME่พๆธ
dictionary google-ime google-japanese-input haskell ime japanese mozc niconico pixiv
Last synced: 09 Jan 2025
https://github.com/siraben/mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
c combinatory-logic compiler graph-reduction haskell hindley-milner parser-combinators
Last synced: 22 Oct 2024
https://github.com/cdepillabout/servant-checked-exceptions
type-level errors for Servant APIs.
client docs errors exceptions hacktoberfest haskell json servant server
Last synced: 09 Jan 2025
https://github.com/leventerkok/harduino
Control your Arduino board from Haskell, using the Firmata protocol
Last synced: 27 Oct 2024
https://github.com/haskell-things/hslice
HSlice - A Haskell based slicer for 3D printing.
3d-printing haskell implicitcad projective-geometric-algebra slicer
Last synced: 06 Nov 2024
https://github.com/mroman42/mikrokosmos
(ฮป) Educational lambda calculus interpreter
haskell interpreter lambda-calculus
Last synced: 27 Oct 2024
https://github.com/vmchale/command-line-tweeter
Tweets in from a pipe
haskell tweets twitter twitter-cli twitter-client
Last synced: 10 Nov 2024
https://github.com/i-am-tom/learn-me-a-haskell
Trying to get back all the stuff I had in JavaScript.
dependent-types ghc haskell type-level-programming
Last synced: 28 Oct 2024
https://github.com/jaalonso/lecturas_glc
Readings on computational logic, interactive theorem proving and functional programming.
coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog
Last synced: 08 Jan 2025
https://github.com/tfausak/wuss
:lock: Secure WebSocket (WSS) clients in Haskell.
Last synced: 17 Nov 2024
https://github.com/kowainik/policeman
๐ฎ Haskell PVP adviser
bristol-hackathon haskell package-maintenance pvp
Last synced: 27 Oct 2024
https://github.com/apauley/HollingBerries
A fictional scenario implemented in multiple languages in order to compare language paradigms.
clojure erlang haskell python ruby scala smalltalk toy-problems
Last synced: 15 Nov 2024
https://github.com/alexmingoia/twain
Tiny web application framework for WAI.
framework haskell web web-framework webapp-framework
Last synced: 05 Jan 2025
https://github.com/soywod/unfog.vim
โฑ Vim plugin for Unfog CLI task & time manager.
haskell task-manager taskwarrior time-tracker vim vim-plugin viml vimscript worktime
Last synced: 28 Oct 2024
https://github.com/apauley/hollingberries
A fictional scenario implemented in multiple languages in order to compare language paradigms.
clojure erlang haskell python ruby scala smalltalk toy-problems
Last synced: 28 Oct 2024
https://github.com/ryukinix/discrete-mathematics
A computational way to study discrete mathematics using Haskell
computer-science discrete-mathematics haskell mathematics
Last synced: 05 Nov 2024
https://github.com/kowainik/shellmet
๐ Out of the shell solution for scripting in Haskell
Last synced: 19 Dec 2024
https://github.com/bollu/timi
A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
haskell interpreter language lazy-evaluation
Last synced: 25 Dec 2024
https://github.com/clark800/lambda-zero
minimalist pure lazy functional programming language (pythonic haskell)
c functional functional-programming haskell krivine-machine lambda-calculus lazy-evaluation minimalist programming-language pythonic
Last synced: 26 Nov 2024
https://github.com/yamafaktory/pattern-guard
JavaScript pattern guards ๐
Last synced: 07 Nov 2024
https://github.com/takenobu-hs/haskell-ethereum-assembly
EVM (Ethereum virtual machine) Assembly on Haskell DSL
assembly-language ethereum ethereum-virtual-machine evm haskell
Last synced: 12 Oct 2024
https://github.com/alanz/ghc-exactprint
GHC version of haskell-src-exts exactPrint
Last synced: 02 Jan 2025
https://github.com/chiroptical/declarative-programming-streams
Active streaming declarative programmers. See who's online at the following URL:
Last synced: 27 Oct 2024
https://github.com/vaibhavsagar/duffer
A git-compatible content tracker in Haskell.
Last synced: 28 Oct 2024
https://github.com/kowainik/colourista
โ๏ธโ๐ Convenient interface for printing colourful messages
ansi colours hacktoberfest haskell haskell-library pretty-printing terminal
Last synced: 08 Jan 2025
https://github.com/kowainik/validation-selective
๐โโ๏ธ Lightweight pure validation based on Applicative and Selective functors
applicative functors haskell haskell-libraries selective validation
Last synced: 12 Nov 2024
https://github.com/itchyny/miv
Vim plugin manager written in Haskell
haskell vim vim-plugin-manager vimrc
Last synced: 28 Oct 2024
https://github.com/spl/dlist
Difference lists in Haskell
data-structures difference-lists haskell
Last synced: 05 Jan 2025
https://github.com/turion/essence-of-live-coding
Universal Live Coding & Functional Reactive Programming Framework
frp hacktoberfest haskell live-coding
Last synced: 02 Jan 2025
https://github.com/haskell-hvr/hslogger
Logging framework for Haskell
haskell logging logging-library
Last synced: 05 Jan 2025
https://github.com/elaforge/karya
music sequencer and generalized notation
haskell midi midi-sequencer music music-composition music-notation
Last synced: 27 Oct 2024
https://github.com/stackbuilders/dotenv-hs
Load environment variables from dotenv files for Haskell
12-factor configuration-management dotenv-files environment-variables hacktoberfest hacktoberfest2024 haskell twelve-factor
Last synced: 08 Jan 2025
https://github.com/takenobu-hs/lazy_evaluation
haskell lazy evaluation illustrated
Last synced: 07 Nov 2024
https://github.com/jaseemabid/olifant
A simple programming language targeting LLVM
Last synced: 24 Nov 2024
https://github.com/ghuntley/ghuntley-monorepo-retired
docker dotnet golang haskell kubernetes monorepo nix rust terraform
Last synced: 27 Oct 2024
https://github.com/achirkin/vulkan
Low-level low-overhead haskell bindings to vulkan API
graphics haskell haskell-library vulkan vulkan-api
Last synced: 29 Oct 2024
https://github.com/owainlewis/http-dispatch
A high level HTTP client for Haskell that focuses on ease of use
Last synced: 15 Oct 2024
https://github.com/sharkdp/yinsh
A web-based version of the board game Yinsh
abstract-game board-game game haskell hexagonal-grids website
Last synced: 02 Jan 2025
https://github.com/roman/haskell-capataz
OTP-like supervision trees in Haskell
concurrency haskell supervisor
Last synced: 15 Nov 2024
https://github.com/ethercrow/opentelemetry-haskell
The OpenTelemetry Haskell Client https://opentelemetry.io
distributed-tracing haskell observability opentelemetry serious-business
Last synced: 14 Oct 2024
https://github.com/sectore/haskell-elm-todo-app
Todo app build with Haskell (server-side) and Elm (client-side)
Last synced: 12 Nov 2024
https://github.com/nponeccop/hnc
HN Compiler
compiler haskell optimization purescript rust
Last synced: 27 Oct 2024
https://github.com/jonascarpay/template-haskell
batteries-included nix-based haskell project template
Last synced: 09 Jan 2025
https://github.com/kowainik/membrain
๐ง Type-safe memory units
haskell library measure memory safe type-level-programming units
Last synced: 12 Oct 2024
https://github.com/migamake/homplexity
Haskell code complexity and quality measurement
code-quality complexity hackage hacktoberfest2019 haskell quality
Last synced: 05 Dec 2024
https://github.com/tmcgilchrist/postgresql-transactional
Transactional monadic actions on top of PostgreSQL.
Last synced: 28 Oct 2024
https://github.com/samtay/conway
A terminal interface for Conway's Game of Life
brick conway grid haskell terminal-app vty
Last synced: 09 Nov 2024
https://github.com/Southern-Exposure-Seed-Exchange/southernexposure.com
Southern Exposure's E-Commerce Website, Built with Haskell & Elm.
bootstrap4 e-commerce ecommerce elm haskell servant webshop website
Last synced: 22 Nov 2024
https://github.com/bkomuves/toy-language-server
Example language server (LSP) implementation for a toy language
haskell language-server language-server-protocol lsp
Last synced: 12 Nov 2024
https://codeberg.org/xmobar/xmobar
A minimalist status bar
haskell status-panel statusbar xmobar xmonad
Last synced: 31 Oct 2024
https://github.com/kowainik/issue-wanted
๐ท Web application to help beginners to start contributing into Haskell projects
backend github-issues gsoc-2019 haskell three-layer-architecture web-application
Last synced: 12 Nov 2024
https://github.com/samtay/snake
A terminal interface for Snake
brick haskell haskell-tutorial snake-game terminal-game vty
Last synced: 09 Nov 2024
https://github.com/mrkkrp/ghc-syntax-highlighter
Syntax highlighter for Haskell using the lexer of GHC
ghc haskell syntax-highlighting
Last synced: 03 Jan 2025
https://github.com/csabahruska/jhc-components
JHC Haskell compiler split into reusable components
c c-backend compiler functional-programming grin haskell jhc multiplatform optimizer
Last synced: 28 Oct 2024
https://github.com/basvandijk/monad-control
Lift control operations, like exception catching, through monad transformers
Last synced: 06 Jan 2025
https://github.com/cchantep/dhek
PDF template design app./UI (or on the Discworld, supreme Djelibeybian god)
Last synced: 28 Oct 2024
https://github.com/coinmetrics/haskell-tools
Tools for exporting blockchain data to analytical databases
Last synced: 05 Nov 2024
https://github.com/stevana/property-based-testing-stateful-systems-tutorial
A tutorial about how to apply property-based testing to stateful systems.
fault-injection haskell linearizability property-based-testing simulation-testing state-machines tutorial
Last synced: 28 Oct 2024
https://github.com/vmchale/kempe
Kempe is a compiled stack-based language
aarch64 haskell languages stack-based stack-based-language x86-64
Last synced: 18 Nov 2024
https://github.com/pkamenarsky/concur-static
Generate semi-dynamic UIs with Concur
elm-architecture haskell static-site-generator ui virtual-dom
Last synced: 08 Nov 2024
https://github.com/kowainik/eio
๐ฏ IO with Exceptions tracked on the type-level
haskell haskell-library io type-level
Last synced: 12 Oct 2024