https://github.com/yamafaktory/pattern-guard

JavaScript pattern guards 💂

guards haskell pattern-guard

Last synced: 14 Oct 2024

https://github.com/mrkkrp/modern-uri

Modern library for working with URIs

haskell uri

Last synced: 26 Oct 2024

https://github.com/chiroptical/declarative-programming-streams

Active streaming declarative programmers. See who's online at the following URL:

haskell stream

Last synced: 27 Oct 2024

https://github.com/alanz/ghc-exactprint

GHC version of haskell-src-exts exactPrint

ghc haskell

Last synced: 27 Oct 2024

https://github.com/domenkozar/hnix-lsp

Language Server Protocol for Nix

haskell lsp nix

Last synced: 15 Aug 2024

https://github.com/takenobu-hs/haskell-ethereum-assembly

EVM (Ethereum virtual machine) Assembly on Haskell DSL

assembly-language ethereum ethereum-virtual-machine evm haskell

Last synced: 12 Oct 2024

https://github.com/kowainik/colourista

‎️‍🌈 Convenient interface for printing colourful messages

ansi colours hacktoberfest haskell haskell-library pretty-printing terminal

Last synced: 30 Oct 2024

https://github.com/itchyny/miv

Vim plugin manager written in Haskell

haskell vim vim-plugin-manager vimrc

Last synced: 28 Oct 2024

https://github.com/guibou/PyF

Haskell QuasiQuoter for String Formatting

formatting haskell

Last synced: 02 Aug 2024

https://github.com/vaibhavsagar/duffer

A git-compatible content tracker in Haskell.

git haskell

Last synced: 28 Oct 2024

https://github.com/haskell/filepath

Haskell FilePath core library

haskell

Last synced: 07 Oct 2024

https://github.com/elaforge/karya

music sequencer and generalized notation

haskell midi midi-sequencer music music-composition music-notation

Last synced: 27 Oct 2024

https://github.com/kowainik/validation-selective

💂‍♂️ Lightweight pure validation based on Applicative and Selective functors

applicative functors haskell haskell-libraries selective validation

Last synced: 02 Aug 2024

https://github.com/turion/essence-of-live-coding

Universal Live Coding & Functional Reactive Programming Framework

frp hacktoberfest haskell live-coding

Last synced: 26 Oct 2024

https://github.com/ghuntley/ghuntley-monorepo-retired

docker dotnet golang haskell kubernetes monorepo nix rust terraform

Last synced: 27 Oct 2024

https://github.com/owainlewis/http-dispatch

A high level HTTP client for Haskell that focuses on ease of use

haskell http-client

Last synced: 15 Oct 2024

https://github.com/achirkin/vulkan

Low-level low-overhead haskell bindings to vulkan API

graphics haskell haskell-library vulkan vulkan-api

Last synced: 29 Oct 2024

https://github.com/jaalonso/lecturas_glc

Readings on computational logic, interactive theorem proving and functional programming.

coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog

Last synced: 10 Oct 2024

https://github.com/nponeccop/hnc

HN Compiler

compiler haskell optimization purescript rust

Last synced: 27 Oct 2024

https://github.com/ethercrow/opentelemetry-haskell

The OpenTelemetry Haskell Client https://opentelemetry.io

distributed-tracing haskell observability opentelemetry serious-business

Last synced: 14 Oct 2024

https://github.com/sharkdp/yinsh

A web-based version of the board game Yinsh

abstract-game board-game game haskell hexagonal-grids website

Last synced: 25 Oct 2024

https://github.com/jabbalaci/SpeedTests

comparing the execution speeds of various programming languages

benchmark c clang cpp csharp d dart go haskell hyperfine java kotlin linux lua nim polyglot pypy3 python3 rust zig

Last synced: 06 Nov 2024

https://github.com/iand675/hs-opentelemetry

OpenTelemetry support for the Haskell programming language

