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/obsidiansystems/constraints-extras

Convenience functions and template haskell for working with constraints

constraints haskell

Last synced: 21 Jan 2025

https://github.com/mariari/misc-ml-scripts

Various ideas in OCaml, Haskell, and F*

fstar haskell ocaml

Last synced: 07 Dec 2024

https://github.com/josefilipeferreira/haskhell3d

Haskell-Gloss Doom-like 3D shooter

3d-shooter gloss haskell

Last synced: 16 Dec 2024

https://github.com/gergoerdi/clash-pong

Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs

clash fpga hardware haskell pong-game

Last synced: 16 Nov 2024

https://github.com/juspay/hoogleverse

Host Hoogle via Nix / NixOS, with handpicked list of packages

haskell hoogle nix self-hosted

Last synced: 12 Nov 2024

https://github.com/unclechu/xlib-keys-hack

Keyboard behavior customization utility

haskell keyboard keyboard-layout linux x11 xkb xlib xmobar xmonad

Last synced: 08 Jan 2025

https://github.com/dagit/logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

haskell logict

Last synced: 08 Nov 2024

https://github.com/taffybar/gtk-traymanager

A wrapper around eggtraymanager for Haskell/gtk2hs

gtk2hs haskell tray-widget xembed

Last synced: 08 Nov 2024

https://github.com/adetokunbo/tmp-proc

Use docker to run 'tmp' processes in haskell integration tests

docker haskell haskell-library testing

Last synced: 07 Nov 2024

https://github.com/vmchale/language-xats

Language library for manipulating ATS3 in Haskell.

ats ats-lang haskell language

Last synced: 10 Nov 2024

https://github.com/tfausak/haskell-package-checklist

:ballot_box_with_check: Write better Haskell packages

haskell

Last synced: 17 Nov 2024

https://github.com/alexandru/days-since

Simple command line for showing the number of passed days since a certain date

command-line-tool haskell

Last synced: 09 Nov 2024

https://github.com/ucsd-progsys/intro-refinement-types

Introductory Tutorial on Refinement Types

haskell liquidhaskell refinement-types smt

Last synced: 24 Dec 2024

https://github.com/iijlab/direct-hs

Client library for https://direct4b.com in Haskell

bot bot-framework direct4b haskell

Last synced: 08 Nov 2024

https://github.com/corsis/splice

A Haskell library that implements most efficient socket-to-socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls.

haskell library socket-io

Last synced: 24 Nov 2024

https://github.com/lupino/sharefs

A share file system base on http and fuse

fuse fuse-filesystem haskell haskell-library microservice microservices

Last synced: 21 Nov 2024

https://github.com/lpeterse/haskell-replique

Replique is a high-level REPL library for building command line interfaces.

eval haskell loop print read readline repl terminal

Last synced: 06 Nov 2024

https://github.com/michelboucey/glabrous

A minimalistic Mustache-like syntax, truly logic-less, pure Text DSL template library

haskell haskell-library template-engine templating

Last synced: 26 Dec 2024

https://github.com/haskell-github-trust/true-name

Template Haskell hack to violate another module's abstractions

haskell template-haskell

Last synced: 12 Dec 2024

https://github.com/arowm/haskell-bookkeeping

A Haskell module for bookkeeping by double entry.

bookkeeping haskell haskell-bookkeeping

Last synced: 14 Nov 2024

https://github.com/moodmosaic/bookmarks

A selection of the links I find interesting over time. Updated on a regular basis.

c category-theory cryptocurrencies dotnet fsharp git haskell leisure unix-like

Last synced: 13 Nov 2024

https://github.com/mcfilib/i18n

Internationalisation for Haskell

haskell internationalisation

Last synced: 15 Nov 2024

https://github.com/keera-studios/haskelloids

Haskelloids: A reproduction of the Atari 1979 classic "Asteroids"

frp functional-reactive-programming game haskell opengl yampa

