https://github.com/haskell/security-advisories

hacktoberfest hacktoberfest2024 haskell security vulnerabilities

Last synced: 09 Apr 2025

https://github.com/vmchale/madlang

Madlang is a language for generative literature

generative-art generative-literature haskell language

Last synced: 26 Apr 2025

https://github.com/Eventuria/demonstration-gsd

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

architecture cqrs-application frp functional-programming functional-reactive-programming gsd haskell haskell-application remote-work

Last synced: 19 Nov 2025

https://github.com/rudymatela/leancheck

enumerative property-based testing for Haskell

enumerative-testing haskell leancheck property-based-testing property-testing testing testing-tools

Last synced: 20 Aug 2025

https://github.com/bartavelle/language-puppet

A library to work with Puppet manifests, test them and eventually replace everything ruby.

continuous-integration haskell library parser puppet server tests

Last synced: 12 Apr 2025

https://github.com/dmjio/google-translate

:secret: Google Translate API

google-translate haskell servant servant-client

Last synced: 14 Apr 2025

https://github.com/riak-haskell-client/riak-haskell-client

A fast Haskell client library for the Riak decentralized data store

github-actions haskell

Last synced: 13 Apr 2025

https://github.com/scott-fleischman/greek-grammar

Modeling Ancient Greek Grammar

agda ancient-greek grammar greek haskell morphology phonology

Last synced: 23 Oct 2025

https://github.com/kleidukos/get-tested

Go get tested! Github Actions matrix generator for your haskell projects' CI

ci continuous-integration github-actions haskell

Last synced: 09 Jul 2025

https://github.com/concordium/concordium-node

The main concordium node implementation.

blockchain blockchain-node concordium haskell rust

Last synced: 07 Apr 2025

https://github.com/minio/minio-hs

MinIO Client SDK for Haskell

aws-s3 cloud-storage haskell haskell-library object-storage s3 s3-bucket

Last synced: 03 Apr 2025

https://github.com/luc-tielen/telescope_hoogle

Hoogle search integration for Telescope

haskell lua neovim neovim-plugin

Last synced: 21 Mar 2025

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

Alleviate your back pain using Haskell and a webcam

back-pain camera haskell health healthcare multimedia opencv pain rsi

Last synced: 10 Apr 2025

https://github.com/typeable/stackage2nix

Generate Nix build instructions from a Stack file

haskell nix nixpkgs stack stack2nix stackage

Last synced: 26 Oct 2025

https://github.com/sjoerdvisscher/one-liner

Constraint-based generics

generics haskell profunctors

Last synced: 14 Apr 2025

https://github.com/serokell/o-clock

:hourglass: Type-safe time units in Haskell

haskell rational-numbers time type-level-programming type-safety

Last synced: 05 Apr 2025

https://github.com/kowainik/extensions

👅 Parse Haskell Language Extensions

extensions hacktoberfest haskel2010 haskell haskell-extensions language-pragmas

Last synced: 30 Apr 2025

https://github.com/vaclavsvejcar/headroom

©️ Manager for license headers in source code files.

haskell license-management

Last synced: 06 Apr 2025

https://github.com/briandowns/super-hacker

SuperHacker is the ultimate utility to make you look like a hacker.

c cli golang hacker haskell java javascript python scala terminal

Last synced: 09 Aug 2025

https://github.com/1computer1/errata

Source code error pretty printing

error error-messages haskell highlight pretty-printing source-code

Last synced: 06 Apr 2025

https://github.com/two-twelve/fernery

A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems

barnsley-fern cli cli-app cli-tool dragon-curve fractal fractal-generators fractal-images fractal-rendering fractals generative-art haskell haskell-cli iterated-function-system koch-snowflake prs-welcome sierpinski sierpinski-gasket sierpinski-triangle

Last synced: 14 Apr 2025

https://github.com/ix/lazyboy

An EDSL implemented in Haskell for programming the Nintendo Game Boy.

dsl edsl game-boy gameboy games gaming haskell homebrew videogames

Last synced: 14 Apr 2025

https://github.com/damianfral/ghcaniuse

GHC language extensions table

ghc ghc-extensions haskell nix nixos

Last synced: 08 Oct 2025

https://github.com/hatashiro/monkey-hs

