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/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: 06 Dec 2024

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

Interpret Haskell programs into any cartesian closed category.

category-theory haskell plugin

Last synced: 12 Nov 2024

https://github.com/iagoabal/haskell-z3

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

api haskell smt z3

Last synced: 23 Dec 2024

https://github.com/y-taka-23/wasm-pandoc

Pandoc compiled into WebAssembly by Asterius. πŸ“š

asterius haskell wasm webassembly

Last synced: 24 Nov 2024

https://github.com/frizensami/haskell-optimization

A beginner's guide to Haskell optimization

haskell haskell-learning haskell-tutorial

Last synced: 29 Nov 2024

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

Hackage security framework based on TUF (The Update Framework)

cabal hackage haskell security tuf

Last synced: 22 Dec 2024

https://github.com/gergoerdi/metafun

Compile Haskell-like code into C++ template metaprograms

code-generator cplusplus haskell template-metaprogramming

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

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

A minimal JSON templating language

haskell hasura json template-lan

Last synced: 10 Nov 2024

https://github.com/cdepillabout/password

datatypes and functions for easily working with passwords in Haskell

hacktoberfest haskell password

Last synced: 21 Dec 2024

https://github.com/totbwf/tactic-haskell

Tactic Metaprogramming in Haskell

haskell metaprogramming tactics

Last synced: 16 Nov 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: 26 Dec 2024

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

YAML 1.2 implementation in pure Haskell

haskell pure-haskell yaml yaml-processor

Last synced: 20 Dec 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/kowainik/type-errors-pretty

πŸ’„πŸž Combinators for writing pretty type errors easily

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

Last synced: 12 Nov 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/vmchale/apple

Apple array system

array haskell

Last synced: 10 Nov 2024

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

Library of categories, with categorical constructions on them

category-theory haskell

Last synced: 19 Dec 2024

https://github.com/justusadam/marvin

The paranoid bot (framework)

bot haskell hubot irc irc-bot slack slack-bot telegram telegram-bot

Last synced: 14 Nov 2024

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

InfluxDB client library for Haskell

haskell influxdb

Last synced: 25 Dec 2024

https://github.com/dmjio/julio

Julia embedded in Haskell

haskell julia

Last synced: 16 Nov 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/mrkkrp/parser-combinators

Lightweight package providing commonly useful parser combinators

haskell parser-combinators parsing

Last synced: 25 Dec 2024

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

Unofficial OpenAI Haskell Bindings

gpt-3 gpt3 haskell machine-learning openai sdk

Last synced: 22 Dec 2024

https://github.com/sfttech/openage-masterserver

Lobby and matchmaking server for openage in Haskell

haskell internet lobbies masterserver network openage

Last synced: 17 Nov 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/dfithian/th-tutorial

Template Haskell Workshop

haskell template-haskell

Last synced: 07 Nov 2024

https://github.com/vmchale/madlang

Madlang is a language for generative literature

generative-art generative-literature haskell language

Last synced: 10 Nov 2024

https://github.com/futrnostr/futr

nostr client app written in haskell and qt5

haskell nostr qt5 qt5-qml

Last synced: 20 Nov 2024

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

Get your IO right on the first try

files haskell input-output unicode utf8

Last synced: 12 Nov 2024

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

Vim Haskell Hindent integration plugin

haskell hindent vim

Last synced: 28 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/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/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: 08 Nov 2024

https://github.com/ivanjermakov/wordle

TUI version of the Wordle word puzzle game written in Haskell

brick game haskell tui wordle

Last synced: 08 Nov 2024

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

:secret: Google Translate API

google-translate haskell servant servant-client

Last synced: 16 Nov 2024

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: 14 Nov 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: 13 Nov 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: 27 Dec 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/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/luc-tielen/telescope_hoogle

Hoogle search integration for Telescope

haskell lua neovim neovim-plugin

Last synced: 28 Oct 2024

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

https://github.com/vaclavsvejcar/headroom

©️ Manager for license headers in source code files.

haskell license-management

Last synced: 23 Dec 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: 12 Nov 2024

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

Declarative configuration spec for Haskell projects

cli-options haskell json-configuration

Last synced: 09 Dec 2024

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

Fast Unicode normalization in Haskell

haskell haskell-library unicode unicode-normalization

Last synced: 27 Dec 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/pkamenarsky/knit

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

data-structures haskell tie-knot

Last synced: 08 Nov 2024

https://github.com/o3/n2o

⭕️ N2O: Haskell Application Server

haskell n2o

Last synced: 06 Nov 2024

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

Nix builds of Haskell Language Server

haskell haskell-language-server nix

Last synced: 07 Dec 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/tfausak/cabal-gild

:crown: Format Haskell package descriptions.

cabal formatter haskell

Last synced: 27 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/roman/haskell-etc

Declarative configuration spec for Haskell projects

cli-options haskell json-configuration

Last synced: 15 Nov 2024

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

Constraint-based generics

generics haskell profunctors

Last synced: 01 Nov 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: 20 Dec 2024

https://github.com/sternenseemann/spacecookie

gopher library & server written in Haskell

gopher gopher-protocol gopher-server haskell network server systemd

Last synced: 07 Nov 2024

https://github.com/kowainik/slist

♾️ Sized list

data-structure hacktoberfest haskell list sized

Last synced: 30 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/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: 16 Nov 2024

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

Haskell port of the WebAssembly OCaml reference interpreter

haskell interpreter wasm webassembly

Last synced: 08 Nov 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/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/haskell-servant/servant-swagger-ui

Provide embedded swagger UI for servant and swagger

hacktoberfest haskell

Last synced: 25 Dec 2024

https://github.com/freckle/graphula

A simple interface for generating persistent data and linking its dependencies

haskell terraform-managed testing

Last synced: 20 Dec 2024

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

The main concordium node implementation.

blockchain blockchain-node concordium haskell rust

Last synced: 26 Dec 2024

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

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

An MQTT protocol implementation (client and server)

haskell iot message-broker mqtt

Last synced: 06 Nov 2024

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

Generic data types in Haskell, utilities for GHC.Generics

deriving generics haskell

Last synced: 22 Dec 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/nmattia/wai-lambda

Haskell Webapps on AWS Lambda

aws aws-lambda haskell nix webapp

Last synced: 31 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/camfort/fortran-src

Fortran parsing and static analysis infrastructure

automated-refactoring fortran haskell parser static-analysis

Last synced: 27 Dec 2024

https://github.com/leventerkok/sbvplugin

Formally prove properties of Haskell programs using SBV/SMT.

haskell sbv smt verification

Last synced: 20 Dec 2024

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

πŸŽ…πŸŒŸβ„οΈβ˜ƒοΈπŸŽ„πŸŽ

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

Last synced: 28 Oct 2024

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

🦸 λΔ providing super powers to Typescript.

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

Last synced: 12 Nov 2024

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

https://github.com/byteverse/colonnade

Generic types and functions for encoding and decoding columns

haskell

Last synced: 19 Dec 2024

https://github.com/glguy/advent2019

Advent of Code 2019 solutions

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

Last synced: 28 Oct 2024

https://github.com/parsonsmatt/rowdy

A convenient DSL for describing web routes

dsl haskell routing

Last synced: 02 Nov 2024

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

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

Email address validation for Haskell

email-validation hackage haskell

Last synced: 20 Dec 2024

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

https://github.com/leventov/yarr

Yer another array library

dataflow haskell

Last synced: 08 Nov 2024

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

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

Haskell MQTT client.

haskell iot mqtt networking

Last synced: 20 Dec 2024