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/int-index/mirea-haskell-lectures

Код по Haskell-лекциям в МИРЭА

crash-course haskell

Last synced: 10 Oct 2024

https://github.com/athanclark/ws

A simple websocket CLI tool

command-line-tool haskell websocket-client

Last synced: 28 Dec 2024

https://github.com/jasonzhu1313/interactiveexpressionparser

This project focus on using functional programing to parse the expression, I use Haskell to develop an interactive expression parser using a lot of features of Haskell, you can use haskell compiler such as GHCI to run the program, Let's begin.

expression-evaluator functional-programming ghci haskell haskell-compiler interactive parse

Last synced: 27 Oct 2024

https://github.com/soficshift/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 14 Dec 2024

https://github.com/taktoa/small-haskell

Small projects written in Haskell

experimental haskell

Last synced: 12 Oct 2024

https://github.com/dylex/haskell-nfs

Haskell NFS libraries including ONC (Sun) RPC and NFSv4 Client

haskell nfs rpc webdav

Last synced: 23 Nov 2024

https://github.com/basvandijk/usb-example

Example how to use the usb library

example haskell usb

Last synced: 07 Nov 2024

https://github.com/metric-space/hex-chessboard-generator

Hexagonal Chessboard Image Generator

diagrams haskell hexagonal-chessboard

Last synced: 07 Nov 2024

https://github.com/qnighy/shumilog

Shumilog - a partial Prolog implementation

haskell prolog prolog-implementation

Last synced: 13 Dec 2024

https://github.com/nikita-volkov/isomorphism-class

Isomorphism typeclass solving the conversion problem

haskell isomorphism typeclass

Last synced: 28 Oct 2024

https://github.com/simonmichael/gist

A start at a reliable command-line client for gist.github.com. Obsolete.

gist gist-client haskell

Last synced: 28 Oct 2024

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

A functional programming language that best of both worlds between Haskell and Lisp

functional-paradigm haskell interpreter lisp pravda programming-language

Last synced: 12 Oct 2024

https://github.com/akshaymankar/dhall-fly

fly with dhall. Not to be confused with dal-tadka

concourse dhall dhall-lang haskell

Last synced: 15 Oct 2024

https://github.com/jiayihu/lab

Personal experiments with technologies

functional-programming haskell

Last synced: 06 Nov 2024

https://github.com/elaye/hakyll-favicon

Favicons for Hakyll websites

favicon hakyll haskell web

Last synced: 12 Oct 2024

https://github.com/axect/euler

Answer for Euler project using various languages (primary: Haskell, Rust, Nim)

euler haskell julia language nim python rust

Last synced: 02 Dec 2024

https://github.com/ivanperez-keera/games-voldemort

Game implemented during ZuriHac2015

game haskell sdl

Last synced: 19 Dec 2024

https://github.com/kutyel/mu-haskell-berlin-fp-talk

Code example and slides for my talk in the Berlin Functional Programming Group

graphql-server haskell mdx-deck mu-graphql mu-haskell

Last synced: 17 Oct 2024

https://github.com/michaelsproul/ens-search

Find awesome Ethereum names with ease!

ethereum ethereum-name-service haskell

Last synced: 16 Dec 2024

https://github.com/kutyel/trolleys

🛒 Haskell program to schedule trolleys and shifts randomly!

haskell haskell-application haskell-cli random random-shuffle schedule scheduler

Last synced: 17 Oct 2024

https://github.com/centromere/pipes-cacophony

Pipes for Noise-secured network connections

cryptography haskell

Last synced: 12 Oct 2024

https://github.com/owainlewis/oci-haskell-sdk

A Haskell SDK for working with Oracle Cloud Infrastructure

bare-metal haskell oracle sdk

Last synced: 05 Dec 2024

https://github.com/cronokirby/hax

A bullet hell game in haskell

ecs game haskell sdl

Last synced: 29 Nov 2024

https://github.com/matsubara0507/mix.hs

building rio package configuration using cont monad with extensible

extensible haskell haskell-library

Last synced: 19 Oct 2024

https://github.com/jaalonso/i1m

Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)

haskell

Last synced: 06 Dec 2024

https://github.com/jaalonso/pc-haskell

Programación competitiva con Haskell

competitive-programming haskell

Last synced: 06 Dec 2024

https://github.com/jaalonso/intro-haskellformaths

Introducción a HaskellForMaths

haskell math

Last synced: 06 Dec 2024

https://github.com/fjvallarino/libmdbx-hs

Haskell bindings for libmdbx

database haskell in-process key-value-store

Last synced: 07 Oct 2024

https://github.com/jiriklepl/masters-thesis-code

This is a supplementary repository for my master's thesis

cabal cmm compiler haskell language llvm master-thesis masters-thesis mff-uk

Last synced: 05 Dec 2024

https://github.com/keithduncan/statsd-client

Statsd and dogstatsd network client in Haskell.

dogstatsd haskell metrics statsd-client

Last synced: 12 Oct 2024

https://github.com/andrewnetwork/haskelltwitchbot

