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/prikhi/advent-of-code-2021

Advent of Code 2021 in Haskell

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

Last synced: 17 Jan 2025

https://github.com/joaodiaslobo/monad-road

Clone of the game Crossy Road in Haskell, using the Gloss library! 🐔

2d game gloss haskell isometric

Last synced: 12 Feb 2025

https://github.com/fosskers/draenor

Convert OSM PBF files into ORC, and upload them to S3.

haskell openstreetmap

Last synced: 01 Jan 2025

https://github.com/prateekkumarweb/haskell-go-checkers

Go and checkers game in Haskell

checkers gogame haskell

Last synced: 23 Jan 2025

https://github.com/prikhi/hklaunch

A simple CLI application launcher written in Haskell.

brick cli cli-application-launcher haskell launcher

Last synced: 17 Jan 2025

https://github.com/notashelf/rafmonad

a monad is just a monad that is a monad as defined by a monad

haskell monad

Last synced: 26 Dec 2024

https://github.com/denisshevchenko/bananasandlenses

Подкаст о Haskell ~ Бананы и Линзы

haskell podcast

Last synced: 14 Feb 2025

https://github.com/simeonhristov99/fmi_graduation_exams_information_systems

This repository holds solutions of the exams given to 4-th year Information Systems students graduating the Faculty of Mathematics and Informatics, Sofia.

cpp er-diagram haskell sql uml use-case-diagram

Last synced: 14 Nov 2024

https://github.com/kutyel/thinking-with-types

⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!

gadts haskell kotlin scala type-level type-theory types

Last synced: 07 Dec 2024

https://github.com/foxhound-systems/hashids-st

Reimplementation of Hashids using the ST monad

hashids haskell

Last synced: 24 Jan 2025

https://github.com/m-col/gitja

Templated web page generator for your git repositories 🐙

git haskell jinja2 self-hosted static-site static-site-generator

Last synced: 10 Jan 2025

https://github.com/thomasballinger/hsrepl

Haskell REPL with a few bpython-like features

developer-tools haskell repl replay

Last synced: 14 Feb 2025

https://github.com/wildlyinaccurate/lishp

A tiny Lisp written in Haskell.

haskell interpreter lisp

Last synced: 12 Feb 2025

https://github.com/positiondev/larceny

An HTML5 templating language.

haskell html templating-language

Last synced: 15 Nov 2024

https://github.com/ma-fi-94/advent-of-haskell-23

Solving all of this year's AoC challenges in Haskell.

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

Last synced: 12 Feb 2025

https://github.com/satyajitghana/lambdacalculus

A repository that contains codes to various Lambda Calculus stuff i did when learning LambdaCalculus, mostly contains JavaScript and Python Code i believe

cpp haskell javascript lambda lambda-calculus lambdacalculus list-processing python

Last synced: 26 Dec 2024

https://github.com/ajlopez/husky

Haskell-like interpreter in C#. WIP.

csharp dotnet haskell interpreter

Last synced: 28 Jan 2025

https://github.com/simonmichael/symon

Minimal implementation(s) of the classic electronic memory game

game gamedev haskell ludum-dare memory-game

Last synced: 08 Feb 2025

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

Collection of Concept-wise Haskell programs for learning.

functional-programming haskell

Last synced: 17 Dec 2024

https://github.com/taktoa/syllabus

A tool for managing and predicting grades (WIP)

education grades haskell syllabus

Last synced: 22 Jan 2025

https://github.com/guiltydolphin/angle

A small, general-purpose programming language written in Haskell.

haskell programming-language

Last synced: 13 Jan 2025

https://github.com/srid/motif

[WIP] A typed outliner

haskell outliner reflex tree

Last synced: 27 Dec 2024

https://github.com/stla/marching-cubes2

The marching cubes algorithm.

c computational-geometry haskell marching-cubes

Last synced: 06 Feb 2025

https://github.com/luispedro/safeio

Haskell Library for safe (atomic) IO

haskell io

Last synced: 22 Jan 2025

https://github.com/chuahou/yes

A series of implementations of the simplest form of yes

bash c haskell sh shell yes

Last synced: 17 Jan 2025

https://github.com/prikhi/immortal-queue

Build a Queue-Processing Worker Pool using Immortal

asynchronous-tasks haskell immortal library pool queue-workers worker-pool workers

Last synced: 14 Feb 2025

https://github.com/prikhi/sitemap-gen

Generate XML Sitemaps & Sitemap Indexes.

haskell library sitemap sitemap-generator sitemap-schema xml xml-sitemaps xmlgen

Last synced: 14 Feb 2025

https://github.com/maorleger/mastermind

Interactive Mastermind solver algorithm

elm game hask haskell mastermind solver

Last synced: 08 Feb 2025

https://github.com/typeclasses/either-list-functions

Functions involving lists of Either

haskell haskell-library

Last synced: 16 Nov 2024

https://github.com/natserract/tapi