An interpreter for Monkey with parser combinator written in Haskell

haskell interpreter monkey-programming-language

Last synced: 25 Mar 2025

https://github.com/ice1000/learn

:books: codes written while learning them.

android c clojure cpp csharp dart go groovy haskell java jni kotlin learning prolog python

Last synced: 17 Mar 2025

https://github.com/roman/haskell-etc

Declarative configuration spec for Haskell projects

cli-options haskell json-configuration

Last synced: 24 Oct 2025

https://github.com/shajra/haskell-hls-nix

Nix builds of Haskell Language Server

haskell haskell-language-server nix

Last synced: 03 Aug 2025

https://github.com/composewell/unicode-transforms

Fast Unicode normalization in Haskell

haskell haskell-library unicode unicode-normalization

Last synced: 08 May 2025

https://github.com/aiya000/hs-time-script

Time script = Vim script + static typing

haskell haskell-viml-parser vim

Last synced: 09 May 2025

https://github.com/pkamenarsky/knit

Ties the knot on data structures that reference each other by unique keys

data-structures haskell tie-knot

Last synced: 31 Aug 2025

https://github.com/l-shane-l/tiny-wlhs

A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the TinyWL reference compositor with Haskell bindings, allowing for dynamic configuration and control through Haskell.

haskell wayland wayland-compositor wlroots

Last synced: 09 Apr 2025

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

A Haskell binding to the POSIX sockets API

haskell network socket

Last synced: 10 Apr 2025

https://github.com/y-taka-23/miso-tutorial-app

An example GHCJS + Miso single page application. 🍜

frontend ghcjs haskell javascript miso spa ssr tutorial

Last synced: 23 Jul 2025

https://github.com/haskell-github-trust/thyme

A faster date and time library based on time

haskell time

Last synced: 07 Apr 2025

https://github.com/allalgorithms/haskell

Implementation of All ▲lgorithms in Haskell Programming Language

algorithms allalgorithms hacktoberfest haskell

Last synced: 28 Jun 2025

https://github.com/gmarpons/asciidoc-hs

AsciiDoc parser that can be used as a Pandoc front-end, written in Haskell

asciidoc docs-as-code haskell pandoc

Last synced: 21 Jan 2026

https://github.com/freckle/graphula

A simple interface for generating persistent data and linking its dependencies

ghvm-managed haskell testing

Last synced: 22 Aug 2025

https://github.com/roman/Haskell-etc

Declarative configuration spec for Haskell projects

cli-options haskell json-configuration

Last synced: 06 Aug 2025

https://github.com/nikita-volkov/domain

Focused domain model declaration toolkit for Haskell

boilerplate codegen haskell model template-haskell

Last synced: 17 Mar 2025

https://github.com/inflex-io/early

Add early return to any do-expression

haskell

Last synced: 21 Oct 2025

https://github.com/o3/n2o

⭕️ N2O: Haskell Application Server

haskell n2o

Last synced: 11 Dec 2025

https://github.com/cachix/stamina.hs

Retrying for humans using Haskell.

haskell retry

Last synced: 22 Jun 2025

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

Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH

clash fpga hardware haskell intel8080 space-invaders

Last synced: 19 Apr 2025

https://github.com/achirkin/easytensor

Many-dimensional type-safe numeric ops

dimensions haskell linear-algebra matrices tensors vectors

Last synced: 26 Mar 2025

https://github.com/sternenseemann/spacecookie

gopher library & server written in Haskell

gopher gopher-protocol gopher-server haskell network server systemd

Last synced: 13 Apr 2025

https://github.com/kowainik/slist

♾️ Sized list

data-structure hacktoberfest haskell list sized

Last synced: 26 Jul 2025

https://github.com/ajnsit/wai-routes

Typesafe URLs for Haskell Wai applications

haskell typesafe typesafe-routes wai wai-routes

Last synced: 21 Oct 2025

https://github.com/haskell-servant/servant-swagger-ui

Provide embedded swagger UI for servant and swagger

hacktoberfest haskell

Last synced: 09 Apr 2025

https://github.com/fgaz/hackertyper

"Hack" like a programmer in movies and games! Inspired by hackertyper.net

hacking haskell joke typing

Last synced: 09 Apr 2025

https://github.com/mstksg/advent-of-code-2021

