Haskell

dadasellout/dada

A total recursion scheme library for Dhall that separates recursion from business logic to enable simpler, modular, and terminating functions.

haskell-to-elmfolq/haskell-to-elm

Generates Elm type definitions, JSON encoders, and decoders from Haskell types to keep frontend and backend in sync.

Nix Notesnoteed/nix-notes

A collection of short, commit-based notes about Nix and NixOS that build into a single virtual machine image.

haskell-mlajtulloch/haskell-ml

A Haskell library implementing basic machine learning algorithms including Hopfield networks.

influxdb-haskellmaoe/influxdb-haskell

A Haskell client library for interacting with InfluxDB 1.8 time-series databases.

Eventuria gsdEventuria/gsd

A basic todo list application demonstrating CQRS and Command Sourcing patterns implemented in Haskell.

lngenplclub/lngen

Generates locally nameless definitions and infrastructure lemmas for Coq from Ott language specifications.

L-systemsarendsee/lsystems

A Haskell library for generating and visualizing L-systems, inspired by 'The Algorithmic Beauty of Plants'.

greskell-websocketdebug-ito/greskell

A Haskell toolset for building and executing Gremlin graph queries with type safety and composable DSL.

Coqobancoq-community/coqoban

A Coq implementation of Sokoban, the Japanese warehouse keeper puzzle game.

hsnifurbanserj/hsnif

A tool for writing Erlang NIF (Native Implemented Function) libraries in Haskell.

idreamidream-build/idream

A simple build system for Idris2 that manages multi-package projects and external dependencies.

nettleAndreasVoellmy/openflow

A Haskell library implementing OpenFlow protocol versions 1.0 and 1.3 for building SDN controllers.

elmish-wasmChadtech/elmish-wasm

An experiment to compile an Elm-like language to WebAssembly, exploring the potential for Elm to target wasm.

Rescoylnoteed/rescoyl

A private Docker registry implementation compatible with the official Docker registry API.

hopfield-networksajtulloch/hopfield-networks

A Haskell implementation of Hopfield networks for unsupervised learning and pattern storage.

avm-semanticsruntimeverification/avm-semantics

Formal semantics of the Algorand Virtual Machine and TEAL smart contract language in the K framework for testing and verification.

git-prompt (awgn)awgn/git-prompt

A fast, Haskell-based utility that renders git repository information for shell prompts in bash, zsh, and fish.

elm-initJustusAdam/elm-init

Interactive scaffolding tool for initializing new Elm projects with package configuration.

Preludeeta-lang/eta-prelude

Standard library for the Eta programming language, providing essential functions and types for functional programming on the JVM.