haskell honeycomb logging metrics observability opentelemetry performance prometheus tracing

Last synced: 14 Oct 2024

https://github.com/migamake/homplexity

Haskell code complexity and quality measurement

code-quality complexity hackage hacktoberfest2019 haskell quality

Last synced: 02 Aug 2024

https://github.com/kowainik/membrain

🧠 Type-safe memory units

haskell library measure memory safe type-level-programming units

Last synced: 12 Oct 2024

https://github.com/samtay/conway

A terminal interface for Conway's Game of Life

brick conway grid haskell terminal-app vty

Last synced: 04 Aug 2024

https://github.com/Southern-Exposure-Seed-Exchange/southernexposure.com

Southern Exposure's E-Commerce Website, Built with Haskell & Elm.

bootstrap4 e-commerce ecommerce elm haskell servant webshop website

Last synced: 04 Aug 2024

https://github.com/tmcgilchrist/postgresql-transactional

Transactional monadic actions on top of PostgreSQL.

haskell postgresql

Last synced: 28 Oct 2024

https://github.com/bkomuves/toy-language-server

Example language server (LSP) implementation for a toy language

haskell language-server language-server-protocol lsp

Last synced: 02 Aug 2024

https://codeberg.org/xmobar/xmobar

A minimalist status bar

haskell status-panel statusbar xmobar xmonad

Last synced: 31 Oct 2024

https://github.com/kowainik/issue-wanted

🏷 Web application to help beginners to start contributing into Haskell projects

backend github-issues gsoc-2019 haskell three-layer-architecture web-application

Last synced: 02 Aug 2024

https://github.com/samtay/snake

A terminal interface for Snake

brick haskell haskell-tutorial snake-game terminal-game vty

Last synced: 04 Aug 2024

https://github.com/mrkkrp/ghc-syntax-highlighter

Syntax highlighter for Haskell using the lexer of GHC

ghc haskell syntax-highlighting

Last synced: 01 Nov 2024

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

batteries-included nix-based haskell project template

haskell nix

Last synced: 14 Oct 2024

https://github.com/cchantep/dhek

PDF template design app./UI (or on the Discworld, supreme Djelibeybian god)

gtk haskell pdf template

Last synced: 28 Oct 2024

https://github.com/basvandijk/monad-control

Lift control operations, like exception catching, through monad transformers

haskell

Last synced: 12 Oct 2024

https://github.com/coinmetrics/haskell-tools

Tools for exporting blockchain data to analytical databases

analytics blockchain haskell

Last synced: 05 Nov 2024

https://github.com/kowainik/eio

🎯 IO with Exceptions tracked on the type-level

haskell haskell-library io type-level

Last synced: 12 Oct 2024

https://github.com/mrkkrp/facts

Refined types

haskell refinement-types

Last synced: 27 Oct 2024

https://github.com/csabahruska/jhc-components

JHC Haskell compiler split into reusable components

c c-backend compiler functional-programming grin haskell jhc multiplatform optimizer

Last synced: 28 Oct 2024

https://github.com/pkamenarsky/concur-static

Generate semi-dynamic UIs with Concur

elm-architecture haskell static-site-generator ui virtual-dom

Last synced: 15 Oct 2024

https://github.com/stevana/property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

fault-injection haskell linearizability property-based-testing simulation-testing state-machines tutorial

Last synced: 28 Oct 2024

https://github.com/Jyothsnasrinivas/eta-android-2048

Android 2048 game using Yampa FRP library in Eta

android eta frp functional-programming haskell

Last synced: 01 Aug 2024

https://github.com/vmchale/kempe

Kempe is a compiled stack-based language

aarch64 haskell languages stack-based stack-based-language x86-64

Last synced: 01 Aug 2024

https://github.com/con-kitty/categorifier

Interpret Haskell programs into any cartesian closed category.

category-theory haskell plugin

Last synced: 02 Aug 2024

https://github.com/expede/teaching-fp