A simple educational twitch chat bot written in Haskell.

chatbot haskell irc twitch

Last synced: 23 Dec 2024

https://github.com/minibill/elm-prelude

A Prelude for Haskell, modeled after elm/core

elm haskell prelude

Last synced: 14 Jan 2025

https://github.com/marceloboeira/hffp

ƛ My solutions for the Haskell From First Principles book

book exercises haskell hffp solutions

Last synced: 21 Dec 2024

https://github.com/slotthe/hmenu

Dmenu wrapper for fun and profit! // GitHub Mirror

dmenu haskell yeganesh

Last synced: 14 Oct 2024

https://github.com/basvandijk/safer-file-handles

Type-safe file handling

haskell

Last synced: 10 Oct 2024

https://github.com/keera-studios/ifelse

Anaphoric and miscellaneous useful control-flow

conditional-statements haskell monad monads

Last synced: 13 Jan 2025

https://github.com/mrkkrp/flac-picture

Support for writing pictures into FLAC metadata blocks with JuicyPixels

cover-art flac haskell picture

Last synced: 28 Oct 2024

https://github.com/minad/colorful-monoids

colorful-monoids: Styled console text output using ANSI escape sequences

ansi-escape-sequences haskell pretty-print

Last synced: 13 Oct 2024

https://github.com/typeclasses/fractal-sets

Escape-time fractals created with Haskell and GD.

fractals haskell

Last synced: 05 Dec 2024

https://github.com/kevindasilvas/vhs

Haskell list functions implemented in v lang

hacktoberfest haskell v vlang

Last synced: 21 Oct 2024

https://github.com/gilligan/nix-ghcide

nix expressions for hie-core

ghcide haskell nix

Last synced: 07 Nov 2024

https://github.com/luavreis/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 26 Oct 2024

https://github.com/ivanperez-keera/clean-home

DEPRECATED: Keep your $HOME clean by finding old conf files

haskell maintenance

Last synced: 14 Oct 2024

https://github.com/tfausak/heptapod

:squid: Generate version 7 UUIDs in Haskell.

haskell uuid

Last synced: 12 Oct 2024

https://github.com/nwtgck/assertion-haskell

Assertion with condition string representation in Haskell.

assertions haskell haskell-library template-haskell

Last synced: 25 Oct 2024

https://github.com/yurrriq/abstract-algebra-pinter

:book: Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter

abstract-algebra exercises haskell latex learning-by-book nix

Last synced: 12 Oct 2024

https://github.com/werehamster/avers

A model abstraction library

haskell

Last synced: 14 Oct 2024

https://github.com/dhess/pinpon

A doorbell service in Haskell. No, really.

doorbell haskell iot notifications

Last synced: 27 Dec 2024

https://github.com/sjoerdvisscher/discrete-space-map

A discrete space map implemented as a zipper on an infinite perfect binary tree.

data-type haskell infinite

Last synced: 15 Oct 2024

https://github.com/quchen/lambda-ski

A lambda and SKI calculus playground

haskell lambda-calculus ski-calculus

Last synced: 12 Oct 2024

https://github.com/chrisbarrett/apidoc-checker

A command-line tool to verify apidoc specifications

apidoc flycheck haskell

Last synced: 11 Dec 2024

https://github.com/fumieval/data-vector-growable

Dynamic, growable, resizable, mutable and generic vector implementation

array haskell

Last synced: 15 Oct 2024

https://github.com/unorsk/yr

yr.no weather forecasts CLI-app in Haskell

cli haskell yr yrno

Last synced: 20 Dec 2024

https://github.com/basvandijk/explicit-iomodes

File handles with explicit IOModes

haskell

Last synced: 10 Oct 2024

https://github.com/dmalikov/e

Express sensitive data inside text files in readable and compact way

encryption gpg gpgme haskell

Last synced: 04 Dec 2024

https://github.com/dmjio/servant-wasm

Servant support for delivering WebAssembly

haskell servant wasm

Last synced: 12 Oct 2024

https://github.com/willdoescode/star-it-hs

Star all repos from a user.

haskell star-it-all

Last synced: 25 Dec 2024

https://github.com/simeonhristov99/fp-additional-cs

Stores solutions to the tasks given on the graduation finals of Computer Science students @ FMI.

functional-programming haskell racket

Last synced: 29 Dec 2024

https://github.com/stevenxl/yesod-money-manager

A web application for managing money.

haskell money money-manager web-app web-application yesod

Last synced: 21 Dec 2024

https://github.com/utdemir/handsy

[DEPRECATED] A Haskell DSL to describe common shell operations and interpeters for running them locally and remotely.

haskell

Last synced: 28 Oct 2024

https://github.com/serhiicho/playground

This repo is the playground for programming languages that I'm playing with

c cpp go haskell java js node php python

Last synced: 02 Nov 2024

https://github.com/portnov/hcheckers

HCheckers is a relatively simple implementation of checkers board game (also known as "draughts")

checkers checkers-game haskell python qt5

Last synced: 14 Oct 2024

https://github.com/trskop/lock-file

