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/aupiff/keccak

Keccak hash functions

haskell keccak pure-haskell sha3 shake sponge

Last synced: 28 Oct 2024

https://github.com/nwtgck/platy-lang-haskell

Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement language

compiler haskell language llvm programming-language

Last synced: 23 Oct 2024

https://github.com/meooow25/haccepted

Data structures and algorithms for competitive programming in Haskell

algorithms competitive-programming data-structures haskell

Last synced: 30 Oct 2024

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

Run and interact with system processes from within a Reflex FRP application.

frp haskell process reflex shell vty

Last synced: 11 Nov 2024

https://github.com/minad/intro

Safe and minimal Haskell Prelude

haskell prelude safe

Last synced: 28 Oct 2024

https://github.com/halostatue/fish-haskell

Haskell configuration for Fish

cabal fish fish-plugin fish-shell fisher haskell

Last synced: 18 Oct 2024

https://github.com/prikhi/hirc

An IRC Client with a Split Connection Daemon & TUI Frontend.

brick demuxer haskell irc irc-client multiplexer tui

Last synced: 11 Oct 2024

https://github.com/typeclasses/unfork

Make any action thread safe

concurrency haskell haskell-library

Last synced: 05 Dec 2024

https://github.com/haskell-cryptography/blake2

A Haskell library providing BLAKE2

blake2 cryptography haskell

Last synced: 12 Oct 2024

https://github.com/lenguyenthedat/aws-redshift-to-rds

A simple command-line tool to copy tables from Amazon Redshift to Amazon RDS (PostgreSQL).

amazon-rds amazon-redshift aws aws-redshift haskell rds

Last synced: 15 Oct 2024

https://github.com/mmark-md/mmark-ext

Commonly useful extensions for the MMark markdown processor

haskell markdown mmark

Last synced: 12 Oct 2024

https://github.com/valderman/ghc-sd

Build a GHC which produces shared libraries without runtime Haskell dependencies

compiler ghc haskell

Last synced: 14 Oct 2024

https://github.com/robrix/surface

Dependently-typed language w/ little to say for itself

dependent-types haskell proof-refinement typechecker

Last synced: 23 Oct 2024

https://github.com/pbrisbin/bugsnag-haskell

Bugsnag error reporter for Haskell

bugsnag haskell

Last synced: 02 Nov 2024

https://github.com/bharathgs/warcode

Solutions to Codewars katas

codewars codewars-kata haskell python solutions

Last synced: 23 Oct 2024

https://github.com/athanclark/nested-routes

Declarative, Compositional Url Handling for WAI

composable haskell haskell-warp http-server

Last synced: 08 Nov 2024

https://github.com/typedbyte/finito

A constraint solver for finite domains, written in Haskell.

constraint haskell solver

Last synced: 12 Oct 2024

https://github.com/andreasabel/cabal-clean

Remove outdated compilation artefacts left by cabal v2-build

cabal clean disk-space haskell

Last synced: 27 Oct 2024

https://github.com/sjoerdvisscher/algebraic-classes

Conversions between algebraic classes and F-algebras.

algebraic algebras conversion generics haskell signature

Last synced: 15 Oct 2024

https://github.com/unclechu/midihaskey

MIDIHasKey — Virtual MIDI keyboard suitable for microtonal music

audio audio-processing cplusplus cpp haskell jack jackaudio keyboard microtonal midi midi-keyboard wxwidgets

Last synced: 11 Oct 2024

https://github.com/tristancacqueray/pipewire.hs

Haskell bindings to Pipewire Multimedia Framework

haskell pipewire

Last synced: 12 Oct 2024

https://github.com/cocreature/diagrams-miso

Miso backend for the diagrams Haskell graphics library

diagrams graphics haskell miso web

Last synced: 17 Oct 2024

https://github.com/typeclasses/assoc-list

An association list conceptually signifies a mapping, but is represented as a list (of key-value pairs)

association-list haskell haskell-library

Last synced: 05 Dec 2024

https://github.com/angerman/data-bitcode-llvm

Data.BitCode.LLVM

bitcode haskell llvm

Last synced: 10 Oct 2024

https://github.com/dschrempf/elynx

Analyze, modify and simulate molecular sequence data and phylogenetic trees in a reproducible way.

bioinformatics haskell phylogenetics

Last synced: 12 Oct 2024

https://github.com/sempruijs/json2nix

A json to nix converterwritten in Haskell

converter flake haskell json nix

Last synced: 12 Oct 2024

https://github.com/ryota-ka/duration

A tiny compile-time time utility library, inspired by zeit/ms.

haskell template-haskell time

Last synced: 16 Oct 2024

https://github.com/pjones/openid-connect

An OpenID Connect library that does all the heavy lifting for you

haskell openid-connect

Last synced: 28 Oct 2024

https://github.com/ryota-ka/markov-bot

Generates random sentences from your tweet history using the Markov chain, and post them into Twitter.

haskell markov-chain twitter

Last synced: 16 Oct 2024

https://github.com/alhassy/multistage-programming-taha

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''

cheatsheet haskell metaocaml multi-stage-programming ocaml