Last synced: 14 Nov 2024

https://github.com/tejasbubane/haskell-book-code

[Complete] Solutions to exercises from "Haskell Book" along with study notes

exercises haskell haskell-learning learning-by-book

Last synced: 13 Nov 2024

https://github.com/oisdk/type-indexed-queues

Queues with verified and unverified versions

data-structures dependent-types haskell

Last synced: 21 Nov 2024

https://github.com/05st/capri

A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.

compiler functional-programming haskell language languages programming-language

Last synced: 16 Jan 2025

https://github.com/petertseng/adventofcode-hs-2022

Solutions to https://adventofcode.com/2022 (complete)

advent-of-code advent-of-code-2022 haskell

Last synced: 13 Nov 2024

https://github.com/gusenov/stepik-functional-programming-hs

:mortar_board: Функциональное программирование на языке Haskell.

course examples haskell problem-solving problemsolving stepik

Last synced: 08 Nov 2024

https://github.com/meooow25/samsort

A stable adaptive mergesort implementation

haskell sorting

Last synced: 30 Oct 2024

https://github.com/peti/funcmp

Function MetaPost is a Haskell frontend to the MetaPost language.

graphics haskell haskell-library latex metapost postscript

Last synced: 28 Oct 2024

https://github.com/foxhound-systems/eved

Eved is an API definition eDSL in the spirit of Servant

haskell

Last synced: 06 Nov 2024

https://github.com/peti/cabal2spec

Convert Cabal files into rpm spec files

cabal haskell rpm rpm-spec

Last synced: 28 Oct 2024

https://github.com/rpearce/robertwpearce.com

💾 My personal site; built with hakyll

blog hakyll haskell static-site static-site-generation

Last synced: 02 Nov 2024

https://github.com/mchakravarty/welcome-to-fp-workshop

Support material for the “Introduction to Functional Programming” workshop @ the "Welcome to Functional Programming" day of YOW! Lambda Jam, Sydney, 2018 & 2019

functional-programming haskell introduction learning

Last synced: 12 Oct 2024

https://github.com/fumieval/incremental

Type class for patch and diff

diff haskell

Last synced: 15 Oct 2024

https://github.com/jecaro/systranything

Create a system tray menu from a YAML file with shell commands

appindicator haskell haskell-gi system-tray

Last synced: 06 Dec 2024

https://github.com/l29ah/hatexmpp3

XMPP client with synthetic filesystem (9P) and (optional) graphical (GTK3) interfaces

9p haskell jabber xmpp

Last synced: 24 Oct 2024

https://github.com/jyothsnasrinivas/eta-flink

Apache Flink Example in Eta

big-data eta flink haskell

Last synced: 29 Nov 2024

https://github.com/taktoa/hsdm

An X11 display manager, written in Haskell. (WIP)

display-manager haskell x11

Last synced: 12 Oct 2024

https://github.com/dmjio/scythe

Fast, RFC-4180 compliant, CSV lexing.

csv haskell lexing

Last synced: 24 Oct 2024

https://github.com/myuon/minilight

A SDL2-based graphics library, batteries included.

graphics-library haskell sdl2

Last synced: 15 Oct 2024

https://github.com/3noch/twitch-cli

CLI to watch file patterns and run commands when they change

cli command-line-tool file-system haskell inotify inotifywait

Last synced: 10 Oct 2024

https://github.com/mrkkrp/wave

Work with WAVE and RF64 files in Haskell

haskell rf64 wave

Last synced: 28 Oct 2024

https://github.com/srid/miso-viso

Playing with abstract visualizations in Miso. Work in Progress.

haskell miso svg visualization

Last synced: 10 Oct 2024

https://github.com/thma/hswiki

Simple Wiki in the spirit of the legendary C2-Wiki - written in haskell with yesod

graphviz haskell html markdown milligram-css regex wiki wikiwiki yesod

Last synced: 29 Oct 2024

