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/dcastro/twenty48
An AI for the 2048 game using minimax and alpha-beta pruning, as described by John Hughes in the paper "Why Functional Programming Matters". The AI was written in Haskell and runs in a Yesod backend.
Last synced: 11 Oct 2024
https://github.com/composite-hs/composite
Integrations with Vinyl/Frames records.
aeson ekg haskell haskell-library opaleye vinyl
Last synced: 08 Nov 2024
https://github.com/minibill/elm-prelude
A Prelude for Haskell, modeled after elm/core
Last synced: 07 Nov 2024
https://github.com/kutyel/urlish
🔗 An URI shortener made with Redis and the Reader Monad!
haskell haskell-learning nix reader-monad redis uri-shortener url-shortener
Last synced: 17 Oct 2024
https://github.com/jluttine/haskpy
Haskell/Hask inspired classes and functions in Python
functional-programming functor haskell monad profunctor-optics python
Last synced: 12 Nov 2024
https://github.com/jpvillaisaza/mailchimp-haskell
Haskell bindings for the Mailchimp API
Last synced: 11 Nov 2024
https://github.com/csabahruska/dsl-experiment
Basic implementation of Hindley-Milner Type System and variants.
functional-programming haskell hindley-milner parser type-checker
Last synced: 14 Oct 2024
https://github.com/iamrecursion/absol
Formally correct DSLs
dissertation domain-specific-language dsl formal-semantics formal-verification haskell metacompiler metalanguage
Last synced: 05 Nov 2024
https://github.com/philzook58/basic-ass-shit
Simple Examples to show Haskell can do normal stuff too
Last synced: 11 Nov 2024
https://github.com/turbolent/duckling-docker
Duckling as a Docker container
Last synced: 19 Oct 2024
https://github.com/jradtilbrook/rubiks
Rubik's cube solving API and robot
api arduino haskell image-processing raspberry-pi robot rubiks rubiks-cube
Last synced: 09 Nov 2024
https://github.com/typeclasses/hex-text
Encode a ByteString as a hexidecimal Text value, or decode hexidecimal Text as a ByteString.
haskell haskell-library hexidecimal serialization text
Last synced: 20 Oct 2024
https://github.com/ndmitchell/lasagna
Checker for Haskell layering violations
Last synced: 12 Oct 2024
https://github.com/sudonatalie/vnc-client
VNC Remote Desktop Client developed purely in Haskell.
haskell literate-programming vnc vnc-client
Last synced: 17 Oct 2024
https://github.com/brandonchinn178/hpc-lcov
Convert HPC coverage output to LCOV format
Last synced: 28 Oct 2024
https://github.com/mbg/wai-saml2
WAI middleware implementing SAML2
haskell haskell-library saml-service-provider saml2
Last synced: 02 Nov 2024
https://github.com/evanrelf/haskell-template
Template for my Haskell + Nix projects
Last synced: 28 Oct 2024
https://github.com/athanclark/pred-trie
predicative lookup container
haskell lookup parametric-polymorphism predicates trie
Last synced: 11 Nov 2024
https://github.com/vaclavsvejcar/vcs-ignore
📜 Haskell library handling files ignored by VCS
git haskell haskell-library vcs
Last synced: 19 Oct 2024
https://github.com/agrafix/grabcite
Haskell: Library/Executable to extract citations from scientific papers
citation extraction haskell nlp paper text
Last synced: 12 Oct 2024
https://github.com/alkesst/datastructures
Some data structures implemented in java and haskell
algorithms data-structures data-structures-algorithms datastructures haskell java
Last synced: 07 Nov 2024
https://github.com/mrkkrp/plan-b
*DEPRECATED* Failure-tolerant file and directory editing for Haskell
Last synced: 12 Oct 2024
https://github.com/kitlangton/eulerplate
A tool for generating Haskell boilerplate for solving Hacker Rank challenges.
Last synced: 27 Oct 2024
https://github.com/takenobu-hs/stg-verilog
STG Physical Machine with Verilog-HDL for Haskell(GHC)
Last synced: 07 Nov 2024
https://github.com/agrafix/stripe-hs
Unofficial (and Incomplete) Stripe Haskell Bindings
haskell payments stripe stripe-api
Last synced: 12 Oct 2024
https://github.com/matsubara0507/test-extensible
Haskell の extensible パッケージのテストリポジトリ
Last synced: 19 Oct 2024
https://github.com/zoedsoupe/curlit
Programming languages snippets for simple HTTP requests!
begginer-friendly elixir haskell http javascript nodejs python ruby
Last synced: 30 Oct 2024
https://github.com/int-index/mirea-haskell-lectures
Код по Haskell-лекциям в МИРЭА
Last synced: 10 Oct 2024
https://github.com/vmchale/ghci-syntax
Syntax highlighting for ghci configuration files
ghci haskell syntax syntax-highlighting vim
Last synced: 10 Nov 2024
https://github.com/nmattia/cio
cio: cached HTTP requests for a smooth Jupyter experience!
Last synced: 07 Nov 2024
https://github.com/simeonhristov99/fp-additional-cs
Stores solutions to the tasks given on the graduation finals of Computer Science students @ FMI.
functional-programming haskell racket
Last synced: 14 Oct 2024
https://github.com/kavon/ghc-llvm
improvements to llvm to support functional-language compilers, e.g., ghc
Last synced: 28 Oct 2024
https://github.com/fused-effects/fused-effects-parser
Parsing w/ fused-effects inspired by trifecta
algebraic-effects haskell parser
Last synced: 06 Nov 2024
https://github.com/simonmichael/gist
A start at a reliable command-line client for gist.github.com. Obsolete.
Last synced: 28 Oct 2024
https://github.com/simonmichael/haskell-finance
Notes on Haskell programming language-related finances.
finance haskell hledger plaintext-accounting
Last synced: 28 Oct 2024
https://github.com/ners/lsp-client
A full-featured client for the Language Server Protocol
concurrency haskell lsp lsp-client
Last synced: 28 Oct 2024
https://github.com/3noch/drifter-project-m36
Drifter migration backend for Project:M36
database drifter haskell migration project-m36
Last synced: 07 Nov 2024
https://github.com/trskop/endo
Endomorphism utilities.
endo endomorphism haskell monoid
Last synced: 28 Oct 2024
https://github.com/adithyaov/acyclic-graphs
A small experiment to make acyclic graphs in Haskell.
Last synced: 07 Nov 2024
https://github.com/chrisbarrett/apidoc-checker
A command-line tool to verify apidoc specifications
Last synced: 23 Oct 2024
https://github.com/Kwasniok/LambdaCalculus
lambda calculus in haskell
evaluation haskell lambda-calculus lambda-expressions parse valid
Last synced: 10 Aug 2024
https://github.com/owainlewis/oci-haskell-sdk
A Haskell SDK for working with Oracle Cloud Infrastructure
Last synced: 15 Oct 2024
https://github.com/dmjio/servant-wasm
Servant support for delivering WebAssembly
Last synced: 12 Oct 2024
https://github.com/trskop/lock-file
Provide exclusive access to a resource using lock file.
Last synced: 12 Oct 2024
https://github.com/arxiv/zzzarchived_arxiv-pandoc
Pandoc-based executable. Currently extracts text from documents
Last synced: 06 Nov 2024
https://github.com/sleexyz/rebindable
Better RebindableSyntax for Indexed Monads
haskell indexed monads rebindablesyntax
Last synced: 29 Oct 2024
https://github.com/cidem/haskell-readert
This repository demonstrates how to use the ReaderT pattern to structure your Haskell code.
architecture haskell katip readert
Last synced: 07 Nov 2024
https://github.com/kakkun61/kinf-template
A static site generator template powered by Shake, Lucid and Hint.
Last synced: 30 Oct 2024
https://github.com/ivanperez-keera/clean-home
DEPRECATED: Keep your $HOME clean by finding old conf files
Last synced: 14 Oct 2024
https://github.com/deciduously/tictactoe-hs
TicTacToe in Haskell, with accompanying blogpost
haskell haskell-learning tictactoe
Last synced: 21 Oct 2024
https://github.com/m4lvin/mchlpe
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
agent-types epistemic-logic haskell model-checking puzzle
Last synced: 14 Oct 2024
https://github.com/thma/thma.github.io
Lambda is not a four letter word. My blog on all things haskell and FP.
equational-reasoning functional-programming haskell lambda-calculus patterns
Last synced: 29 Oct 2024
https://github.com/relrod/bioparse
A set of parsing combinators for various bioinformatics sequencing formats using the `parsers` library.
Last synced: 24 Oct 2024
https://github.com/haskell/network-bsd
POSIX network database (<netdb.h>) API
bsd-sockets haskell network-programming
Last synced: 07 Oct 2024
https://github.com/fjvallarino/libmdbx-hs
Haskell bindings for libmdbx
database haskell in-process key-value-store
Last synced: 07 Oct 2024
https://github.com/portnov/hcheckers
HCheckers is a relatively simple implementation of checkers board game (also known as "draughts")
checkers checkers-game haskell python qt5
Last synced: 14 Oct 2024
https://github.com/andrewnetwork/haskelltwitchbot
A simple educational twitch chat bot written in Haskell.
Last synced: 05 Nov 2024
https://github.com/nwtgck/assertion-haskell
Assertion with condition string representation in Haskell.
assertions haskell haskell-library template-haskell
Last synced: 25 Oct 2024
https://github.com/mwotton/hstemplate
a template for building apps the way i like 'em.
haskell servant squeal starter-template
Last synced: 27 Oct 2024
https://github.com/nikita-volkov/isomorphism-class
Isomorphism typeclass solving the conversion problem
Last synced: 28 Oct 2024
https://github.com/haskell-github-trust/fgl-visualize
Convert FGL to Graphviz DOT format
Last synced: 15 Oct 2024
https://github.com/farbodsz/codeforces-cli
Command line interface to interact with Codeforces
codeforces codeforces-api haskell
Last synced: 12 Oct 2024
https://github.com/joom/herbrand-prolog
A pseudo-Prolog that tries to answer queries by building the least Herbrand model.
Last synced: 12 Nov 2024
https://github.com/mrkkrp/flac-picture
Support for writing pictures into FLAC metadata blocks with JuicyPixels
cover-art flac haskell picture
Last synced: 28 Oct 2024
https://github.com/stevenxl/yesod-money-manager
A web application for managing money.
haskell money money-manager web-app web-application yesod
Last synced: 27 Oct 2024
https://github.com/fumieval/data-vector-growable
Dynamic, growable, resizable, mutable and generic vector implementation
Last synced: 15 Oct 2024
https://github.com/obsidiansystems/monoid-map
Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct 'Group' instance.
Last synced: 07 Nov 2024
https://github.com/kevindasilvas/vhs
Haskell list functions implemented in v lang
Last synced: 21 Oct 2024
https://github.com/dhess/pinpon
A doorbell service in Haskell. No, really.
doorbell haskell iot notifications
Last synced: 07 Nov 2024
https://github.com/yurrriq/abstract-algebra-pinter
:book: Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
abstract-algebra exercises haskell latex learning-by-book nix
Last synced: 12 Oct 2024
https://github.com/yurrriq/advent-of-code
Semi-literate polyglot solutions to Advent of Code problems.
advent-of-code-2015 advent-of-code-2016 advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 gap haskell idris lfe literate-programming nix noweb picat tufte-latex xelatex
Last synced: 12 Oct 2024
https://github.com/sjoerdvisscher/discrete-space-map
A discrete space map implemented as a zipper on an infinite perfect binary tree.
Last synced: 15 Oct 2024
https://github.com/kleidukos/pg-transact-effectful
pg-transact for the Effectful ecosystem
effect-system effectful haskell postgresql
Last synced: 27 Oct 2024
https://github.com/jwoudenberg/ghc-generics-cheatsheet
Annotated GHC generics representations of example types
Last synced: 12 Oct 2024
https://github.com/intersectmbo/win32-network
Networking library for Windows
Last synced: 12 Nov 2024
https://github.com/fosskers/enigma
An encryption algorithm inspired by the Enigma Machine.
encryption-algorithm enigma-machine haskell
Last synced: 08 Nov 2024
https://github.com/srid/aoc2019
Srid's solutions to Advent of Code 2019 in Haskell
advent-of-code advent-of-code-2019 haskell nix
Last synced: 07 Nov 2024
https://github.com/airsequel/double-x-encoding
Encoding scheme to encode any Unicode string with only [0-9a-zA-Z_]. Similar to URL percent-encoding. Especially useful for GraphQL ID generation.
decoding elm encoding encoding-scheme graphql haskell id javascript typescript
Last synced: 12 Oct 2024
