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/takenobu-hs/stg-verilog

STG Physical Machine with Verilog-HDL for Haskell(GHC)

haskell verilog

Last synced: 07 Nov 2024

https://github.com/matt-snider/dict.cc

A command line interface tool for accessing dict.cc written in Haskell.

cli command-line dict english german haskell translation

Last synced: 07 Nov 2024

https://github.com/takenobu-hs/processor-creative-kit

haskell prrocessor-creative-kit

assembly cpu haskell

Last synced: 07 Nov 2024

https://github.com/chris-martin/text-replace

Perform simple replacements in a text file, using a list of search/replace pairs

command-line-tool haskell haskell-application haskell-library text-processing

Last synced: 28 Oct 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/caiorss/zhserver

Haskell Webserver for Zotero reference manager - based on Zotero.

app application books document education haskell http papers reference rest search server zotero

Last synced: 02 Jan 2025

https://github.com/brandonchinn178/hpc-lcov

Convert HPC coverage output to LCOV format

codecov coverage haskell test

Last synced: 28 Oct 2024

https://github.com/kakkun61/either-result

The simplest ’MonadFail’ instance

hacktoberfest haskell

Last synced: 27 Oct 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/csabahruska/dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

functional-programming haskell hindley-milner parser type-checker

Last synced: 14 Oct 2024

https://github.com/javiorfo/xmonarch

XMonad and XMobar integration for Arch Linux

archlinux haskell linux xmobar xmonad xmonarch

Last synced: 30 Nov 2024

https://github.com/sudonatalie/vnc-client

VNC Remote Desktop Client developed purely in Haskell.

haskell literate-programming vnc vnc-client

Last synced: 17 Oct 2024

https://github.com/qnikst/qnikst.github.com

My personal blog

blog hakyll haskell

Last synced: 20 Oct 2024

https://github.com/turbolent/duckling-docker

Duckling as a Docker container

docker duckling haskell nlp

Last synced: 19 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/kutyel/urlish

🔗 An URI shortener made with Redis and the Reader Monad!

haskell haskell-learning nix reader-monad redis uri-shortener url-shortener

Last synced: 17 Oct 2024

https://github.com/int-index/mirea-haskell-lectures

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

crash-course haskell

Last synced: 11 Feb 2025

https://github.com/dmjio/trie

This Trie is so fly

data-structures fly haskell tree trie

Last synced: 16 Nov 2024

https://github.com/mstruebing/todo.hs

A terminal todo-list written in haskell

cli cli-app haskell todo todolist

Last synced: 20 Oct 2024

https://github.com/s373r/course-haskell-stepic-functional-programming

λ "Functional programming in Haskell" course materials

course education gplv3 haskell stepic

Last synced: 29 Nov 2024

https://github.com/typeclasses/hex-text

Encode a ByteString as a hexidecimal Text value, or decode hexidecimal Text as a ByteString.

haskell haskell-library hexidecimal serialization text

Last synced: 20 Oct 2024

https://github.com/ix/notewell

A declaratively-built cross-platform Markdown editor written in Haskell.

cross-platform declarative-ui gfm gi-gtk github-flavored-markdown gtk haskell markdown

Last synced: 01 Nov 2024

https://github.com/mbg/wai-saml2

WAI middleware implementing SAML2

haskell haskell-library saml-service-provider saml2

Last synced: 02 Nov 2024

https://github.com/leventerkok/floatinghex

Hexadecimal Floats for Haskell

floating-point haskell hexadecimal-floats ieee754

Last synced: 15 Feb 2025

https://github.com/romac/mental

🚧 Yet Another ML Dialect (WIP)

compiler haskell ml

Last synced: 06 Nov 2024

https://github.com/vaclavsvejcar/vcs-ignore

📜 Haskell library handling files ignored by VCS

git haskell haskell-library vcs

Last synced: 19 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/futtetennista/serverlessvalidator

A validator for serverless.yml files written in Haskell

docker haskell serverless validator yml-files

Last synced: 27 Oct 2024

https://github.com/l29ah/9ptorrent

a bittorrent client with a filesystem interface

9p bittorrent hacktoberfest haskell

Last synced: 10 Feb 2025

https://github.com/l29ah/hyborg

WIP parallel borgbackup-compatible backup tool written in Haskell

backup borgbackup hacktoberfest haskell posix

Last synced: 10 Feb 2025

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/fgaz/shine-varying

FRP interface for shine

frp graphics hacktoberfest haskell

Last synced: 14 Oct 2024

https://github.com/minad/quickcheck-special