Provide exclusive access to a resource using lock file.

haskell linux lock-file posix

Last synced: 12 Oct 2024

https://github.com/kleidukos/pg-transact-effectful

pg-transact for the Effectful ecosystem

effect-system effectful haskell postgresql

Last synced: 27 Oct 2024

https://github.com/the-dr-lazy/soallpeach

Soallpeach challenge

education haskell

Last synced: 13 Dec 2024

https://github.com/m4lvin/mchlpe

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

agent-types epistemic-logic haskell model-checking puzzle

Last synced: 14 Oct 2024

https://github.com/amhndu/life.hs

Conway's Game of Life in Haskell

cellular-automata conway-life game-of-life haskell

Last synced: 07 Nov 2024

https://github.com/cidem/haskell-readert

This repository demonstrates how to use the ReaderT pattern to structure your Haskell code.

architecture haskell katip readert

Last synced: 07 Nov 2024

https://github.com/basvandijk/bindings-libusb

Low level bindings to libusb

haskell usb

Last synced: 10 Oct 2024

https://github.com/xion/wikilate

Wikipedia-based command line translator

haskell translation wikipedia

Last synced: 14 Jan 2025

https://github.com/prikhi/wordpress-auth

Authenticate Wordpress Cookies & Nonces in Haskell Requests.

cookies haskell nonces servant servant-auth wordpress wordpress-auth

Last synced: 11 Oct 2024

https://github.com/kakkun61/kinf-template

A static site generator template powered by Shake, Lucid and Hint.

haskell www

Last synced: 18 Dec 2024

https://github.com/wereHamster/avers

A model abstraction library

haskell

Last synced: 31 Oct 2024

https://github.com/relrod/bioparse

A set of parsing combinators for various bioinformatics sequencing formats using the `parsers` library.

bioinformatics haskell parse

Last synced: 20 Dec 2024

https://github.com/thma/thma.github.io

Lambda is not a four letter word. My blog on all things haskell and FP.

equational-reasoning functional-programming haskell lambda-calculus patterns

Last synced: 29 Oct 2024

https://github.com/sleexyz/rebindable

Better RebindableSyntax for Indexed Monads

haskell indexed monads rebindablesyntax

Last synced: 29 Oct 2024

https://github.com/felipemonobe/lagoinha-hs

A Haskell study with concurrency, http requests, JSON and XML parsing.

aeson async asynchronous concurrency functional-programming haskell haskell-learning http json race-conditions wreq xml

Last synced: 27 Dec 2024

https://github.com/farbodsz/codeforces-cli

Command line interface to interact with Codeforces

codeforces codeforces-api haskell

Last synced: 12 Oct 2024

https://github.com/airsequel/double-x-encoding

Encoding scheme to encode any Unicode string with only [0-9a-zA-Z_]. Similar to URL percent-encoding. Especially useful for GraphQL ID generation.

decoding elm encoding encoding-scheme graphql haskell id javascript typescript

Last synced: 12 Oct 2024

https://github.com/barrucadu/irc-ctcp

This project is essentially abandonware!

abandonware haskell

Last synced: 20 Oct 2024

https://github.com/adithyaov/acyclic-graphs

A small experiment to make acyclic graphs in Haskell.

acyclic alga haskell

Last synced: 27 Dec 2024

https://github.com/haskell/network-bsd

POSIX network database (<netdb.h>) API

bsd-sockets haskell network-programming

Last synced: 07 Oct 2024

https://github.com/July541/haskell-search-extension

A browser extension to search Haskell knowledge.

chrome-extension edge-extension firefox-extension hackage haskell

Last synced: 30 Oct 2024

https://github.com/unhappychoice/bitmex-cli

:construction: WIP :construction:

bitcoin bitmex cli haskell tool

Last synced: 02 Dec 2024

https://github.com/phenax/midibinds

An experiment to use my midi keyboard as a secondary keyboard for executing commands and macros

haskell key-bindings keyboard midi midi-controller portmidi

Last synced: 16 Nov 2024

https://github.com/dmjio/hello-halvm

Example "Hello World" HaLVM web-server running on the Xen Hypervisor

halvm haskell hypervisor xen

Last synced: 16 Nov 2024

https://github.com/jneira/wai-servlet-handler-jetty

Wai handler to run wai applications in a embedded jetty server

eta haskell jetty wai webdevelopment

Last synced: 13 Jan 2025

https://github.com/kavon/ghc-llvm

improvements to llvm to support functional-language compilers, e.g., ghc

compilers ghc haskell llvm

Last synced: 21 Dec 2024

https://github.com/leventerkok/floatinghex

Hexadecimal Floats for Haskell

floating-point haskell hexadecimal-floats ieee754

Last synced: 12 Oct 2024

https://github.com/siraben/lisp-to-js

Compiling Lisp to JavaScript

compilers haskell lisp scheme

Last synced: 18 Dec 2024

https://github.com/3noch/drifter-project-m36

Drifter migration backend for Project:M36

database drifter haskell migration project-m36

Last synced: 26 Dec 2024