Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

https://github.com/prikhi/sleepanarchy

The PureScript Frontend & Haskell Backend That Powers the SleepAnarchy.com Blog

blog docker docker-compose haskell haskell-servant molokai purescript purescript-halogen website

Last synced: 11 Oct 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/mbg/wai-saml2

WAI middleware implementing SAML2

haskell haskell-library saml-service-provider saml2

Last synced: 02 Nov 2024

https://github.com/jonathas-conceicao/snake-haskell

A implementation of the Snake game made in Haskell using the gloss-game package.

game gloss gloss-game haskell pixel-art

Last synced: 06 Dec 2024

https://github.com/minoki/lambdaquest

An implementation of System F, System Fsub (F_{<:}) and Finter (F_โˆง)

haskell lambda-calculus type-system

Last synced: 21 Jan 2025

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/composite-hs/composite

Integrations with Vinyl/Frames records.

aeson ekg haskell haskell-library opaleye vinyl

Last synced: 08 Nov 2024

https://github.com/futtetennista/serverlessvalidator

A validator for serverless.yml files written in Haskell

docker haskell serverless validator yml-files

Last synced: 27 Oct 2024

https://github.com/airsequel/oclis

The obvious CLI specification format. You define the spec, Oclis generates the code! Support for PureScript so far. PRs for more languages appreciated!

argparse cli cli-spec docopt elm haskell nickel optparse optparse-applicative polyglot purescript rust specification

Last synced: 12 Oct 2024

https://github.com/anton-latukha/haskell-programming-from-first-principles-exercises

Consists of QUALITY BELABORING of EVERY EXERCISE in the chapters {1-18,26} (~1400 pages) of the "Haskell book" ("Haskell Programming from First Principles"). With literate comments. Additionally notable for use of Nix for exercise projects.

haskell haskell-book haskell-from-first-principles haskell-nix learning-by-doing nix

Last synced: 14 Oct 2024

https://github.com/prikhi/wai-middleware-clacks

Add An "X-Clacks-Overhead" Header To Wai Responses.

clacks discworld gnu-terry-pratchett haskell header middleware wai x-clacks-overhead

Last synced: 11 Oct 2024

https://github.com/caiorss/zhserver

Haskell Webserver for Zotero reference manager - based on Zotero.

app application books document education haskell http papers reference rest search server zotero

Last synced: 02 Jan 2025

https://github.com/mstruebing/todo.hs

A terminal todo-list written in haskell

cli cli-app haskell todo todolist

Last synced: 20 Oct 2024

https://github.com/typeclasses/dsv

DSV (delimiter-separated values)

csv delimiter-separated-fields haskell haskell-library

Last synced: 05 Dec 2024

https://github.com/evanrelf/haskell-template

Template for my Haskell + Nix projects

haskell nix template

Last synced: 28 Oct 2024

https://github.com/sleexyz/rebindable

Better RebindableSyntax for Indexed Monads

haskell indexed monads rebindablesyntax

Last synced: 29 Oct 2024

https://github.com/owainlewis/oci-haskell-sdk

A Haskell SDK for working with Oracle Cloud Infrastructure

bare-metal haskell oracle sdk

Last synced: 01 Feb 2025

https://github.com/felipemonobe/lagoinha-hs

A Haskell study with concurrency, http requests, JSON and XML parsing.

aeson async asynchronous concurrency functional-programming haskell haskell-learning http json race-conditions wreq xml

Last synced: 27 Dec 2024

https://github.com/phenax/midibinds

An experiment to use my midi keyboard as a secondary keyboard for executing commands and macros

haskell key-bindings keyboard midi midi-controller portmidi

Last synced: 16 Nov 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/kavon/ghc-llvm

improvements to llvm to support functional-language compilers, e.g., ghc

compilers ghc haskell llvm

Last synced: 21 Dec 2024

https://github.com/utdemir/handsy

[DEPRECATED] A Haskell DSL to describe common shell operations and interpeters for running them locally and remotely.

haskell

Last synced: 28 Oct 2024

https://github.com/siraben/lisp-to-js

Compiling Lisp to JavaScript

compilers haskell lisp scheme

Last synced: 18 Dec 2024

https://github.com/arxiv/zzzarchived_arxiv-pandoc

Pandoc-based executable. Currently extracts text from documents

haskell nix

Last synced: 06 Nov 2024

https://github.com/danielpancake/haskell-outrun

Outrun-like racing game made in Haskell

game haskell outrun pseudo3d

