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-06 00:14:24 UTC
- JSON Representation
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/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/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/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/basvandijk/unbounded-delays
Unbounded thread delays and timeouts
Last synced: 12 Oct 2024
https://github.com/matterhorn-chat/aspell-pipe
A pipe interface to the Aspell spell checker
Last synced: 07 Nov 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/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/manpages/algorand-merkle
data-structures haskell literate-programming merkle-tree polymorphic
Last synced: 14 Oct 2024
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/mjstewart/rejig
A module header (imports / exports) formatting tool for haskell and daml
Last synced: 18 Jan 2025
https://github.com/simre1/haskell-game
apecs ecs game game-engine gpipe haskell opengl
Last synced: 07 Nov 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/andrewmacmurray/haskell-elm-architecture
Elm style model update view in Haskell
Last synced: 12 Oct 2024
https://github.com/caneroj1/filter-logger
Filterable request logging as wai middleware
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/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/andreabedini/cabal-cache-native
Native GitHub Action cache for your cabal project
Last synced: 12 Oct 2024
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/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/athanclark/urlpath
Extremely simple URL combinator DSL thing
haskell monad uri-printer urlpath
Last synced: 28 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/gaumala/translatejpbot
Telegram bot to translate Japanese words
haskell japanese-language jmdict telegram-bot translator
Last synced: 14 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/jyothsnasrinivas/eta-android-animation
Eta Android Animation example
android eta functional-programming haskell
Last synced: 29 Nov 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/alt-romes/slfl
The SILI synthesiser - synthesis of linear functional programs
Last synced: 11 Oct 2024
https://github.com/aloussase/emoji-cli
Emoji tool for the command line, with autocompletion!
Last synced: 06 Nov 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/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/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/basvandijk/vector-bytestring
ByteStrings as type synonyms of Vectors
Last synced: 28 Oct 2024
https://github.com/peti/postmaster
Postmaster ESMTP server
e-mail haskell mailserver smtpd
Last synced: 28 Oct 2024
https://github.com/chiroptical/snailscheme
A read friendly Scheme implementation
Last synced: 27 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/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/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/matsubara0507/extensible-instances
instances of extensible data type for any type class
Last synced: 19 Oct 2024
https://github.com/tfausak/patrol
:signal_strength: A Sentry SDK for Haskell
Last synced: 28 Oct 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/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/lysxia/coq-mtl
Formalized laws for mtl
coq effects formalization haskell laws monad monad-transformers
Last synced: 10 Oct 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/juev/fn-hs
Haskell library for generating file names based on current time and git commit.
Last synced: 12 Nov 2024
https://github.com/qnikst/co-log-concurrent
Concurrent backend for the co-log library
Last synced: 08 Nov 2024
https://github.com/michelboucey/nanoid
NanoID generator library and CLI tool in Haskell
binary cli haskell library nanoid unique-id-generator uuid-like
Last synced: 26 Dec 2024
https://github.com/halogenandtoast/nhk-reader-haskell
Haskell implementation of my NHK Reader
Last synced: 30 Jan 2025
https://github.com/toktok/hs-msgpack-types
Abstract data types and type classes for Haskell to MessagePack value converters
Last synced: 17 Nov 2024
https://github.com/rodrigosetti/messagepack
Serialize instance for Message Pack Object msgpack.org[Haskell]
haskell messagepack serialization
Last synced: 16 Dec 2024
https://github.com/qzchenwl/more-extensible-effects
An implementation of "Freer Monads, More Extensible Effects".
extensible-effects free-monad haskell
Last synced: 18 Nov 2024
https://github.com/simeonhristov99/fp_is_23-24
Practice sessions of group 3 for the course "Functional Programming" in the Faculty of Mathematics and Informatics, Sofia University.
funcional-programming haskell higher-order-functions lambda-functions lazy-evaluation recursion
Last synced: 14 Nov 2024
https://github.com/soupi/learn-twain-bulletin-app
Building a bulletin board using Haskell, twain and friends
haskell haskell-learning tutorial twain webdev
Last synced: 10 Nov 2024
https://github.com/mariari/kaleidoscope-llvm8
haskell haskell-tutorial jit kaleidoscope llvm-hs
Last synced: 07 Dec 2024
https://github.com/cdepillabout/yahoo-finance-api
Haskell wrapper for Yahoo Finance API
Last synced: 14 Nov 2024
https://github.com/fptje/miso-jswidget-example
Example of embedding arbitrary javascript widgets into Miso.
Last synced: 13 Nov 2024
https://github.com/nicholasglazer/miozu
DE-like dotfiles for Arch Linux that covers most of things with Xmonad, Xmobar and much more...
archlinux dotfiles haskell rofi-theme xmobar xmonad
Last synced: 14 Nov 2024
https://github.com/reflex-frp/reflex-fsnotify
Watch files and directories for changes using a functional-reactive interface!
filesystem frp fsnotify functional-reactive-programming haskell reflex
Last synced: 11 Nov 2024
https://github.com/pasqu4le/huffer
A Haskell compressor based on canonical Huffman codes
cli-app compression haskell huffman-coding
Last synced: 30 Nov 2024
https://github.com/grctest/grc-netdata
Netdata charts for Gridcoin
boinc charts cryptocurrency gridcoin haskell jq monitoring netdata turtle
Last synced: 03 Dec 2024
https://github.com/haskell-cryptography/cryptography-blake3-bindings
Vendored low-level bindings to BLAKE3 C implementation
Last synced: 18 Nov 2024
https://github.com/haskell-nix/haskell-with-nixpkgs
Drop-in files ready to integrate your project with Nix ecosystem and give Nixpkgs Haskell Lib abilities for your development and CI
ecosystem github-actions haskell nix nixpkgs testing
Last synced: 13 Nov 2024
https://github.com/composewell/concurrency-benchmarks
Benchmarks comparing concurrency overhead of streamly and async
benchmarks concurrency concurrency-benchmarks haskell
Last synced: 17 Nov 2024
https://github.com/mlabs-haskell/proto.nix
Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.
Last synced: 23 Jan 2025
https://github.com/redneb/hs-btrfs
Haskell bindings to the btrfs API
btrfs filesystem haskell linux
Last synced: 18 Nov 2024
https://github.com/octree/parsercombinator
Parser Combinators Written In Swift
combinator functional-programming haskell ios mac parsec parser swift
Last synced: 16 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/freckle/nonempty-zipper
A non-empty comonadic list zipper
comonads datastructures haskell list terraform-managed
Last synced: 27 Dec 2024
https://github.com/lyokha/ghc-stdin
A frontend plugin for GHC to compile source code from the standard input
Last synced: 12 Oct 2024
https://github.com/mgajda/syntaxnet-haskell
SyntaxNet API in Haskell
google-syntaxnet haskell pos syntaxnet syntaxnet-api
Last synced: 29 Oct 2024
https://github.com/freckle/weeder-action
Run Weeder to uncover unused Haskell functions
Last synced: 27 Dec 2024
https://github.com/trskop/freer-effects-extra
Extra goodies for freer package
extensible-effects freer-effects haskell
Last synced: 28 Oct 2024
https://github.com/noughtmare/jak
Simple frp text editor for testing and learning purposes.
Last synced: 14 Oct 2024
https://github.com/dmjio/call-swift-from-haskell
Call a Hello World Swift function from Haskell
Last synced: 16 Nov 2024
https://github.com/siadat/wordle-solver-haskell
solve a wordle with haskell
haskell wordle wordle-haskell wordle-solver
Last synced: 11 Oct 2024
https://github.com/maxim-saplin/mandelbrot
Microbenchmark testing Python, Numba, Mojo, Dart, C/gcc, Rust, Go, JavaScript, C#, Java, Kotlin, Pascal, Ruby, Haskell performance in Mandelbrot set generation
bun c csharp dart dotnet flutter gcc golang haskell java javascript kotlin mojo node nodejs numba pascal python ruby rust
Last synced: 11 Oct 2024
https://github.com/f-f/docker-haskell-lavello
🚰 Kitchen-sink docker image for building Haskell in CI
Last synced: 24 Oct 2024
https://github.com/tmspzz/danger-hlint
A Danger plugin for Hlint - https://rubygems.org/gems/danger-hlint
Last synced: 12 Nov 2024
https://github.com/itchyny/vim-haskell-sort-import
Sort import statements in Haskell codes
haskell vim vim-plugins vim-scripts
Last synced: 11 Oct 2024
https://github.com/co-log/co-log-polysemy
co-log extensible-effects hacktoberfest haskell logging logging-library polysemy
Last synced: 06 Dec 2024
https://github.com/mrkkrp/tagged-identity
Trivial monad transformer that allows identical monad stacks have different types
haskell monad-transformers phantom-types
Last synced: 28 Oct 2024
https://github.com/willdoescode/haskell-leetcode
Learning algorithms in haskell with the help of leetcode.
algorithms haskell haskell-exercises haskell-learning leetcode willdoescode
Last synced: 06 Nov 2024
https://github.com/laughedelic/m-cohomology
Basic abstractions and methods for computations in terms of group algebra Z[G] and automatic construction of cocycle translations for computation of cup-product.
algebra category-theory cohomology haskell mathematics maths thesis
Last synced: 01 Nov 2024
https://github.com/konn/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
compiler-plugin dependent-types ghc ghc-plugin haskell presburger-arithmetic-solver solver type-level-programming
Last synced: 27 Oct 2024
https://github.com/1computer1/hectoparsec
Flexible and powerful parser combinators for Haskell
combinators haskell lexer parser parser-combinators stream
Last synced: 31 Oct 2024
https://github.com/dwayne/xo-haskell
A Haskell library and CLI game for Tic-tac-toe.
Last synced: 06 Nov 2024
https://github.com/maoe/sensu-run
A tool to send command execution results to Sensu
Last synced: 31 Oct 2024