🎅🌟❄️☃️🎄🎁

advent-of-code advent-of-code-2021 haskell

Last synced: 21 Mar 2025

https://github.com/dfinity-side-projects/winter

Haskell port of the WebAssembly OCaml reference interpreter

haskell interpreter wasm webassembly

Last synced: 14 Oct 2025

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

An MQTT protocol implementation (client and server)

haskell iot message-broker mqtt

Last synced: 10 Apr 2025

https://github.com/lsrcz/grisette

A monadic library for symbolic evaluation

haskell smt symbolic-evaluation symbolic-execution synthesis verification

Last synced: 17 Mar 2025

https://github.com/ianfhunter/gnoll

GNOLL is an efficient dice notation parser for multiple programming languages that supports a wide set of dice notation

board-game c cpp dice dice-notation dice-roller dice-rolls go golang haskell java javascript js julia perl python r roleplaying-games rpg-dice-roller ttrpg

Last synced: 21 Jul 2025

https://github.com/input-output-hk/io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).

haskell partial-order-reduction simulation-framework

Last synced: 13 Oct 2025

https://github.com/antl3x/super-ts

🦸 λΔ providing super powers to Typescript.

fantasy-land functional-programming haskell purescript static-land typescript

Last synced: 08 Oct 2025

https://github.com/camfort/fortran-src

Fortran parsing and static analysis infrastructure

automated-refactoring fortran haskell parser static-analysis

Last synced: 08 May 2025

https://github.com/leventerkok/sbvplugin

Formally prove properties of Haskell programs using SBV/SMT.

haskell sbv smt verification

Last synced: 21 Aug 2025

https://github.com/typedbyte/effet

An effect system based on type classes, written in Haskell.

effects handlers haskell

Last synced: 16 Apr 2025

https://github.com/lysxia/generic-data

Generic data types in Haskell, utilities for GHC.Generics

deriving generics haskell

Last synced: 05 Apr 2025

https://github.com/sentenai/reinforce

Reinforcement learning in haskell

algorithms gym gym-environments haskell reinforcement-learning

Last synced: 12 Jan 2026

https://github.com/trailofbits/indurative

Easily create authenticated data structures

cryptography haskell haskell-library trustless

Last synced: 15 Apr 2025

https://github.com/nmattia/wai-lambda

Haskell Webapps on AWS Lambda

aws aws-lambda haskell nix webapp

Last synced: 11 Dec 2025

https://github.com/glguy/advent2019

Advent of Code 2019 solutions

advent-of-code advent-of-code-2019 haskell

Last synced: 21 Mar 2025

https://github.com/ners/dosh

📺 The power of Haskell in your terminal!

frp haskell shell terminal

Last synced: 21 Sep 2025

https://github.com/byteverse/colonnade

Generic types and functions for encoding and decoding columns

haskell

Last synced: 11 Dec 2025

https://github.com/reflex-frp/reflex-native

Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.

frp functional-reactive-programming haskell reactive reflex-frp

Last synced: 28 Apr 2025

https://github.com/tchoutri/pg-entity

A pleasant PostgreSQL database layer for Haskell

database-layer haskell postgresql simple-haskell sql

Last synced: 06 Apr 2025

https://github.com/porges/email-validate-hs

Email address validation for Haskell

email-validation hackage haskell

Last synced: 26 Jul 2025

https://github.com/oliviersohn/hamazed

Monorepo for a multi-player game engine, and game examples

addition animation ascii-art ascii-game ascii-graphics collision game haskell laser mathematics retrogaming

Last synced: 17 Mar 2025

https://github.com/mrkkrp/text-metrics

Calculate various string metrics efficiently in Haskell

hamming-distance haskell jaccard-similarity jaro-distance jaro-winkler-distance levenshtein-distance string-metrics

Last synced: 16 Mar 2025

https://github.com/parsonsmatt/rowdy

A convenient DSL for describing web routes

dsl haskell routing

Last synced: 23 Oct 2025

https://github.com/cffls/py2hs

A complementary resource that helps python programmers to learn Haskell

concepts haskell language learning-haskell python

Last synced: 12 Apr 2025

https://github.com/i42output/neos

Language agnostic scripting engine with a custom bytecode JIT

ada bytecode cpp forth haskell javascript jit jit-compiler json lua python rjson rust vm

