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/jpvillaisaza/pocket-haskell

Haskell bindings for the Pocket API

haskell pocket pocket-api

Last synced: 11 Nov 2024

https://github.com/jpvillaisaza/licensor

A license compatibility helper for Haskell

haskell

Last synced: 11 Nov 2024

https://github.com/michaeljklein/hackage-stats

Haskell stats and graphs

hackage haskell mathematica r scraper

Last synced: 06 Feb 2025

https://github.com/tristancacqueray/simple-dear-imgui

A minimalist game engine

dear-imgui haskell

Last synced: 06 Feb 2025

https://github.com/nevrome/shakeexperiment

An example how to use the Shake build system to define a simple, computational pipeline

blogpost haskell pipeline workflow-automation

Last synced: 14 Jan 2025

https://github.com/sthenauth/zxcvbn-hs

Password strength estimation based on zxcvbn

haskell security zxcvbn

Last synced: 22 Dec 2024

https://github.com/cdepillabout/focuslist

A Haskell data structure for lists with a focus

data-structure focus hacktoberfest haskell list

Last synced: 14 Nov 2024

https://github.com/chrispenner/eve-cli

Terminal event handlers and rendering for `eve` programs

cli eve haskell terminal

Last synced: 23 Dec 2024

https://github.com/peti/logging-facade-syslog

A logging back-end to syslog(3) for the logging-facade library

haskell logging-library posix syslog system-programming

Last synced: 15 Dec 2024

https://github.com/nwtgck/8cc-elc-hs

C Compiler written in Haskell powered by 8cc and ELVM

c compiler haskell

Last synced: 06 Feb 2025

https://github.com/matrixai/hs-http2stream

A HTTP2 Multiplexer for Haskell designed for LibP2P

haskell http2 libp2p multiplexer

Last synced: 24 Jan 2025

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

Brotli compression and decompression

brotli brotli-compression haskell haskell-library

Last synced: 21 Nov 2024

https://github.com/simonmichael/hledgersnapshot

A temporary history-less snapshot of the "hledger" repo, small enough to be imported at https://repl.it

haskell hledger

Last synced: 15 Dec 2024

https://github.com/takenobu-hs/haskell-ghc-cmm-examples

Haskell/GHC Cmm examples

ghc haskell

Last synced: 29 Dec 2024

https://github.com/matubu/ft-turing

🎞️ A program written in Haskell to simulate a turing machine

haskell turing-machine

Last synced: 29 Jan 2025

https://github.com/nevrome/paagen

Experiments with the genotype data generators in xerxes

ancient-dna bioinformatics genotype-data haskell

Last synced: 14 Jan 2025

https://github.com/stevana/supervised-state-machines

An experimental implementation of Erlang/OTP's gen_server and supervisor behaviours that doesn't use lightweight threads and message passing.

haskell state-machine supervisor

Last synced: 15 Dec 2024

https://github.com/lupino/yuntan-article

The core source of huabot.com

haskell microservice microservices

Last synced: 22 Jan 2025

https://github.com/incredibledevhq/incredible-dev-videos

Incredible dev videos is the repository to collaborate on dev videos posted on Incredible Devs official youtube channel https://www.youtube.com/channel/UCyyaPS9hiS3PvTn2Jz_g9SA .

dart elasticsearch graphql haskell java matlab rust shell-script tensorflow tutorials videos

Last synced: 22 Jan 2025

https://github.com/nmattia/butler

Butler-suite for typed protocols and state machines

haskell protocols typesafe

Last synced: 26 Dec 2024

https://github.com/mateuskoppe/lambdakalc

A Interpreter based on a ML language implementing Lambda Calculus

haskell interpreter lamda-calculus

Last synced: 23 Jan 2025

https://github.com/aionescu/uu-mpsv-gcl-verifier

GCL verification tool based on predicate transformers

haskell program-verification wlp z3

Last synced: 30 Jan 2025

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

Listen for gitlab events (commits, issues, ...) and post them to matrix.org rooms

automation bot gitlab haskell http matrix riot-web

Last synced: 16 Dec 2024

https://github.com/lupino/micro-gateway

A Micro service gateway.

gateway haskell microservice microservices

Last synced: 22 Jan 2025

https://github.com/trskop/mainplate

Common patterns used for application main

command-line haskell

Last synced: 15 Dec 2024

https://github.com/tchoutri/control-plane

My own personal Jesus^WControl Plane

haskell haskell-application scotty

Last synced: 23 Dec 2024

https://github.com/serize02/haskell-docs

This repository collects a curated list of books and resources to help you learn and master Haskell, a purely functional programming language. From beginner-friendly introductions to advanced topics, these books will guide you through your Haskell journey.

haskell haskell-learning haskell-library