Last synced: 10 Oct 2024

https://github.com/dduan/brainass

A Brainfuck to WebAssembly compiler written in Haskell

brainfuck haskell wasm wasm-example webassembly

Last synced: 31 Dec 2024

https://github.com/typeclasses/leanpub

Haskell client for the Leanpub API

haskell haskell-library leanpub leanpub-api wreq

Last synced: 08 Nov 2024

https://github.com/saep/nvim-hs-ghcid

Ghcid integration plugin for nvim-hs

ghcid haskell neovim nvim-hs plugin

Last synced: 14 Oct 2024

https://github.com/sgraf812/datafix

Fixing data-flow problems in expression trees

compiler-optimization data-flow-analysis haskell

Last synced: 12 Oct 2024

https://github.com/arsalan0c/cdp-hs

Haskell library for the Chrome DevTools Protocol

chrome chrome-devtools-protocol haskell

Last synced: 02 Nov 2024

https://github.com/sighingnow/mxnet-haskell

MXNet interface in Haskell.

deep-learning ffi-bindings haskell mxnet

Last synced: 14 Oct 2024

https://github.com/mratsim/haskell-numbertheory

Exploration of primes, factorization and number theory through haskell

factorization haskell number-theory prime-numbers

Last synced: 23 Oct 2024

https://github.com/dmjio/miso-from-html

Lex, parse and pretty print HTML as Miso View syntax

haskell lexer miso parser parser-combinators pretty-print

Last synced: 16 Nov 2024

https://github.com/iconnect/rails-session

Decrypt Ruby on Rails sessions in Haskell

haskell rails ruby web

Last synced: 01 Oct 2024

https://github.com/laserpants/fuzzyset-haskell

:sheep: A fuzzy string set implementation in Haskell.

fuzzy-matching haskell search string

Last synced: 28 Oct 2024

https://github.com/cosmo0920/ahblog

A simple Blog engine powered by Haskell language, Yesod and Bootstrap 3.

blog haskell yesod

Last synced: 12 Oct 2024

https://github.com/jship/s3k

Do more with stack by typing less!

alias build-tool haskell regex regular-expression stack

Last synced: 14 Oct 2024

https://github.com/obsidiansystems/constraints-extras

Convenience functions and template haskell for working with constraints

constraints haskell

Last synced: 07 Nov 2024

https://github.com/picnoir/dobadobots

Videogame in which you program robots AI

haskell haskell-game sdl2 sdl2-ttf videogame

Last synced: 08 Nov 2024

https://github.com/jaalonso/examenes_de_pf_con_haskell

Exámenes de programación funcional con Haskell

functional-programming haskell

Last synced: 06 Dec 2024

https://github.com/simonmichael/haskell-links

Exploratory project to gather Haskell links

haskell haskell-learning

Last synced: 28 Oct 2024

https://github.com/picnoir/DobadoBots

Videogame in which you program robots AI

haskell haskell-game sdl2 sdl2-ttf videogame

Last synced: 30 Nov 2024

https://github.com/matsubara0507/servant-kotlin

Automatically derive Kotlin functions to query servant webservices

haskell haskell-library haskell-servant kotlin servant-client

Last synced: 08 Nov 2024

https://github.com/lysxia/show-combinators

Minimalistic Haskell pretty-printing library

haskell

Last synced: 28 Oct 2024

https://github.com/vyorkin/haskbot

:construction: Haskell interpreter telegram bot. WIP.

haskell telegram

Last synced: 12 Nov 2024

https://github.com/verement/decimal-arithmetic

A Haskell implementation of General Decimal Arithmetic

decimal haskell

Last synced: 12 Oct 2024

https://github.com/ixmatus/pub

A CLI tool for piping from stdin to a redis pub/sub channel.

command-line haskell piping pub redis redis-channel

Last synced: 11 Oct 2024

https://github.com/pirate/experiments

:sparkles: Random (sometimes xkcd-inspired) Python, Haskell, and JS experiments involving data science and algorithm fun.

algorithms computer-science data-science data-structures game-theory haskell javascript machine-learning math python random snippets statistics test-bed

Last synced: 28 Oct 2024

https://github.com/diasbruno/language-js

Parser for es6 and es7.

ast es6 es7 haskell javascript parser

Last synced: 23 Oct 2024

https://github.com/lysxia/roll-your-own-irc-bot

Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot

haskell irc network tutorial

Last synced: 28 Oct 2024

https://github.com/josefilipeferreira/haskhell3d

Haskell-Gloss Doom-like 3D shooter

3d-shooter gloss haskell

Last synced: 16 Dec 2024

https://github.com/martinsos/aoc-2023-haskell-template

Template for solving Advent of Code 2023 in Haskell

advent-of-code advent-of-code-2023 haskell

Last synced: 19 Nov 2024

https://github.com/betaveros/bcodex

A command-line utility in Haskell (as well as tiny JS app) for flexibly converting between puzzlehunt-y "encodings"

encoding haskell puzzlehunt

Last synced: 07 Nov 2024

https://github.com/gregorias/findata-fetcher

A scraper of personal financial data from websites

haskell

Last synced: 20 Nov 2024

