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-24 00:14:45 UTC
- JSON Representation
https://github.com/kompendium-ano/pegnetd-haskell-client
Haskell JSON-RPC client for PegNet
api api-client factom haskell pegnet rpc-client
Last synced: 03 Dec 2024
https://github.com/aztek/tptp
Parser and pretty printer for the TPTP language
automated-theorem-provers eprover haskell haskell-library logic parsing parsing-library pretty-print theorem-proving tptp vampire
Last synced: 05 Dec 2024
https://github.com/mjstewart/rejig
A module header (imports / exports) formatting tool for haskell and daml
Last synced: 18 Jan 2025
https://github.com/dahlia/nicovideo-translator
Nico Nico Douga (ニコニコ動画) Comment Translator
agplv3 haskell niconico nicovideo proxy-server translator
Last synced: 05 Jan 2025
https://github.com/matsubara0507/extensible-instances
instances of extensible data type for any type class
Last synced: 19 Oct 2024
https://github.com/matsubara0507/haskell-and-elm
Example application using Haskell and Elm
elm example-project haskell haskell-extensible-record haskell-servant
Last synced: 19 Oct 2024
https://github.com/duijf/boring-software
Boring Software with Haskell - Monadic Party 2019
architecture boring-software education haskell talk
Last synced: 23 Oct 2024
https://github.com/wilfred/fuzzybranch
git-checkout with fuzzy branch names
Last synced: 17 Oct 2024
https://github.com/thalesmg/reflex-skeleton
A skeleton Reflex project with Hpack, Nix and Emacs/HIE/LSP integration
emacs ghcjs haskell haskell-ide-engine haskell-stack hpack lsp nix reflex-frp
Last synced: 28 Oct 2024
https://github.com/mbg/hoop
A Haskell library for object-oriented programming
haskell haskell-library object-oriented-programming subtyping template-haskell
Last synced: 23 Oct 2024
https://github.com/micheleriva/aika
⛈ In-memory key-value multithreaded database
database haskell in-memory in-memory-database key-value redis
Last synced: 23 Oct 2024
https://github.com/halogenandtoast/nhk-reader-haskell
Haskell implementation of my NHK Reader
Last synced: 03 Oct 2024
https://github.com/kakkun61/haskell-invokes-rust
The sample of the FFI from Haskell (GHC) to Rust
Last synced: 24 Oct 2024
https://github.com/siraben/hasktran
A compiler for FRACTRAN written in Haskell.
assembler compiler fractran haskell monad-transformers tagless-final
Last synced: 24 Oct 2024
https://github.com/jyothsnasrinivas/eta-android-animation
Eta Android Animation example
android eta functional-programming haskell
Last synced: 29 Nov 2024
https://github.com/gaumala/translatejpbot
Telegram bot to translate Japanese words
haskell japanese-language jmdict telegram-bot translator
Last synced: 14 Dec 2024
https://github.com/nikita-volkov/ptr-poker
Pointer poking action construction and composition toolkit
haskell marshalling memory ptr serialization
Last synced: 28 Oct 2024
https://github.com/jyothsnasrinivas/eta-scotty-example
Scotty example in Eta
eta functional-programming haskell jvm
Last synced: 29 Nov 2024
https://github.com/minad/wl-pprint-annotated
Wadler/Leijen pretty printer with annotations and API conforming to modern Haskell
haskell pretty-print wadler-leijen
Last synced: 28 Oct 2024
https://github.com/lysxia/coq-mtl
Formalized laws for mtl
coq effects formalization haskell laws monad monad-transformers
Last synced: 10 Oct 2024
https://github.com/samfrohlich/hypertexture
A domain specific language embedded into Haskell providing an expressive way of creating and combining Hypertextures.
Last synced: 10 Oct 2024
https://github.com/basvandijk/vector-bytestring
ByteStrings as type synonyms of Vectors
Last synced: 28 Oct 2024
https://github.com/trskop/connection-pool
Connection pool built on top of resource-pool and streaming-commons packages.
connection-pool haskell resource-pool tcp tcp-client unix-sockets unix-sockets-client
Last synced: 28 Oct 2024
https://github.com/andrewmacmurray/haskell-elm-architecture
Elm style model update view in Haskell
Last synced: 12 Oct 2024
https://github.com/peti/postmaster
Postmaster ESMTP server
e-mail haskell mailserver smtpd
Last synced: 28 Oct 2024
https://github.com/nmattia/countries
Haskell contributions by country
data-visualization github-api haskell jupyter
Last synced: 10 Oct 2024
https://github.com/inscapist/simple-ping
Simply returns HTTP 200. Meant to be used together with NodePort service, as node health check
haskell health-check healthcheck kubernetes nix nix-shell nixpkgs
Last synced: 11 Oct 2024
https://github.com/alt-romes/slfl
The SILI synthesiser - synthesis of linear functional programs
Last synced: 11 Oct 2024
https://github.com/bbc/haskell-workshop
Haskell workshop that will hopefully contribute something back to the open-source community
book-club haskell learning-by-doing learning-exercise learning-haskell
Last synced: 06 Nov 2024
https://github.com/plume-lang/plume
Plume is a lightweight programming language that aims to be portable, powerful and easy to learn.
algebraic-data-types compiler functional-programming haskell imperative-programming lightweight programming-language traits
Last synced: 11 Nov 2024
https://github.com/andreabedini/cabal-cache-native
Native GitHub Action cache for your cabal project
Last synced: 12 Oct 2024
https://github.com/tensor-fusion/gpt-haskell
A pure Haskell implementation of a decoder-only transformer (GPT)
deep-learning gpt gpt-2 haskell large-language-models transformer
Last synced: 12 Oct 2024
https://github.com/prikhi/ksp-automation
A Kerbal Space Program Automation TUI & Haskell Library.
automation brick haskell kerbal-space kerbal-space-program krpc krpc-hs tui
Last synced: 11 Oct 2024
https://github.com/tfausak/patrol
:signal_strength: A Sentry SDK for Haskell
Last synced: 28 Oct 2024
https://github.com/basvandijk/unbounded-delays
Unbounded thread delays and timeouts
Last synced: 12 Oct 2024
https://github.com/agrafix/powerqueue
Haskell: A flexible job queue with exchangeable backends
distributed-computing haskell job-queue job-scheduler
Last synced: 12 Oct 2024
https://github.com/brandonchinn178/tasty-autocollect
Automatic collection of Tasty tests
Last synced: 27 Oct 2024
https://github.com/sternenseemann/likely-music
experimental application for probabilistic music composition
es6 haskell javascript midi music musical-score notation notes sound visjs wav yarn
Last synced: 12 Oct 2024
https://github.com/glguy/config-schema
Self-documenting, combinator constructed configuration schemas
Last synced: 12 Oct 2024
https://github.com/csabahruska/lambdacube-stunts
Remake of Stunts 4D Sports Driving in Haskell
3d-graphics bullet-physics cpu-emulator game gpu haskell
Last synced: 14 Oct 2024
https://github.com/lambdageek/centrinel
Analyze how a C program uses memory regions
haskell language-c region-inference static-analysis
Last synced: 13 Oct 2024
https://github.com/jaalonso/categorias_y_programacion
Bibliografía sobre teoría de categorías y programación funcional
category-theory functional-programming haskell
Last synced: 06 Dec 2024
https://github.com/reneklacan/yesod-heroku-example
Minimal example of a pipeline for deploying Yesod app to Heroku through CircleCI.
Last synced: 13 Oct 2024
https://github.com/minad/tasty-stats
Collect statistics of your Tasty testsuite
benchmark haskell statistics tasty testing
Last synced: 13 Oct 2024
https://github.com/manpages/algorand-merkle
data-structures haskell literate-programming merkle-tree polymorphic
Last synced: 14 Oct 2024
https://github.com/caneroj1/filter-logger
Filterable request logging as wai middleware
Last synced: 14 Oct 2024
https://github.com/okmttdhr/haskell-algorithms
Algorithms and data structures implemented in Haskell
algorithm data-structures functional-programming haskell
Last synced: 19 Oct 2024
https://github.com/stackbuilders/rollbar-haskell
A group of libraries written in Haskell to communicate with Rollbar API.
Last synced: 19 Oct 2024
https://github.com/romac/lfc-haskell
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
fixed-points haskell lambda-calculus recursion-schemes
Last synced: 06 Nov 2024
https://github.com/battermann/connect-4
Connect 4 implemented with event sourcing and CQRS using Haskell, PureScript, Redis, Postgres, GraphQL/Hasura and Elm
cqrs elm event-sourcing graphql haskell hasura microservices no-frameworks postgres purescript redis
Last synced: 22 Oct 2024
https://github.com/chiroptical/snailscheme
A read friendly Scheme implementation
Last synced: 27 Oct 2024
https://github.com/vonzhou/programminginscala
Programming In Scala 3rd Examples.《Scala编程》第三版代码
functional-programming haskell java scala
Last synced: 08 Nov 2024
https://github.com/udacity/geode
Geolocation as a service, replaced by https://github.com/udacity/geo
geolite2 geolocation haskell infrastructure maxmind platform
Last synced: 04 Nov 2024
https://github.com/joshuaclayton/file-fun
A fun program for files, written in Haskell, to demonstrate a monad transformer stack
Last synced: 07 Nov 2024
https://github.com/aloussase/emoji-cli
Emoji tool for the command line, with autocompletion!
Last synced: 06 Nov 2024
https://github.com/lilydjwg/myhaskells
Haskell programs writing while learning
Last synced: 05 Nov 2024
https://github.com/grin-compiler/souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
cfa closures control-flow-analysis datalog functional-programming haskell lazy-evaluation souffle static-analysis stg
Last synced: 06 Nov 2024
https://github.com/norfairking/template-optparse
Template Argument, Option, Environment, Configuration parsing code for Haskell
Last synced: 06 Nov 2024
https://github.com/matterhorn-chat/aspell-pipe
A pipe interface to the Aspell spell checker
Last synced: 07 Nov 2024
https://github.com/tkvogt/judy-graph-db
A graph database with cypher like queries using judy arrays
cypher database graph haskell judy judy-arrays
Last synced: 19 Jan 2025
https://github.com/danilafe/maypop
Dependently typed programming language implemented in Literate Haskell.
dependent-types haskell inference language monad monad-transformers programming-language
Last synced: 04 Jan 2025
https://github.com/tek/exon
Customizable Quasiquote Interpolation
haskell quasiquotes string-interpolation
Last synced: 24 Nov 2024
https://github.com/vmchale/archive-backpack
Demonstration of backpack to enable substitution of tar/libarchive functionality
Last synced: 10 Nov 2024
https://github.com/shou/type-operators
A collection of type-level operators
apply haskell operators type-families type-level typeclass
Last synced: 11 Nov 2024
https://github.com/y-taka-23/wasm-game-of-life
An example of Asterius, compiling Haskell to WebAssembly.
asterius haskell wasm webassembly
Last synced: 24 Nov 2024
https://github.com/rwe/actions-hlint-run
GitHub Action: Run hlint
actions-hlint github-actions github-annotations haskell hlint
Last synced: 02 Dec 2024
https://github.com/pasqu4le/hexmino
A small game based on domino-like hexagonal tiles
game gloss haskell haskell-game hex hexagonal-tiles tile
Last synced: 30 Nov 2024
https://github.com/cdepillabout/xml-html-qq
QuasiQuoter for XML and HTML Documents
document haskell html quasi-quote quasiquote quasiquoter xml xml-conduit
Last synced: 14 Nov 2024
https://github.com/t4ccer/afterrain
Add some colors to your terminal
colors haskell hoogle terminal
Last synced: 11 Dec 2024
https://github.com/leastauthority/wormhole-client
A magic-wormhole client in Haskell
Last synced: 20 Nov 2024
https://github.com/hellwolf/thsh
A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell
bash haskell shell shell-scripting
Last synced: 03 Dec 2024
https://github.com/bor0/misc
Misc playground and random stuff
assembly books c coq haskell idris javascript playground scheme
Last synced: 07 Nov 2024
https://github.com/jpvillaisaza/abel
Category theory applied to functional programming
Last synced: 11 Nov 2024
https://github.com/turbomack/hs-websockets-workshop
Intoroduction to websockets in Haskell
Last synced: 31 Dec 2024
https://github.com/paulcadman/dhall-to-jenkinsfile
Compile Dhall expressions to pipeline Jenkinsfiles
dhall haskell jenkins-pipeline jenkinsfile
Last synced: 12 Nov 2024
https://github.com/soupi/learn-scotty-bulletin-app
Building a bulletin board using Haskell, scotty and friends
haskell haskell-learning scotty tutorial webdev
Last synced: 10 Nov 2024
https://github.com/Atharv-Attri/HacktoberFest-Projects
A collection of issues for Hacktoberfest!
c cpp dart go hacktoberfest hacktoberfest-2020 hacktoberfest2020 haskell java javascript python ruby rust
Last synced: 17 Nov 2024
https://github.com/sshine/evm-opcodes
Opcode types for Ethereum Virtual Machine (EVM)
Last synced: 09 Nov 2024
https://github.com/mnvr/advent-of-code-2023
Haskell (and Swift) solutions to Advent of Code 2023
advent-of-code advent-of-code-2023 advent-of-code-2023-haskell aoc aoc-2023-in-haskell haskell haskell-exercises haskell-learning
Last synced: 16 Dec 2024
https://github.com/drknzz/wolke-lang
☁️ Wolke language interpreter ☁️
bnfc haskell interpreter language syntax typechecker
Last synced: 22 Dec 2024
https://github.com/guanshiyin28/hackerrank
Hacker Rank Solve (On Going)
c cpp csharp go hackerrank hackerrank-challenges hackerrank-python hackerrank-solution haskell html java javascript kotlin php python ruby solver swift typescript vscode
Last synced: 21 Jan 2025
https://github.com/astynax/tfpb2019
Materials for "Typed FP Basics" course
beginner-friendly course haskell lessons
Last synced: 23 Dec 2024
https://github.com/fused-effects/fused-effects-readline
A readline-like effect and carrier for fused-effects using haskeline
algebraic-effects haskell readline
Last synced: 06 Nov 2024