Last synced: 22 Jan 2025

https://github.com/3noch/reflex-dom-semantic-ui-core

A core binding to Semantic UI for Reflex-DOM meant to be a common basis for more friendly API designs

bindings haskell javascript reflex-frp semantic-ui

Last synced: 26 Dec 2024

https://github.com/szymon-budziak/functional_programming_course_agh

Solutions from Functional programming course at AGH UST. If you use it and it helped you please leave a star ⭐

functional-programming haskell

Last synced: 25 Jan 2025

https://github.com/hanzopgp/haskelltest

First time using functional programming language.

functional-programming haskell university

Last synced: 16 Jan 2025

https://github.com/prikhi/nand2tetris

Working Through Nand2Tetris Projects in Haskell

haskell nand2tetris nand2tetris-assignments nand2tetris-projects

Last synced: 17 Jan 2025

https://github.com/gregorias/ignore-flakes

A command envelope that masks flakes.

flake haskell

Last synced: 21 Jan 2025

https://github.com/rokn/tcc

Toni's C compiler

c compiler haskell

Last synced: 23 Jan 2025

https://github.com/adomokos/sandbox-hs

A repo to try out ideas, tutorials.

errors haskell json xml

Last synced: 31 Dec 2024

https://github.com/kevindasilvas/klang

Klang is a strongly typed, with type inference, imperative and immutable programming language that transpiles to js.

compiler compilers haskell javascript klang programming-language programming-languages transpiler

Last synced: 04 Feb 2025

https://github.com/dean177/advent-of-code

My Advent of Code solutions

haskell ocaml puzzles

Last synced: 21 Jan 2025

https://github.com/monksc/cacheskell

This is my functional programming language that looks like Haskell but it cache every function.

custom-language functional-programming haskell interpreter language programming-languages rust rust-lang

Last synced: 12 Jan 2025

https://github.com/prikhi/shopify-to-avatax

Convert Shopify Order Exports into AvaTax Transansaction Imports

avalara avalara-avatax export haskell import order script shopify transaction

Last synced: 17 Jan 2025

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

Library for accessing S3 compatible storage services

haskell s3

Last synced: 22 Jan 2025

https://github.com/maxdeviant/heckin

Oh heck, it's a heckin' case conversion library for Haskell

case-conversion haskell text-manipulation

Last synced: 23 Dec 2024

https://github.com/robrix/distribution

Probability distributions à la Deriving a Probability Density Calculator by Wazim Mohammed Ismail & Chung-chieh Shan http://homes.soic.indiana.edu/ccshan/rational/pearl.pdf

haskell library probabilistic-programming

Last synced: 18 Dec 2024

https://github.com/tusharad/grep-haskell

Haskell implementation of grep.

grep haskell

Last synced: 17 Dec 2024

https://github.com/lev135/bidirectional-instances

This package contains class for bidirectional instances and TH methods for generating instances for it.

haskell language

Last synced: 18 Dec 2024

https://github.com/phunehehe/brackets

Mirror of https://gitlab.com/phunehehe/brackets

haskell text-processing

Last synced: 16 Dec 2024

https://github.com/srid/i

[WIP] A mood tracker based on the "noting" technique.

haskell mood-tracker obelisk reflex-frp

Last synced: 17 Dec 2024

https://github.com/g-r-a-n-t/haskell-playground

Exploration of math topics.

declarative functional haskell math

Last synced: 16 Dec 2024

https://github.com/fosskers/mapart

Create artwork from satellite imagery.

haskell map-algebra

Last synced: 01 Jan 2025

https://github.com/mistuke/ghcdevelchoco

Chocolatey sources for quick and easy setup of a GHC development environment on Windows.

chocolatey ghc haskell powershell-scripts standalone

Last synced: 31 Dec 2024

https://github.com/gergoerdi/kansas-lava-papilio

Kansas Lava support files for the Papilio FPGA board

haskell kansas-lava papilio xilinx

Last synced: 17 Jan 2025

https://github.com/gergoerdi/chip-80

A CHIP-8 implementation for Z80

assembly chip8 haskell retrocomputing z80

Last synced: 17 Jan 2025

https://github.com/simeonhristov99/fp_cs_24-25

Practice sessions of group 1 for the course "Functional Programming" in the Faculty of Mathematics and Informatics, Sofia University.

functional-programming haskell higher-order-functions lambda-functions lazy-evaluation racket recursion

Last synced: 01 Jan 2025

https://github.com/andrewnetwork/neuralnetworkswithhaskell

Neural Networks with Haskell. Given as the Feb 2018 talk to Danbury AI.

deep-learning haskell neural neural-network

Last synced: 23 Dec 2024

https://github.com/taktoa/inference

Experiments in dependent type inference

dependent-types experimental haskell