https://github.com/sigrlami/pollock

Repo for teaching Web Development in Haskell

elm haskell heist learning purescript react reflex-frp servant

Last synced: 11 Oct 2024

https://github.com/kseo/language-dart

Dart source manipulation

dart haskell

Last synced: 11 Oct 2024

https://github.com/shivamashtikar/haskell-setup

Haskell setup for vscode with cabal and nix

cabal haskell ide nix nix-shell vscode

Last synced: 13 Nov 2024

https://github.com/chordify/redis-schema

Typed, schema-based, composable Redis library for Haskell

haskell library redis schema typed

Last synced: 18 Jan 2025

https://github.com/dmjio/tripletown

Console-based version of TripleTown

game haskell tripletown

Last synced: 16 Nov 2024

https://github.com/axarva/todo

A simple todo list program in Haskell

haskell todolist

Last synced: 08 Nov 2024

https://github.com/educorreia932/chique

🐥 Code formatter for Agda

agda code-formatter haskell

Last synced: 12 Oct 2024

https://github.com/nicolast/landlock-hs

Haskell bindings for the Linux Landlock API

haskell haskell-library landlock linux sandbox sandboxing security

Last synced: 12 Oct 2024

https://github.com/aitorres/rockstar-lexer

A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.

alex haskell lexer lexical rockstar-language

Last synced: 14 Oct 2024

https://github.com/abarbu/reason-export

Create Reason types and JSON encoders/decoders for Haskell types

haskell reason reasonml servant web

Last synced: 11 Oct 2024

https://github.com/tristancacqueray/haxible

Ansible interpreter powered by Haxl

ansible haskell haxl

Last synced: 23 Oct 2024

https://github.com/zudov/servant-realworld-example-app

Exemplary real world application built with servant

example haskell realworld servant

Last synced: 24 Oct 2024

https://github.com/tek/chiasma

A Haskell client for tmux

haskell polysemy tmux

Last synced: 14 Oct 2024

https://github.com/hvr/cabal-env

Tool for managing GHC package environments

cabal ghc haskell

Last synced: 12 Oct 2024

https://github.com/fresheyeball/shpadoinkle

This is the OFFICIAL MIRROR of the project. It is kept automatically up to date. Source of truth here: https://gitlab.com/fresheyeball/Shpadoinkle/-/tree/master

framework functional-programming haskell javascript user-interface

Last synced: 31 Oct 2024

https://github.com/tfausak/salve

:syringe: Semantic version numbers and constraints for Haskell.

haskell

Last synced: 28 Oct 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/matterhorn-chat/aspell-pipe

A pipe interface to the Aspell spell checker

aspell haskell

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

git haskell

Last synced: 17 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/mjstewart/rejig

A module header (imports / exports) formatting tool for haskell and daml

daml haskell

Last synced: 18 Jan 2025

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/chiroptical/snailscheme

A read friendly Scheme implementation

haskell interpreter scheme

Last synced: 27 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/stackbuilders/rollbar-haskell

A group of libraries written in Haskell to communicate with Rollbar API.

haskell rollbar wai yesod

Last synced: 19 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/wjt/bustle

Someone's favourite D-Bus profiler (mirror)

dbus haskell

Last synced: 15 Nov 2024

https://github.com/jjba23/yggdrasil-schema

Yggdrasil - Schema migrations made easy, in Haskell

database haskell library migration schema sqlite

Last synced: 02 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/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

haskell yesod

Last synced: 03 Oct 2024

https://github.com/caneroj1/filter-logger

Filterable request logging as wai middleware

haskell http logging

Last synced: 14 Oct 2024

https://github.com/kakkun61/haskell-invokes-rust

The sample of the FFI from Haskell (GHC) to Rust

ffi haskell 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/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/vonzhou/programminginscala

Programming In Scala 3rd Examples.《Scala编程》第三版代码

functional-programming haskell java scala

Last synced: 08 Nov 2024