Backend architecture representation in TLP

haskell learn typelevel-programming

Last synced: 09 Feb 2025

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

The 1-tuple type or single-value "collection"

haskell

Last synced: 21 Nov 2024

https://github.com/lupino/haskell-hole

A hole to pass through the gateway. haskell version

haskell haskell-hole hole portforward proxy-server

Last synced: 22 Jan 2025

https://github.com/lupino/coin

A micro server of coin for website

haskell haskell-library microservice microservices

Last synced: 22 Jan 2025

https://github.com/jluttine/dbus-listen

Execute a command or a script on D-Bus signals

d-bus haskell

Last synced: 12 Nov 2024

https://github.com/vapourismo/simpoole

Simple resource pool implementating in Haskell

haskell haskell-library pool

Last synced: 09 Nov 2024

https://github.com/radrow/radlang

A functional programming language intepreter with typeclasses, full type inference and lazy evaluation

haskell interpreter parsing programming-language

Last synced: 22 Jan 2025

https://github.com/pniedzielski/mgs

Tools for working with Minimalist Grammars

haskell linguistics mg minimalistgrammars parser

Last synced: 17 Jan 2025

https://github.com/redneb/hs-linux-namespaces

haskell library to work with linux namespaces

haskell linux linux-namespaces virtualization

Last synced: 18 Nov 2024

https://github.com/keera-studios/gtk-helpers

Auxiliary Gtk+ 2 and Gtk+ 3 operations

haskell

Last synced: 14 Nov 2024

https://github.com/noughtmare/interact_ackermann

Interaction nets vs GHC performance comparison

haskell interaction-nets

Last synced: 28 Jan 2025

https://github.com/haskell-github-trust/assert

Helpers for Control.Exception.assert

assert assertion haskell testing tests

Last synced: 06 Feb 2025

https://github.com/freakwill/fuckhaskell

☯ When I do it, I always say fuck Haskell.

algebra haskell monads options-parsing string

Last synced: 28 Nov 2024

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

Mirror API of `Data.Yaml.Builder`

haskell hsyaml yaml

Last synced: 22 Jan 2025

https://github.com/risto-stevcev/haskell-karatsuba-multiplication

:abcd: λ Karatsuba multiplication implemented in Haskell

algorithm haskell karatsuba multiplication

Last synced: 02 Jan 2025

https://github.com/jbl428/learn-haskell-blog-generator

Learn Haskell by building a blog generator 한국어 번역

haskell

Last synced: 08 Dec 2024

https://github.com/totallynotchase/intcode

The aoc2019 intcode interpreter written in haskell

aoc2019 haskell intcode-machine intcode-puzzle

Last synced: 28 Nov 2024

https://github.com/meditans/unification-sop

Haskell package that implements typed terms with logical variables in a prolog-style

generic-programming haskell logic-programming prolog

Last synced: 24 Jan 2025

https://github.com/jaalonso/i1m-cod-temas

Código Haskell de los temas del curso de I1M (Informática de 1º de Matemática).

haskell

Last synced: 01 Feb 2025

https://github.com/hchasestevens/phonaesthemes

Automatic discovery of phonaesthemes using ConceptNet

haskell linguistics

Last synced: 12 Jan 2025

https://github.com/simonmichael/aoc2018

My solutions for Advent of Code 2018 puzzles.

aoc aoc2018 exercises-solutions haskell

Last synced: 08 Feb 2025

https://github.com/figome/festung

Remote multi-db SQLCipher Server

haskell sqlcipher

Last synced: 25 Jan 2025

https://github.com/michaelsproul/ssz-hs

Ethereum SSZ library for Haskell

ethereum haskell

Last synced: 09 Feb 2025

https://github.com/simonmichael/metapong

Experimental haskell pong-like game collaborative project.

game gamedev haskell haskell-game nomic pong-game

Last synced: 08 Feb 2025

https://github.com/drknzz/haskell-blockchain

🗿 Blockchain module written in Haskell 🗿

block blockchain ghci haskell module prelude

Last synced: 14 Feb 2025

https://github.com/eloyekunle/haskell_snippets

Useful snippets and algorithms in Haskell

algorithms functional-programming hackerrank haskell

Last synced: 09 Feb 2025

https://github.com/twesterhout/hdf5-hs

High-level Haskell bindings to HDF5

big-data data-format haskell scientific-computing

Last synced: 07 Feb 2025

https://github.com/f3r10/ana-compiler

Compiler written on haskell based on the course Compiler Construction (UCSD CSE 131). Lisp with types

build-your-own compiler haskell lisp-dialect sexpression-language types

Last synced: 24 Jan 2025

https://github.com/haskell-github-trust/vector-strategies

A parallel evaluation strategy for boxed vectors

haskell parallel vector

Last synced: 31 Jan 2025

https://github.com/faculerena/algebra1haskell

Taller de algebra 1 - Principios de programacion funcional

