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/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/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/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/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/iagoabal/haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

api haskell smt z3

Last synced: 06 Nov 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/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/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/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/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/lpeterse/haskell-socket

A Haskell binding to the POSIX sockets API

haskell network socket

Last synced: 06 Nov 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/o3/n2o

⭕️ N2O: Haskell Application Server

haskell n2o

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