Edge cases and special values for QuickCheck Arbitrary instances

haskell quickcheck

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/saschagrunert/seer

A collaborative resource planning tool 🔮

collaboration haskell planning productvision resource roadmap schedule tool vision

Last synced: 18 Feb 2025

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/danielpancake/haskell-outrun

Outrun-like racing game made in Haskell

game haskell outrun pseudo3d

Last synced: 30 Oct 2024

https://github.com/nmattia/cio

cio: cached HTTP requests for a smooth Jupyter experience!

haskell http jupyter leveldb

Last synced: 17 Feb 2025

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

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

compilers ghc haskell llvm

Last synced: 14 Feb 2025

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/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/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/luavreis/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 26 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: 29 Jan 2025

https://github.com/ners/lsp-client

A full-featured client for the Language Server Protocol

concurrency haskell lsp lsp-client

Last synced: 28 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/quchen/lambda-ski

A lambda and SKI calculus playground

haskell lambda-calculus ski-calculus

Last synced: 17 Feb 2025

https://github.com/sleexyz/rebindable

Better RebindableSyntax for Indexed Monads

haskell indexed monads rebindablesyntax

Last synced: 29 Oct 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/kutyel/hangman

👾 A hangman CLI game made in Haskell!

hangman hangman-console hangman-game haskell haskell-book haskell-game

Last synced: 02 Feb 2025

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/mzguntalan/neptune

[WIP] Neptune: JAX iterop-able library in Haskell.

ai deep-learning haskell jax machine-learning python xla

Last synced: 25 Jan 2025

https://github.com/freizl/har

HAR spec in Haskell

har har-spec haskell

Last synced: 17 Feb 2025

https://github.com/mmzk1526/haskell-rm

Implementation of the Register Machine in Haskell so efficient that it can even simulate the Universal Register Machine!

haskell simulator

Last synced: 07 Nov 2024

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/xion/wikilate

Wikipedia-based command line translator

haskell translation wikipedia

Last synced: 14 Jan 2025

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/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/gilligan/nix-ghcide

nix expressions for hie-core

ghcide haskell nix

Last synced: 07 Nov 2024

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

A small experiment to make acyclic graphs in Haskell.

acyclic alga haskell

Last synced: 18 Feb 2025

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/willdoescode/star-it-hs

Star all repos from a user.

haskell star-it-all

Last synced: 16 Feb 2025

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/stevenxl/yesod-money-manager

A web application for managing money.

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

Last synced: 13 Feb 2025

https://github.com/kleidukos/diff-package-api

Workflow to have golden tests on your Haskell package's API

golden-test haskell stability

Last synced: 17 Feb 2025

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/dhess/pinpon

A doorbell service in Haskell. No, really.

doorbell haskell iot notifications

Last synced: 18 Feb 2025

https://github.com/werehamster/avers

A model abstraction library

haskell

Last synced: 14 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/caneroj1/mbtiles-server

Haskell MBTiles server using Servant

haskell mbtiles servant tileserver

Last synced: 03 Feb 2025

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/wereHamster/avers

A model abstraction library

haskell

Last synced: 31 Oct 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/matsubara0507/mix.hs

building rio package configuration using cont monad with extensible

extensible haskell haskell-library

Last synced: 19 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/fjvallarino/libmdbx-hs

Haskell bindings for libmdbx

database haskell in-process key-value-store

Last synced: 04 Feb 2025

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/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/jiayihu/lab

Personal experiments with technologies

functional-programming haskell

Last synced: 06 Nov 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/jsdw/talklicker

A small Haskell+Elm event scheduling app

elm elm-lang haskell servant spa

Last synced: 06 Jan 2025

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

Isomorphism typeclass solving the conversion problem

haskell isomorphism typeclass

Last synced: 28 Oct 2024

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

Low level bindings to libusb

haskell usb

Last synced: 11 Feb 2025

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/nwtgck/assertion-haskell

Assertion with condition string representation in Haskell.

assertions haskell haskell-library template-haskell

Last synced: 25 Oct 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/cronokirby/hax

A bullet hell game in haskell

ecs game haskell sdl

Last synced: 28 Jan 2025

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

File handles with explicit IOModes

haskell

Last synced: 11 Feb 2025

https://github.com/basvandijk/string-combinators

Polymorphic functions to build and combine stringlike values

haskell

Last synced: 11 Feb 2025

https://github.com/basvandijk/repr

Render overloaded expressions to their textual representation.

haskell pretty-print

Last synced: 11 Feb 2025

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