Last synced: 14 Mar 2025

https://github.com/vijayphoenix/compiler-written-in-haskell

A Turing complete language 😉

compiler haskell iith jit-compiler just-in-time language llvm llvm-hs parsing popl toy-compiler toy-language

Last synced: 22 Apr 2025

https://github.com/dustin/mqtt-hs

Haskell MQTT client.

haskell iot mqtt networking

Last synced: 04 Apr 2025

https://github.com/monkoose/fzf-hoogle.vim

(neo)vim plugin that uses fzf for previewing hoogle search results

fzf haskell hoogle neovim vim vim-plugin

Last synced: 15 Apr 2025

https://github.com/gvolpe/exchange-rates

:currency_exchange: Querying a rate-limited currency exchange API using Redis as a cache

cache dhall dhall-lang exchange-rates forex haskell rate-limiter redis transient wreq

Last synced: 20 Mar 2025

https://github.com/leventov/yarr

Yer another array library

dataflow haskell

Last synced: 15 Apr 2025

https://github.com/toktok/hs-toxcore

Haskell Tox protocol implementation

haskell network p2p toxcore

Last synced: 22 Aug 2025

https://github.com/k-bx/par

Small utility that runs multiple computations in parallel

haskell parallel scripting shell

Last synced: 06 May 2025

https://github.com/rorokimdim/stash

encrypted text storage and cli

babashka cli-tool haskell

Last synced: 03 Apr 2025

https://github.com/leftaroundabout/manifolds

Coordinate-free hypersurfaces as Haskell types

haskell mathematics numerical-calculations topology

Last synced: 09 Apr 2025

https://github.com/haskell/hsc2hs

Pre-processor for .hsc files

ffi haskell preprocessor

Last synced: 07 Apr 2025

https://github.com/svenssonjoel/obsidian

Obsidian Language Repository

edsl gpu gpu-acceleration gpu-computing haskell haskell-library

Last synced: 08 Oct 2025

https://github.com/dmjio/hackernews

:newspaper: HackerNews API

ghcjs hacker-news-api haskell http-client servant

Last synced: 09 May 2025

https://github.com/redneb/ghc-alt-libc

GHC compiled against musl & uClibc

ghc haskell linux musl uclibc

Last synced: 19 Oct 2025

https://github.com/mquy/mlang

My toy programming languages

c99 compiler cpp haskell interpreter programming-language typescript

Last synced: 10 Apr 2025

https://github.com/leptonyu/tensors

Tensors in Haskell

haskell tensor

Last synced: 06 Apr 2025

https://github.com/ekmett/auth

authenticated data-structures haskell library

Last synced: 14 Apr 2025

https://github.com/fission-codes/haskell-for-typescript-devs

Onboarding Material: Haskell for TypeScript Developers

gitbook haskell onboarding typescript

Last synced: 13 Jun 2025

https://github.com/71/asmdot

[Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Python | Rust).

arm asm assembler ast c csharp ffi haskell js mips nim ocaml parse python rust x86

Last synced: 22 Apr 2025

https://github.com/yolc-dev/yul-dsl-monorepo

The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).

category-theory compiler dsl haskell linear-types solidity yul

Last synced: 09 Sep 2025

https://github.com/kim/opentracing

OpenTracing (https://opentracing.io) for Haskell

haskell opentracing tracing

Last synced: 05 Apr 2025

https://github.com/jhedev/todobackend-haskell

Todobackend implementations in Haskell using various frameworks

haskell todo-backend

Last synced: 04 Apr 2025

https://github.com/haskell-hvr/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

haskell regex

Last synced: 01 Jul 2025

https://github.com/krasjet/karasu

A self-hosted remote communication system designed for math discussions.

haskell math servant

Last synced: 21 Mar 2025

https://github.com/jrclogic/smcdel

A symbolic model checker for Dynamic Epistemic Logic.

epistemic-logic haskell logic model-checking symbolic

Last synced: 10 Apr 2025

https://github.com/deepflowinc-oss/guardian

guardian - the border guardian for your Haskell monorepo package dependencies

haskell monorepo

Last synced: 11 Dec 2025

https://github.com/shnarazk/mios

A SAT solver written in Haskell.

haskell sat-solver

Last synced: 12 Apr 2025