Last synced: 30 Oct 2024

https://github.com/basvandijk/repr

Render overloaded expressions to their textual representation.

haskell pretty-print

Last synced: 10 Oct 2024

https://github.com/basvandijk/string-combinators

Polymorphic functions to build and combine stringlike values

haskell

Last synced: 10 Oct 2024

https://github.com/basvandijk/safer-file-handles

Type-safe file handling

haskell

Last synced: 10 Oct 2024

https://github.com/basvandijk/explicit-iomodes

File handles with explicit IOModes

haskell

Last synced: 10 Oct 2024

https://github.com/basvandijk/bindings-libusb

Low level bindings to libusb

haskell usb

Last synced: 10 Oct 2024

https://github.com/xion/wikilate

Wikipedia-based command line translator

haskell translation wikipedia

Last synced: 14 Jan 2025

https://github.com/duetosymmetry/game-about-squares-solver-haskell

A Haskell solver for Game About Squares (gameaboutsquares.com)

game haskell solver

Last synced: 01 Feb 2025

https://github.com/mzguntalan/neptune

[WIP] Neptune: JAX iterop-able library in Haskell.

ai deep-learning haskell jax machine-learning python xla

Last synced: 25 Jan 2025

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/serhiicho/playground

This repo is the playground for programming languages that I'm playing with

c cpp go haskell java js node php python

Last synced: 02 Nov 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: 21 Dec 2024

https://github.com/gilligan/nix-ghcide

nix expressions for hie-core

ghcide haskell nix

Last synced: 07 Nov 2024

https://github.com/dmjio/hello-halvm

Example "Hello World" HaLVM web-server running on the Xen Hypervisor

halvm haskell hypervisor xen

Last synced: 16 Nov 2024

https://github.com/juhp/stack-all

build Haskell projects over Stackage LTS major versions

haskell stack

Last synced: 31 Oct 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/keera-studios/ifelse

Anaphoric and miscellaneous useful control-flow

conditional-statements haskell monad monads

Last synced: 13 Jan 2025

https://github.com/typeclasses/fractal-sets

Escape-time fractals created with Haskell and GD.

fractals haskell

Last synced: 05 Dec 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/jiriklepl/masters-thesis-code

This is a supplementary repository for my master's thesis

cabal cmm compiler haskell language llvm master-thesis masters-thesis mff-uk

Last synced: 05 Dec 2024

https://github.com/michaelsproul/ens-search

Find awesome Ethereum names with ease!

ethereum ethereum-name-service haskell

Last synced: 16 Dec 2024

https://github.com/jiayihu/lab

Personal experiments with technologies

functional-programming haskell

Last synced: 06 Nov 2024

https://github.com/qnighy/shumilog

Shumilog - a partial Prolog implementation

haskell prolog prolog-implementation

Last synced: 13 Dec 2024

https://github.com/centromere/pipes-cacophony

Pipes for Noise-secured network connections

cryptography haskell

Last synced: 12 Oct 2024

https://github.com/kakkun61/kinf-template

A static site generator template powered by Shake, Lucid and Hint.

haskell www

Last synced: 18 Dec 2024

https://github.com/barrucadu/irc-ctcp

This project is essentially abandonware!

abandonware haskell

Last synced: 20 Oct 2024

https://github.com/3noch/drifter-project-m36

Drifter migration backend for Project:M36

database drifter haskell migration project-m36

Last synced: 26 Dec 2024

https://github.com/axect/euler

Answer for Euler project using various languages (primary: Haskell, Rust, Nim)

euler haskell julia language nim python rust

Last synced: 29 Jan 2025

https://github.com/pravda-lang/pravda

A functional programming language that best of both worlds between Haskell and Lisp

functional-paradigm haskell interpreter lisp pravda programming-language

Last synced: 12 Oct 2024

https://github.com/amhndu/life.hs

Conway's Game of Life in Haskell

cellular-automata conway-life game-of-life haskell

Last synced: 07 Nov 2024

https://github.com/slotthe/hmenu

Dmenu wrapper for fun and profit! // GitHub Mirror

dmenu haskell yeganesh

Last synced: 14 Oct 2024

https://github.com/luavreis/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 26 Oct 2024

https://github.com/marceloboeira/hffp

ฦ› My solutions for the Haskell From First Principles book

book exercises haskell hffp solutions

Last synced: 21 Dec 2024

https://github.com/andrewnetwork/haskelltwitchbot

A simple educational twitch chat bot written in Haskell.

