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: 2024-11-12 00:13:39 UTC
- JSON Representation
https://github.com/balsoft/lambda-launcher
Application launcher in haskell. Mostly Just For Fun.
haskell haskell-application lambda launcher
Last synced: 28 Oct 2024
https://github.com/eldr-io/hastl
Production ready, modern web-application starter template using haskell and htmx
alpinejs haskell htmx lucid servant tailwindcss template web
Last synced: 12 Oct 2024
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/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/leventerkok/harduino
Control your Arduino board from Haskell, using the Firmata protocol
Last synced: 27 Oct 2024
https://github.com/podenv/podenv
a container wrapper
dhall haskell linux-containers nix podman rootless-containers
Last synced: 11 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: 12 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/vmchale/command-line-tweeter
Tweets in from a pipe
haskell tweets twitter twitter-cli twitter-client
Last synced: 10 Nov 2024
https://github.com/mroman42/mikrokosmos
(ฮป) Educational lambda calculus interpreter
haskell interpreter lambda-calculus
Last synced: 27 Oct 2024
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/kowainik/shellmet
๐ Out of the shell solution for scripting in Haskell
Last synced: 31 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: 03 Aug 2024
https://github.com/tfausak/wuss
:lock: Secure WebSocket (WSS) clients in Haskell.
Last synced: 09 Nov 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/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: 28 Oct 2024
https://github.com/alexmingoia/twain
Tiny web application framework for WAI.
framework haskell web web-framework webapp-framework
Last synced: 12 Oct 2024
https://github.com/yamafaktory/pattern-guard
JavaScript pattern guards ๐
Last synced: 07 Nov 2024
https://github.com/alanz/ghc-exactprint
GHC version of haskell-src-exts exactPrint
Last synced: 27 Oct 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/chiroptical/declarative-programming-streams
Active streaming declarative programmers. See who's online at the following URL:
Last synced: 27 Oct 2024
https://github.com/kowainik/colourista
โ๏ธโ๐ Convenient interface for printing colourful messages
ansi colours hacktoberfest haskell haskell-library pretty-printing terminal
Last synced: 30 Oct 2024
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/vaibhavsagar/duffer
A git-compatible content tracker in Haskell.
Last synced: 28 Oct 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/elaforge/karya
music sequencer and generalized notation
haskell midi midi-sequencer music music-composition music-notation
Last synced: 27 Oct 2024
https://github.com/takenobu-hs/lazy_evaluation
haskell lazy evaluation illustrated
Last synced: 07 Nov 2024
https://github.com/turion/essence-of-live-coding
Universal Live Coding & Functional Reactive Programming Framework
frp hacktoberfest haskell live-coding
Last synced: 26 Oct 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/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/nponeccop/hnc
HN Compiler
compiler haskell optimization purescript rust
Last synced: 27 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: 25 Oct 2024
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/jonascarpay/template-haskell
batteries-included nix-based haskell project template
Last synced: 07 Nov 2024
https://github.com/iand675/hs-opentelemetry
OpenTelemetry support for the Haskell programming language
haskell honeycomb logging metrics observability opentelemetry performance prometheus tracing
Last synced: 14 Oct 2024
https://github.com/migamake/homplexity
Haskell code complexity and quality measurement
code-quality complexity hackage hacktoberfest2019 haskell quality
Last synced: 12 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: 04 Aug 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/tmcgilchrist/postgresql-transactional
Transactional monadic actions on top of PostgreSQL.
Last synced: 28 Oct 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/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://github.com/mrkkrp/ghc-syntax-highlighter
Syntax highlighter for Haskell using the lexer of GHC
ghc haskell syntax-highlighting
Last synced: 01 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/kowainik/eio
๐ฏ IO with Exceptions tracked on the type-level
haskell haskell-library io type-level
Last synced: 12 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: 10 Nov 2024
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/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/basvandijk/monad-control
Lift control operations, like exception catching, through monad transformers
Last synced: 12 Oct 2024
https://github.com/coinmetrics/haskell-tools
Tools for exporting blockchain data to analytical databases
Last synced: 05 Nov 2024
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/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/con-kitty/categorifier
Interpret Haskell programs into any cartesian closed category.
category-theory haskell plugin
Last synced: 12 Nov 2024
https://github.com/iagoabal/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Last synced: 06 Nov 2024
https://github.com/Jyothsnasrinivas/eta-android-2048
Android 2048 game using Yampa FRP library in Eta
android eta frp functional-programming haskell
Last synced: 07 Nov 2024
https://github.com/hasura/kriti-lang
A minimal JSON templating language
haskell hasura json template-lan
Last synced: 10 Nov 2024
https://github.com/haskell-hvr/hsyaml
YAML 1.2 implementation in pure Haskell
haskell pure-haskell yaml yaml-processor
Last synced: 30 Oct 2024
https://github.com/carlosmchica/haskell-book-readers-exercises
Exercises from the readers of the Haskell Book
functional-programming haskell haskellbook
Last synced: 01 Nov 2024
https://github.com/sergv/emacs-module
Wrappers around emacs-module.h to write Emacs modules in Haskell
emacs emacs-modules haskell haskell-bindings
Last synced: 12 Oct 2024
https://github.com/mrcjkb/neotest-haskell
Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
haskell hspec neovim neovim-plugin sydtest tasty testing treesitter
Last synced: 31 Oct 2024
https://github.com/kowainik/type-errors-pretty
๐๐ Combinators for writing pretty type errors easily
compile-time hacktoberfest haskell pretty type-errors type-level
Last synced: 12 Nov 2024
https://github.com/sjoerdvisscher/data-category
Library of categories, with categorical constructions on them
Last synced: 31 Oct 2024
https://github.com/rpearce/hakyll-nix-template
Hakyll + Nix starter template
hacktoberfest hakyll haskell nix static-site-generator template
Last synced: 31 Oct 2024
https://github.com/jkachmar/easy-hls-nix
Easy Haskell Language Server tooling with Nix!
haskell haskell-language-server lsp nix tooling
Last synced: 28 Oct 2024
https://github.com/maoe/influxdb-haskell
InfluxDB client library for Haskell
Last synced: 31 Oct 2024
https://github.com/bgamari/ghc-dump
A GHC plugin and library for analysing GHC Core
Last synced: 28 Oct 2024
https://github.com/giovanifss/Dumb
Dumain Bruteforcer - a fast and flexible domain bruteforcer
bruteforce dns domain haskell pentest-tool pentesting subdomain subdomain-brute
Last synced: 26 Sep 2024
https://github.com/serokell/haskell-with-utf8
Get your IO right on the first try
files haskell input-output unicode utf8
Last synced: 12 Nov 2024
https://github.com/mrkkrp/parser-combinators
Lightweight package providing commonly useful parser combinators
haskell parser-combinators parsing
Last synced: 01 Nov 2024
https://github.com/vmchale/madlang
Madlang is a language for generative literature
generative-art generative-literature haskell language
Last synced: 10 Nov 2024
https://github.com/alx741/vim-hindent
Vim Haskell Hindent integration plugin
Last synced: 28 Oct 2024
https://github.com/agrafix/openai-hs
Unofficial OpenAI Haskell Bindings
gpt-3 gpt3 haskell machine-learning openai sdk
Last synced: 26 Oct 2024
https://github.com/fgaz/shine
Declarative graphics for the browser
canvas declarative declarative-graphics draw graphics hacktoberfest haskell
Last synced: 27 Oct 2024
https://github.com/thma/threepennyelectron
Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell
electron gui gui-programming haskell haskell-library npm standalone-gui-application threepenny-gui
Last synced: 29 Oct 2024
https://github.com/ekmett/unpacked-containers
Unpacked containers using backpack
containers data-structures haskell unpacked
Last synced: 08 Nov 2024
https://github.com/bartavelle/language-puppet
A library to work with Puppet manifests, test them and eventually replace everything ruby.
continuous-integration haskell library parser puppet server tests
Last synced: 14 Oct 2024
https://github.com/danidiaz/really-small-backpack-example
A really small example of the Backpack module system for Haskell
Last synced: 02 Aug 2024
https://github.com/scott-fleischman/greek-grammar
Modeling Ancient Greek Grammar
agda ancient-greek grammar greek haskell morphology phonology
Last synced: 08 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: 28 Oct 2024
https://github.com/ix/lazyboy
An EDSL implemented in Haskell for programming the Nintendo Game Boy.
dsl edsl game-boy gameboy games gaming haskell homebrew videogames
Last synced: 01 Nov 2024
https://github.com/serokell/o-clock
:hourglass: Type-safe time units in Haskell
haskell rational-numbers time type-level-programming type-safety
Last synced: 27 Oct 2024
https://github.com/cdepillabout/stacklock2nix
Easily build a Haskell project from a stack.yaml.lock file with Nix
hacktoberfest haskell nix nixpkgs stack stackage
Last synced: 11 Oct 2024
https://github.com/luc-tielen/telescope_hoogle
Hoogle search integration for Telescope
haskell lua neovim neovim-plugin
Last synced: 28 Oct 2024