https://github.com/hellwolf/yul-dsl-monorepo

The monorepo of YulDSL (a DSL for Solidity/Yul) and its programming frontend Yolc.

category-theory compiler dsl haskell linear-types solidity symmetric-monoidal-categories yul

Last synced: 15 Nov 2024

https://github.com/rusq/gohaskell

Example of calling Haskell Function from Go program (using C interface)

c example golang haskell interface lulz tutorial

Last synced: 09 Nov 2024

https://github.com/plapadoo/matrix-bot

Provide a simple, script-friendly interface to posting stuff on matrix channels

automation haskell http matrix riot-web

Last synced: 16 Dec 2024

https://github.com/bsima/haskell-urbit-api

talk to your urbit from haskell

haskell urbit

Last synced: 09 Nov 2024

https://github.com/mariari/misc-ml-scripts

Various ideas in OCaml, Haskell, and F*

fstar haskell ocaml

Last synced: 07 Dec 2024

https://github.com/juspay/hoogleverse

Host Hoogle via Nix / NixOS, with handpicked list of packages

haskell hoogle nix self-hosted

Last synced: 12 Nov 2024

https://github.com/martinbaillie/slack-export-indexer

Parses Slack export archives into an ElasticSearch index for exploring with Kibana.

elasticsearch exporter haskell kibana slack

Last synced: 09 Nov 2024

https://github.com/gergoerdi/brainfuck

Brainfuck interpreter & compiler written in Haskell, with focus on readability instead of performance

brainfuck compiler haskell interpreter

Last synced: 16 Nov 2024

https://github.com/airalab/robonomics-tools

Robonomics network provider software (xrtd) and other cli tools

aira airalab ethereum haskell robonomics

Last synced: 09 Dec 2024

https://github.com/dagit/logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

haskell logict

Last synced: 08 Nov 2024

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

Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs

clash fpga hardware haskell pong-game

Last synced: 16 Nov 2024

https://github.com/cdepillabout/servant-on-heroku

Example app showing how to release a Haskell web app on Heroku

database deployment docker example haskell heroku postgresql servant

Last synced: 14 Nov 2024

https://gitlab.com/gilmi/giml-lang

https://giml-lang.org A functional programming language with emphasis on structural typing.

compiler haskell parsing type inference

Last synced: 07 Nov 2024

https://github.com/taffybar/gtk-traymanager

A wrapper around eggtraymanager for Haskell/gtk2hs

gtk2hs haskell tray-widget xembed

Last synced: 08 Nov 2024

https://github.com/kowainik/crocodealer

🐊 Manage GitHub organization files, labels, issues

github haskell labels management open-source organization workflow workflows

Last synced: 12 Nov 2024

https://github.com/sleexyz/haskell-fun

haskell is fun

fun haskell is

Last synced: 06 Nov 2024

https://github.com/phlummox/hs-perl5

embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.haskell.org/package/hs-perl5-0.1.0/candidate. pre-alpha stage software

embeddings haskell perl

Last synced: 16 Nov 2024

https://github.com/unclechu/xlib-keys-hack

Keyboard behavior customization utility

haskell keyboard keyboard-layout linux x11 xkb xlib xmobar xmonad

Last synced: 08 Jan 2025

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

Haskell implementation of One-Time Passwords algorithms

2fa-security haskell hotp oath totp

Last synced: 21 Nov 2024

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

JSON to YAML Adapter

haskell json yaml

Last synced: 21 Nov 2024

https://github.com/gitpod-samples/template-haskell

The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

gitpod haskell template

Last synced: 24 Nov 2024

https://github.com/vmchale/language-xats

Language library for manipulating ATS3 in Haskell.

ats ats-lang haskell language

Last synced: 10 Nov 2024

https://github.com/tejasbubane/haskell-book-code

[Complete] Solutions to exercises from "Haskell Book" along with study notes

exercises haskell haskell-learning learning-by-book

Last synced: 13 Nov 2024

https://github.com/gusenov/stepik-functional-programming-hs

:mortar_board: Функциональное программирование на языке Haskell.

course examples haskell problem-solving problemsolving stepik

Last synced: 08 Nov 2024

https://github.com/haskell-github-trust/true-name

Template Haskell hack to violate another module's abstractions

haskell template-haskell

Last synced: 12 Dec 2024

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

Replique is a high-level REPL library for building command line interfaces.

eval haskell loop print read readline repl terminal

Last synced: 06 Nov 2024

https://github.com/petertseng/adventofcode-hs-2022

Solutions to https://adventofcode.com/2022 (complete)

advent-of-code advent-of-code-2022 haskell

Last synced: 13 Nov 2024

https://github.com/lupino/sharefs

A share file system base on http and fuse

fuse fuse-filesystem haskell haskell-library microservice microservices

Last synced: 21 Nov 2024

https://github.com/iijlab/direct-hs

Client library for https://direct4b.com in Haskell

bot bot-framework direct4b haskell

Last synced: 08 Nov 2024

https://github.com/alexandru/days-since

Simple command line for showing the number of passed days since a certain date

command-line-tool haskell

Last synced: 09 Nov 2024