Techniques, advice, and anecdotes about how to teach Functional Programming

clojure clojurescript elixir elm functional-programming haskell idris material ocaml python racket rust scala scheme teaching theory

Last synced: 18 Oct 2024

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

Hackage security framework based on TUF (The Update Framework)

cabal hackage haskell security tuf

Last synced: 07 Oct 2024

https://github.com/hasura/kriti-lang

A minimal JSON templating language

haskell hasura json template-lan

Last synced: 30 Oct 2024

https://github.com/sergv/emacs-module

Wrappers around emacs-module.h to write Emacs modules in Haskell

emacs emacs-modules haskell haskell-bindings

Last synced: 12 Oct 2024

https://github.com/kowainik/type-errors-pretty

💄🐞 Combinators for writing pretty type errors easily

compile-time hacktoberfest haskell pretty type-errors type-level

Last synced: 02 Aug 2024

https://github.com/mrcjkb/neotest-haskell

Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty

haskell hspec neovim neovim-plugin sydtest tasty testing treesitter

Last synced: 31 Oct 2024

https://github.com/carlosmchica/haskell-book-readers-exercises

Exercises from the readers of the Haskell Book

functional-programming haskell haskellbook

Last synced: 01 Nov 2024

https://github.com/haskell-hvr/hsyaml

YAML 1.2 implementation in pure Haskell

haskell pure-haskell yaml yaml-processor

Last synced: 30 Oct 2024

https://github.com/jkachmar/easy-hls-nix

Easy Haskell Language Server tooling with Nix!

haskell haskell-language-server lsp nix tooling

Last synced: 28 Oct 2024

https://github.com/rpearce/hakyll-nix-template

Hakyll + Nix starter template

hacktoberfest hakyll haskell nix static-site-generator template

Last synced: 31 Oct 2024

https://github.com/sjoerdvisscher/data-category

Library of categories, with categorical constructions on them

category-theory haskell

Last synced: 31 Oct 2024

https://github.com/bgamari/ghc-dump

A GHC plugin and library for analysing GHC Core

ghc haskell

Last synced: 28 Oct 2024

https://github.com/maoe/influxdb-haskell

InfluxDB client library for Haskell

haskell influxdb

Last synced: 31 Oct 2024

https://github.com/alx741/vim-hindent

Vim Haskell Hindent integration plugin

haskell hindent vim

Last synced: 28 Oct 2024

https://github.com/serokell/haskell-with-utf8

Get your IO right on the first try

files haskell input-output unicode utf8

Last synced: 02 Aug 2024

https://github.com/mrkkrp/parser-combinators

Lightweight package providing commonly useful parser combinators

haskell parser-combinators parsing

Last synced: 01 Nov 2024

https://github.com/dfithian/th-tutorial

Template Haskell Workshop

haskell template-haskell

Last synced: 14 Oct 2024

https://github.com/giovanifss/Dumb

Dumain Bruteforcer - a fast and flexible domain bruteforcer

bruteforce dns domain haskell pentest-tool pentesting subdomain subdomain-brute

Last synced: 26 Sep 2024

https://github.com/thma/threepennyelectron

Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell

electron gui gui-programming haskell haskell-library npm standalone-gui-application threepenny-gui

Last synced: 29 Oct 2024

https://github.com/fgaz/shine

Declarative graphics for the browser

canvas declarative declarative-graphics draw graphics hacktoberfest haskell

Last synced: 27 Oct 2024

https://github.com/agrafix/openai-hs

Unofficial OpenAI Haskell Bindings

gpt-3 gpt3 haskell machine-learning openai sdk

Last synced: 26 Oct 2024

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: 14 Oct 2024

https://github.com/ekmett/unpacked-containers

Unpacked containers using backpack

containers data-structures haskell unpacked

Last synced: 15 Oct 2024

https://github.com/danidiaz/really-small-backpack-example

