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/saurabhnanda/odd-jobs

Haskell job queue with admin UI and loads of other features.

hacktoberfest haskell job-queue odd-jobs

Last synced: 12 Nov 2024

https://github.com/chshersh/dr-cabal

๐Ÿ“Š Haskell dependencies build times profiler

colour hacktoberfest hacktoberfest2022 haskell pretty profile terminal

Last synced: 29 Oct 2024

https://github.com/atom-haskell/language-haskell

Haskell language support for Atom

atom grammar haskell

Last synced: 09 Nov 2024

https://github.com/robrix/starlight

spaceships in space

game haskell opengl

Last synced: 22 Oct 2024

https://github.com/balsoft/lambda-launcher

Application launcher in haskell. Mostly Just For Fun.

haskell haskell-application lambda launcher

Last synced: 28 Oct 2024

https://github.com/eldr-io/hastl

Production ready, modern web-application starter template using haskell and htmx

alpinejs haskell htmx lucid servant tailwindcss template web

Last synced: 12 Oct 2024

https://github.com/rhysd/ghci-color

colorize ghci output

color ghci haskell

Last synced: 08 Nov 2024

https://github.com/siraben/mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

c combinatory-logic compiler graph-reduction haskell hindley-milner parser-combinators

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

https://github.com/leventerkok/harduino

Control your Arduino board from Haskell, using the Firmata protocol

arduino haskell

Last synced: 27 Oct 2024

https://github.com/i-am-tom/learn-me-a-haskell

Trying to get back all the stuff I had in JavaScript.

dependent-types ghc haskell type-level-programming

Last synced: 28 Oct 2024

https://github.com/haskell-things/hslice

HSlice - A Haskell based slicer for 3D printing.

3d-printing haskell implicitcad projective-geometric-algebra slicer

Last synced: 06 Nov 2024

https://github.com/mroman42/mikrokosmos

(ฮป) Educational lambda calculus interpreter

haskell interpreter lambda-calculus

Last synced: 27 Oct 2024

https://github.com/soywod/unfog.vim

โฑ Vim plugin for Unfog CLI task & time manager.

haskell task-manager taskwarrior time-tracker vim vim-plugin viml vimscript worktime

Last synced: 28 Oct 2024

https://github.com/kowainik/shellmet

๐Ÿš Out of the shell solution for scripting in Haskell

haskell scripting shell

Last synced: 31 Oct 2024

https://github.com/apauley/HollingBerries

A fictional scenario implemented in multiple languages in order to compare language paradigms.

clojure erlang haskell python ruby scala smalltalk toy-problems

Last synced: 03 Aug 2024

https://github.com/ryukinix/discrete-mathematics

A computational way to study discrete mathematics using Haskell

computer-science discrete-mathematics haskell mathematics

Last synced: 05 Nov 2024

https://github.com/kowainik/policeman

๐Ÿ‘ฎ Haskell PVP adviser

bristol-hackathon haskell package-maintenance pvp

Last synced: 27 Oct 2024

https://github.com/tfausak/wuss

:lock: Secure WebSocket (WSS) clients in Haskell.

haskell

Last synced: 09 Nov 2024

https://github.com/alexmingoia/twain

Tiny web application framework for WAI.

framework haskell web web-framework webapp-framework

Last synced: 13 Nov 2024

https://github.com/apauley/hollingberries

A fictional scenario implemented in multiple languages in order to compare language paradigms.

clojure erlang haskell python ruby scala smalltalk toy-problems

Last synced: 28 Oct 2024

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

JavaScript pattern guards ๐Ÿ’‚

guards haskell pattern-guard

Last synced: 07 Nov 2024

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

Modern library for working with URIs

haskell uri

Last synced: 26 Oct 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/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/domenkozar/hnix-lsp

Language Server Protocol for Nix

haskell lsp nix

Last synced: 15 Aug 2024

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

GHC version of haskell-src-exts exactPrint

ghc haskell

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

https://github.com/guibou/PyF

Haskell QuasiQuoter for String Formatting

formatting haskell

Last synced: 12 Nov 2024

https://github.com/vaibhavsagar/duffer

A git-compatible content tracker in Haskell.

git haskell

Last synced: 28 Oct 2024

https://github.com/kowainik/colourista

โ€Ž๏ธโ€๐ŸŒˆ Convenient interface for printing colourful messages

ansi colours hacktoberfest haskell haskell-library pretty-printing terminal

Last synced: 12 Nov 2024

https://github.com/haskell/filepath

Haskell FilePath core library

haskell

Last synced: 07 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/elaforge/karya

music sequencer and generalized notation

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

Last synced: 27 Oct 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/takenobu-hs/lazy_evaluation

haskell lazy evaluation illustrated

ghc haskell

Last synced: 07 Nov 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/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/sectore/haskell-elm-todo-app

Todo app build with Haskell (server-side) and Elm (client-side)

elm haskell servant

Last synced: 12 Nov 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/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/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/kowainik/membrain

๐Ÿง  Type-safe memory units

haskell library measure memory safe type-level-programming units

Last synced: 12 Oct 2024

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

batteries-included nix-based haskell project template

haskell nix

Last synced: 07 Nov 2024

https://github.com/migamake/homplexity

Haskell code complexity and quality measurement

code-quality complexity hackage hacktoberfest2019 haskell quality

Last synced: 12 Nov 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/samtay/conway

A terminal interface for Conway's Game of Life

brick conway grid haskell terminal-app vty

Last synced: 09 Nov 2024

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

Transactional monadic actions on top of PostgreSQL.

haskell postgresql

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

https://github.com/samtay/snake

A terminal interface for Snake

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

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

https://codeberg.org/xmobar/xmobar

A minimalist status bar

haskell status-panel statusbar xmobar xmonad

Last synced: 31 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: 08 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/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/corsis/clock

High-resolution clock functions: monotonic, realtime, cputime.

bsd c clock cpu cputime cross-platform darwin hackage haskell library linux macos monotonic performance realtime system time timespec timing windows

Last synced: 11 Nov 2024

https://github.com/mrkkrp/facts

Refined types

haskell refinement-types

Last synced: 27 Oct 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: 10 Nov 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/con-kitty/categorifier

Interpret Haskell programs into any cartesian closed category.

category-theory haskell plugin

Last synced: 12 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/iagoabal/haskell-z3

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

api haskell smt z3

Last synced: 14 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/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/sergv/emacs-module

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

emacs emacs-modules haskell haskell-bindings

Last synced: 13 Nov 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/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/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/haskell-hvr/hsyaml

YAML 1.2 implementation in pure Haskell

haskell pure-haskell yaml yaml-processor

Last synced: 30 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: 31 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/maoe/influxdb-haskell

InfluxDB client library for Haskell

haskell influxdb

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/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/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: 07 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/vmchale/madlang

Madlang is a language for generative literature

generative-art generative-literature haskell language

Last synced: 10 Nov 2024

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

Vim Haskell Hindent integration plugin

haskell hindent vim

Last synced: 28 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/ekmett/unpacked-containers

Unpacked containers using backpack

containers data-structures haskell unpacked

Last synced: 08 Nov 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/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/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/danidiaz/really-small-backpack-example

A really small example of the Backpack module system for Haskell

backpack haskell tutorial

Last synced: 13 Nov 2024