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/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/evanrelf/haskell-template

Template for my Haskell + Nix projects

haskell nix template

Last synced: 28 Oct 2024

https://github.com/takenobu-hs/processor-creative-kit

haskell prrocessor-creative-kit

assembly cpu haskell

Last synced: 07 Nov 2024

https://github.com/soficshift/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 14 Dec 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/taktoa/small-haskell

Small projects written in Haskell

experimental haskell

Last synced: 12 Oct 2024

https://github.com/tfausak/ratel-wai

:honey_pot: Notify Honeybadger about exceptions via a WAI middleware.

haskell

Last synced: 11 Oct 2024

https://github.com/mrkkrp/plan-b

*DEPRECATED* Failure-tolerant file and directory editing for Haskell

file-system haskell

Last synced: 12 Oct 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/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/mstruebing/todo.hs

A terminal todo-list written in haskell

cli cli-app haskell todo todolist

Last synced: 20 Oct 2024

https://github.com/joom/herbrand-prolog

A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

haskell prolog pseudo-prolog

Last synced: 11 Jan 2025

https://github.com/int-index/mirea-haskell-lectures

Код по Haskell-лекциям в МИРЭА

crash-course haskell

Last synced: 10 Oct 2024

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/saschagrunert/seer

A collaborative resource planning tool 🔮

collaboration haskell planning productvision resource roadmap schedule tool vision

Last synced: 27 Dec 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/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/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/typeclasses/fractal-sets

Escape-time fractals created with Haskell and GD.

fractals haskell

Last synced: 05 Dec 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/centromere/pipes-cacophony

Pipes for Noise-secured network connections

cryptography haskell

Last synced: 12 Oct 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/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/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/elaye/hakyll-favicon

Favicons for Hakyll websites

favicon hakyll haskell web

Last synced: 12 Oct 2024

https://github.com/jneira/wai-servlet-handler-jetty

Wai handler to run wai applications in a embedded jetty server

eta haskell jetty wai webdevelopment

Last synced: 13 Jan 2025

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/dmjio/servant-wasm

Servant support for delivering WebAssembly

haskell servant wasm

Last synced: 12 Oct 2024

https://github.com/dhess/pinpon

A doorbell service in Haskell. No, really.

doorbell haskell iot notifications

Last synced: 27 Dec 2024

https://github.com/werehamster/avers

A model abstraction library

haskell

Last synced: 14 Oct 2024

https://github.com/matsubara0507/mix.hs

building rio package configuration using cont monad with extensible

extensible haskell haskell-library

Last synced: 19 Oct 2024

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/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/ivanperez-keera/games-voldemort

Game implemented during ZuriHac2015

game haskell sdl

Last synced: 19 Dec 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/luavreis/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 26 Oct 2024

https://github.com/kevindasilvas/vhs

Haskell list functions implemented in v lang

hacktoberfest haskell v vlang

Last synced: 21 Oct 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/nikita-volkov/isomorphism-class

Isomorphism typeclass solving the conversion problem

haskell isomorphism typeclass

Last synced: 28 Oct 2024

https://github.com/wereHamster/avers

A model abstraction library

haskell

Last synced: 31 Oct 2024

https://github.com/unorsk/yr

yr.no weather forecasts CLI-app in Haskell

cli haskell yr yrno

Last synced: 20 Dec 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/andrewnetwork/haskelltwitchbot

A simple educational twitch chat bot written in Haskell.

chatbot haskell irc twitch

Last synced: 23 Dec 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/willdoescode/star-it-hs

Star all repos from a user.

haskell star-it-all

Last synced: 25 Dec 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/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/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/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/trskop/endo

Endomorphism utilities.

endo endomorphism haskell monoid

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/simonmichael/gist

A start at a reliable command-line client for gist.github.com. Obsolete.

gist gist-client haskell

Last synced: 28 Oct 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/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/gilligan/nix-ghcide

nix expressions for hie-core

ghcide haskell nix

Last synced: 07 Nov 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/tfausak/heptapod

:squid: Generate version 7 UUIDs in Haskell.

haskell uuid

Last synced: 12 Oct 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/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/prikhi/wordpress-auth

Authenticate Wordpress Cookies & Nonces in Haskell Requests.

cookies haskell nonces servant servant-auth wordpress wordpress-auth

Last synced: 11 Oct 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/farbodsz/codeforces-cli

Command line interface to interact with Codeforces

codeforces codeforces-api haskell

Last synced: 12 Oct 2024

https://github.com/leventerkok/floatinghex

Hexadecimal Floats for Haskell

floating-point haskell hexadecimal-floats ieee754

Last synced: 12 Oct 2024

https://github.com/mrkkrp/cue-sheet

Support for construction, rendering, and parsing of CUE sheets

cue-sheet haskell

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

A bullet hell game in haskell

ecs game haskell sdl

Last synced: 28 Jan 2025

https://github.com/jaalonso/i1m

Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)

haskell

Last synced: 06 Dec 2024

https://github.com/jaalonso/pc-haskell

Programación competitiva con Haskell

competitive-programming haskell

Last synced: 06 Dec 2024

https://github.com/jaalonso/intro-haskellformaths

Introducción a HaskellForMaths

haskell math

Last synced: 06 Dec 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/marceloboeira/hffp

ƛ My solutions for the Haskell From First Principles book

book exercises haskell hffp solutions

Last synced: 21 Dec 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/keera-studios/ifelse

Anaphoric and miscellaneous useful control-flow

conditional-statements haskell monad monads

Last synced: 13 Jan 2025

https://github.com/minad/colorful-monoids

colorful-monoids: Styled console text output using ANSI escape sequences

ansi-escape-sequences haskell pretty-print

Last synced: 13 Oct 2024

https://github.com/sjoerdvisscher/discrete-space-map

A discrete space map implemented as a zipper on an infinite perfect binary tree.

data-type haskell infinite

Last synced: 15 Oct 2024

https://github.com/fumieval/data-vector-growable

Dynamic, growable, resizable, mutable and generic vector implementation

array haskell

Last synced: 15 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/caneroj1/mbtiles-server

Haskell MBTiles server using Servant

haskell mbtiles servant tileserver

Last synced: 03 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/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/the-dr-lazy/soallpeach

Soallpeach challenge

education haskell

Last synced: 13 Dec 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/ivanperez-keera/clean-home

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

haskell maintenance

Last synced: 14 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