A really small example of the Backpack module system for Haskell

backpack haskell tutorial

Last synced: 02 Aug 2024

https://github.com/simonmichael/hledger_site

The repo for hledger.org, the hledger project's website.

accounting command-line-tool console-application haskell hledger ledger library plain-text plaintext plaintext-accounting tui web-application

Last synced: 28 Oct 2024

https://github.com/cdepillabout/stacklock2nix

Easily build a Haskell project from a stack.yaml.lock file with Nix

hacktoberfest haskell nix nixpkgs stack stackage

Last synced: 11 Oct 2024

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

Modeling Ancient Greek Grammar

agda ancient-greek grammar greek haskell morphology phonology

Last synced: 17 Oct 2024

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

Hoogle search integration for Telescope

haskell lua neovim neovim-plugin

Last synced: 28 Oct 2024

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: 01 Nov 2024

https://github.com/typeable/stackage2nix

Generate Nix build instructions from a Stack file

haskell nix nixpkgs stack stack2nix stackage

Last synced: 11 Oct 2024

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

:hourglass: Type-safe time units in Haskell

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

Last synced: 27 Oct 2024

https://github.com/vaclavsvejcar/headroom

©️ Manager for license headers in source code files.

haskell license-management

Last synced: 30 Oct 2024

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: 01 Aug 2024

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: 27 Oct 2024

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

Source code error pretty printing

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

Last synced: 31 Oct 2024

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

Constraint-based generics

generics haskell profunctors

Last synced: 01 Nov 2024

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

Declarative configuration spec for Haskell projects

cli-options haskell json-configuration

Last synced: 17 Aug 2024

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

Nix builds of Haskell Language Server

haskell haskell-language-server nix

Last synced: 15 Aug 2024

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: 02 Aug 2024

https://github.com/tfausak/cabal-gild

:crown: Format Haskell package descriptions.

cabal formatter haskell

Last synced: 27 Oct 2024

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: 15 Oct 2024

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

Focused domain model declaration toolkit for Haskell

boilerplate codegen haskell model template-haskell

Last synced: 27 Oct 2024

https://github.com/kowainik/extensions

👅 Parse Haskell Language Extensions

extensions hacktoberfest haskel2010 haskell haskell-extensions language-pragmas

Last synced: 02 Aug 2024

https://github.com/sternenseemann/spacecookie

gopher library & server written in Haskell

gopher gopher-protocol gopher-server haskell network server systemd

Last synced: 14 Oct 2024

https://github.com/kowainik/slist

♾️ Sized list

data-structure hacktoberfest haskell list sized

Last synced: 30 Oct 2024

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

An interpreter for the Monkey programming language written in Haskell

haskell interpreter monkey-programming-language

Last synced: 29 Oct 2024

https://github.com/achirkin/easytensor

Many-dimensional type-safe numeric ops

dimensions haskell linear-algebra matrices tensors vectors

Last synced: 29 Oct 2024

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: 31 Oct 2024

https://github.com/fgaz/hackertyper

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

hacking haskell joke typing

Last synced: 12 Oct 2024

https://github.com/freckle/graphula

A simple interface for generating persistent data and linking its dependencies

haskell terraform-managed testing

Last synced: 02 Nov 2024

https://github.com/lsrcz/grisette

A monadic library for symbolic evaluation

haskell smt symbolic-evaluation symbolic-execution synthesis verification

Last synced: 27 Oct 2024

https://github.com/typedbyte/effet

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

effects handlers haskell

Last synced: 01 Nov 2024

https://github.com/leventerkok/sbvplugin

Formally prove properties of Haskell programs using SBV/SMT.

haskell sbv smt verification

Last synced: 26 Oct 2024

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

Generic data types in Haskell, utilities for GHC.Generics

deriving generics haskell

Last synced: 01 Nov 2024

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

🦸 λΔ providing super powers to Typescript.

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

Last synced: 02 Aug 2024