Last synced: 22 Jan 2025

https://github.com/natserract/lamblichus

Functors macros in Elixir inspired from haskell, and purescript

elixir functors haskell macro metaprogramming

Last synced: 17 Dec 2024

https://github.com/danielholmes/neural-net

Simple Neural Net implementation in Haskell

haskell machine-learning neural-net neural-network

Last synced: 17 Dec 2024

https://github.com/bonzai-lang/bonzai

Bonzai is a programming language based on actor models. It compiles down to a custom bytecode.

actor-model bytecode concurrent-programming haskell programming-language virtual-machine

Last synced: 30 Jan 2025

https://github.com/psychedelicshayna/language-learning

My place for storing learning resources and useful information about programming languages.

educational functional-programming haskell haskell-learning learning learning-functional-programming learning-resources playground

Last synced: 11 Jan 2025

https://github.com/syocy/genpass

Command Line Tool to Generate/Check Passwords with Some Rules

command-line-tool haskell password-generator

Last synced: 02 Jan 2025

https://github.com/oswald2/chart-fltkhs

FLTKHS backend for the Chart Haskell library.

chart fltk fltkhs haskell

Last synced: 08 Jan 2025

https://github.com/zmactep/emacsd

My emacsd configuration

configuration emacs emacs-configuration haskell

Last synced: 17 Dec 2024

https://github.com/fosskers/uss-endeavour

Core computation engine for the United Space Ship Endeavour.

extensible-effects freer-effects haskell

Last synced: 01 Jan 2025

https://github.com/prikhi/genkouyoushi-generator

Haskell Library, CLI App, & API Server for Generating Genkouyoushi(原稿用紙) Paper

cli diagram generator genkouyoushi genkouyoushi-generator haskell haskell-cli japanese-study paper servant

Last synced: 17 Jan 2025

https://github.com/prikhi/hs-backup

Robust Backup Server for Resumable, Archived Network Backups

backup backup-tool cli haskell rsync

Last synced: 17 Jan 2025

https://github.com/airsequel/graphql

Mirror of the "graphql" Haskell package

graphql haskell

Last synced: 13 Jan 2025

https://github.com/taktoa/language-boogie

A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)

boogie haskell mirror

Last synced: 22 Jan 2025

https://github.com/lupino/yuntan-common

A common utils for haskell program.

haskell haskell-library

Last synced: 06 Nov 2024

https://github.com/koterpillar/appendmap

A Data.Map wrapper with a Monoid instance that delegates to the individual keys

containers data-structures haskell map monoid semigroup

Last synced: 06 Nov 2024

https://github.com/taktoa/tsbannergen

An MPD banner generator for TeamSpeak

banner-generator haskell teamspeak3

Last synced: 22 Jan 2025

https://github.com/taktoa/liquid-regex

Some experiments with regular expressions and LiquidHaskell

experimental haskell liquidhaskell regex

Last synced: 22 Jan 2025

https://github.com/romac/him

:fountain_pen: A text editor written in Haskell (WIP)

haskell text-editor

Last synced: 24 Dec 2024

https://github.com/stla/hcdt

Constrained and unconstrained Delaunay triangulation.

cdt delaunay-triangulation haskell

Last synced: 06 Feb 2025

https://github.com/cblp/haskell-guide

Haskell Language Map

education guide haskell

Last synced: 01 Jan 2025

https://github.com/eggy115/haskell

Haskell

haskell

Last synced: 05 Jan 2025

https://github.com/infinisil/arvy

Bachelor thesis on Arvy Heuristics for Distributed Mutual Exclusion

bachelor-thesis distributed-computing haskell mutual-exclusion nix

Last synced: 26 Dec 2024

https://github.com/hapytex/css-selectors

A library for parsing, manipulating, and rendering css selectors (not css files, just the selectors).

css-selector haskell quasiquoter

Last synced: 16 Nov 2024

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

Data.BitCode.EDSL

bitcode haskell llvm

Last synced: 26 Dec 2024

https://github.com/taktoa/wai-middleware-preprocessor

WAI middleware for static file preprocessors

haskell wai-middleware

Last synced: 22 Jan 2025

https://github.com/deryeger/minicheck

MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.

cli ctl-formulas haskell haskell-application ltl-formulas model-checking transition-systems tu-wien

Last synced: 16 Dec 2024

https://github.com/aqrln/haskell-2048

Yet another clone of 2048 game. This time, in Haskell.

2048 haskell

Last synced: 03 Feb 2025

https://github.com/stla/skewtableaux

Skew tableaux

combinatorics haskell r

Last synced: 06 Feb 2025

https://github.com/hirotoshioi/phantomtype

Example of PhantomType

haskell phantom-types

Last synced: 22 Jan 2025