chatbot haskell irc twitch

Last synced: 23 Dec 2024

https://github.com/keithduncan/statsd-client

Statsd and dogstatsd network client in Haskell.

dogstatsd haskell metrics statsd-client

Last synced: 12 Oct 2024

https://github.com/adithyaov/acyclic-graphs

A small experiment to make acyclic graphs in Haskell.

acyclic alga haskell

Last synced: 27 Dec 2024

https://github.com/kutyel/hangman

๐Ÿ‘พ A hangman CLI game made in Haskell!

hangman hangman-console hangman-game haskell haskell-book haskell-game

Last synced: 02 Feb 2025

https://github.com/kevindasilvas/vhs

Haskell list functions implemented in v lang

hacktoberfest haskell v vlang

Last synced: 21 Oct 2024

https://github.com/minibill/elm-prelude

A Prelude for Haskell, modeled after elm/core

elm haskell prelude

Last synced: 14 Jan 2025

https://github.com/willdoescode/star-it-hs

Star all repos from a user.

haskell star-it-all

Last synced: 25 Dec 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/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/saschagrunert/seer

A collaborative resource planning tool ๐Ÿ”ฎ

collaboration haskell planning productvision resource roadmap schedule tool vision

Last synced: 27 Dec 2024

https://github.com/fosskers/streaming-pcap

Stream packets via libpcap.

haskell pcap streaming

Last synced: 08 Nov 2024

https://github.com/tfausak/heptapod

:squid: Generate version 7 UUIDs in Haskell.

haskell uuid

Last synced: 12 Oct 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

https://github.com/ivanperez-keera/clean-home

DEPRECATED: Keep your $HOME clean by finding old conf files

haskell maintenance

Last synced: 14 Oct 2024

https://github.com/chrisbarrett/apidoc-checker

A command-line tool to verify apidoc specifications

apidoc flycheck haskell

Last synced: 11 Dec 2024

https://github.com/obsidiansystems/dependent-monoidal-map

Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict

containers dependent-map haskell monoidal

Last synced: 07 Nov 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/obsidiansystems/monoid-map

Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct 'Group' instance.

haskell

Last synced: 07 Nov 2024

https://github.com/quchen/lambda-ski

A lambda and SKI calculus playground

haskell lambda-calculus ski-calculus

Last synced: 12 Oct 2024

https://github.com/the-dr-lazy/soallpeach

Soallpeach challenge

education haskell

Last synced: 13 Dec 2024

https://github.com/akshaymankar/dhall-fly

fly with dhall. Not to be confused with dal-tadka

concourse dhall dhall-lang haskell

Last synced: 15 Oct 2024

https://github.com/dmjio/servant-wasm

Servant support for delivering WebAssembly

haskell servant wasm

Last synced: 12 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/mjepronk/apie

Apie: a simple event sourcing and content addressable storage API (Warp and CGI)

cgi content-addressable-storage event-sourcing haskell

Last synced: 02 Feb 2025

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: 29 Dec 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/relrod/bioparse

A set of parsing combinators for various bioinformatics sequencing formats using the `parsers` library.

bioinformatics haskell parse

Last synced: 20 Dec 2024

https://github.com/ivanperez-keera/games-voldemort

Game implemented during ZuriHac2015

game haskell sdl

Last synced: 19 Dec 2024

https://github.com/trskop/lock-file

Provide exclusive access to a resource using lock file.

haskell linux lock-file posix

Last synced: 12 Oct 2024

https://github.com/kutyel/mu-haskell-berlin-fp-talk

Code example and slides for my talk in the Berlin Functional Programming Group

graphql-server haskell mdx-deck mu-graphql mu-haskell

Last synced: 17 Oct 2024

https://github.com/caneroj1/mbtiles-server

Haskell MBTiles server using Servant

haskell mbtiles servant tileserver

Last synced: 03 Feb 2025

https://github.com/kutyel/trolleys

๐Ÿ›’ Haskell program to schedule trolleys and shifts randomly!

haskell haskell-application haskell-cli random random-shuffle schedule scheduler

Last synced: 17 Oct 2024

https://github.com/dmalikov/e

Express sensitive data inside text files in readable and compact way

encryption gpg gpgme haskell

Last synced: 04 Dec 2024

https://github.com/prikhi/wordpress-auth

Authenticate Wordpress Cookies & Nonces in Haskell Requests.

cookies haskell nonces servant servant-auth wordpress wordpress-auth

Last synced: 11 Oct 2024