haskell haskell-learning

Last synced: 12 Jan 2025

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

Type-safe path and file system operations with batteries included

filesystem haskell path

Last synced: 19 Jan 2025

https://github.com/tek/uracil

neovim yank and paste manager

haskell history neovim nvim-hs paste ribosome yank

Last synced: 24 Jan 2025

https://github.com/iainmon/hslr

A GLSL language embedding in Haskell.

glsl haskell

Last synced: 04 Jan 2025

https://github.com/newswim/aoc2019

:tada::tada::tada: Alexandria Ocasio-Cortez, 2019 :tada::tada::tada:

advent-of-code-2019 haskell satire

Last synced: 14 Feb 2025

https://github.com/mrkkrp/liaison

Nix as a configuration language

configuration-language haskell nix

Last synced: 19 Jan 2025

https://github.com/charukiewicz/charukiewicz

A personal blog, created using the Hakyll static site generator.

blog hakyll haskell html scss

Last synced: 24 Jan 2025

https://github.com/cu1ch3n/type-inference-zoo

Implementations collection for type inference algorithms

functional-programming haskell programming-languages type-inference zoo

Last synced: 19 Jan 2025

https://github.com/spl/jhc-darcs

Read-only mirror of the jhc darcs repository

compiler haskell jhc mirror

Last synced: 14 Feb 2025

https://github.com/avanov/nix-cabal-simplest

The simplest Nix + Cabal setup possible, for demo purposes.

cabal-install haskell nixpkgs

Last synced: 07 Feb 2025

https://github.com/steshaw/language-swift2-quote

💫 Swift 2.1 parser and pretty-printer 🚧💔😢

haskell parser swift swift-2

Last synced: 11 Jan 2025

https://github.com/steadylearner/haskell

I will record my Haskell learning process. I will collect working code here also.

haskell haskell-application haskell-exercises haskell-learning steadylearner

Last synced: 11 Jan 2025

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

Solutions for the Advent of Code puzzle Advent calendar (in Rust & Haskell)

advent-of-code advent-of-code-2017 advent-of-code-2018 haskell rust

Last synced: 14 Feb 2025

https://github.com/robbert-vdh/thesis

Annotating Deeply Embedded Languages - A master's thesis on extending deeply embedded languages with annotations, source mapping support, and custom compiler instructions

accelerate embedded-language haskell thesis utrecht-university

Last synced: 11 Jan 2025

https://github.com/torvaney/terminal-snake

Toy project with haskell

haskell jank snake

Last synced: 11 Jan 2025

https://github.com/yurrriq/effective-haskell

Working though 'Effective Haskell' by Rebecca Skinner

haskell learning-by-book

Last synced: 18 Jan 2025

https://github.com/yurrriq/pandoc-minted

A pandoc filter to render LaTeX code blocks using minted

haskell latex literate-programming minted nix pandoc pandoc-filter

Last synced: 18 Jan 2025

https://github.com/webcpu/haskellswift

A functional library for Swift programmers

functional-programming haskell swift

Last synced: 12 Jan 2025

https://github.com/eatingtomatoes/tiger-compiler

A simple compiler for (modified) tiger language

compiler haskell tiger

Last synced: 18 Jan 2025

https://github.com/littlewhitecloud/helloworld-collections

This is a repository includes "Hello World!" and each exmaple is implemented by different languages

assembly c cplusplus go haskell havascript helloworld html java lisp lua objective-c php python ruby scheme smalltalk sql tcl v

Last synced: 19 Jan 2025

https://github.com/ccntrq/starter-snake-haskell

A Haskell Battlesnake starter

battlesnake haskell

Last synced: 19 Jan 2025

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

A wrapper around cryptography-blake3-bindings which is more Haskell-friendly

blake3 cryptography haskell

Last synced: 19 Jan 2025

https://github.com/jonschoning/swaggerpetstore-haskell-http-client

auto-generated haskell http-client bindings to SwaggerPetstore http://petstore.swagger.io/

haskell openapi-specification rest rest-api swagger swagger-codegen

Last synced: 19 Jan 2025

https://github.com/sternenseemann/emoji-generic

Haskell Emoji Library [WIP]

emoji haskell unicode

Last synced: 19 Jan 2025

https://github.com/sternenseemann/grav2ty

2d space flight game with realistic physics

2d game gloss haskell haskell-game physics simulation space

Last synced: 19 Jan 2025

https://github.com/lsrcz/learning-haskell

Solutions to the book Haskell Programming from first principles.

haskell haskellbook learning learning-exercise learning-haskell

Last synced: 19 Jan 2025

https://github.com/symtegration/symtegration

Haskell library for symbolic integration.

haskell mathematics symbolic-integration

Last synced: 19 Jan 2025

https://github.com/deltaq-sd/deltaq

Haskell libraries for ∆Q Systems Development

haskell networking performance system-design

Last synced: 19 Jan 2025