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/nmattia/wai-lambda

Haskell Webapps on AWS Lambda

aws aws-lambda haskell nix webapp

Last synced: 31 Oct 2024

https://github.com/lsrcz/grisette

A monadic library for symbolic evaluation

haskell smt symbolic-evaluation symbolic-execution synthesis verification

Last synced: 27 Oct 2024

https://github.com/glguy/advent2019

Advent of Code 2019 solutions

advent-of-code advent-of-code-2019 haskell

Last synced: 28 Oct 2024

https://github.com/byteverse/colonnade

Generic types and functions for encoding and decoding columns

haskell

Last synced: 31 Oct 2024

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

Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.

frp functional-reactive-programming haskell reactive reflex-frp

Last synced: 02 Aug 2024

https://github.com/parsonsmatt/rowdy

A convenient DSL for describing web routes

dsl haskell routing

Last synced: 02 Nov 2024

https://github.com/i42output/neos

Language agnostic scripting engine with a custom bytecode JIT

ada bytecode cpp forth haskell javascript jit jit-compiler json lua python rjson rust vm

Last synced: 25 Oct 2024

https://github.com/oliviersohn/hamazed

Monorepo for a multi-player game engine, and game examples

addition animation ascii-art ascii-game ascii-graphics collision game haskell laser mathematics retrogaming

Last synced: 27 Oct 2024

https://github.com/porges/email-validate-hs

Email address validation for Haskell

email-validation hackage haskell

Last synced: 31 Oct 2024

https://github.com/leventov/yarr

Yer another array library

dataflow haskell

Last synced: 16 Oct 2024

https://github.com/ners/dosh

The power of Haskell in your terminal!

haskell shell

Last synced: 27 Oct 2024

https://github.com/gvolpe/exchange-rates

:currency_exchange: Querying a rate-limited currency exchange API using Redis as a cache

cache dhall dhall-lang exchange-rates forex haskell rate-limiter redis transient wreq

Last synced: 28 Oct 2024

https://github.com/k-bx/par

Small utility that runs multiple computations in parallel

haskell parallel scripting shell

Last synced: 23 Oct 2024

https://github.com/tchoutri/pg-entity

A pleasant PostgreSQL database layer for Haskell

database-layer haskell postgresql simple-haskell sql

Last synced: 05 Nov 2024

https://github.com/kim/opentracing

OpenTracing (https://opentracing.io) for Haskell

haskell opentracing tracing

Last synced: 01 Nov 2024

https://github.com/MercuryTechnologies/ghciwatch

ghci-based file watching recompiler for Haskell development

ghci haskell inotify

Last synced: 02 Aug 2024

https://github.com/leptonyu/tensors

Tensors in Haskell

haskell tensor

Last synced: 29 Oct 2024

https://github.com/mquy/mlang

My toy programming languages

c99 compiler cpp haskell interpreter programming-language typescript

Last synced: 12 Oct 2024

https://github.com/dustin/mqtt-hs

Haskell MQTT client.

haskell iot mqtt networking

Last synced: 10 Oct 2024

https://github.com/jhedev/todobackend-haskell

Todobackend implementations in Haskell using various frameworks

haskell todo-backend

Last synced: 05 Nov 2024

https://github.com/leftaroundabout/manifolds

Coordinate-free hypersurfaces as Haskell types

haskell mathematics numerical-calculations topology

Last synced: 12 Oct 2024

https://github.com/jrclogic/smcdel

A symbolic model checker for Dynamic Epistemic Logic.

epistemic-logic haskell logic model-checking symbolic

Last synced: 30 Oct 2024

https://github.com/krasjet/karasu

A self-hosted remote communication system designed for math discussions.

haskell math servant

Last synced: 28 Oct 2024

https://github.com/cr-org/supernova

:milky_way: Apache Pulsar client for Haskell

apache-pulsar haskell nix

Last synced: 11 Oct 2024

https://github.com/mrkkrp/forma

Parse and validate forms in JSON format

ajax-form form-validation haskell

Last synced: 26 Oct 2024

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

Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.

developer-tools ghci haskell reload repl

Last synced: 02 Aug 2024

https://github.com/andrewmacmurray/haskell-book-solutions

Solutions to exercises in Haskell Programming from first principles

haskell haskell-book

Last synced: 28 Oct 2024

https://github.com/haskell/hsc2hs

Pre-processor for .hsc files

ffi haskell preprocessor

Last synced: 07 Oct 2024

https://github.com/holmusk/postgresql-simple-named

:question: Implementation of named parameters for `postgresql-simple` library

haskell named-parameters postgresql

Last synced: 27 Oct 2024

https://github.com/glguy/advent2018

Advent of Code 2018 Solutions

advent-of-code advent-of-code-2018 haskell

Last synced: 28 Oct 2024

https://github.com/haskell/pvp

Haskell Package Version Policy (PVP)

cabal hackage haskell pvp specification

Last synced: 07 Oct 2024

https://github.com/ehamberg/typeclassopedia-md

Markdown version of the Haskell Typeclassopedia

book epub haskell pandoc pdf

Last synced: 02 Aug 2024

https://github.com/mikesol/plzwrk

A Haskell front-end framework

front-end haskell

Last synced: 27 Oct 2024

https://github.com/higherkindness/mu-graphql-example-elm

Complete full-stack web app with a mu-haskell GraphQL server and an Elm client! 🌳

elm-graphql elm-lang graphql graphql-client graphql-server hacktoberfest haskell mu mu-graphql mu-haskell schema

Last synced: 11 Oct 2024

https://github.com/tfausak/strive

:bicyclist: A Haskell client for the Strava V3 API.

haskell

Last synced: 27 Oct 2024

https://github.com/decentral1se/tasty-discover

Haskell test discovery for the tasty framework :eyes:

haskell haskell-test-discovery tasty tasty-framework tasty-ingredients

Last synced: 02 Aug 2024

https://github.com/norfairking/easyspec

Signature inference for Functional Property Discovery in Haskell

haskell property-testing quickcheck quickspec

Last synced: 06 Nov 2024

https://github.com/bodigrim/text-rope

A wrapper around Text for fast line/column navigation and logarithmic concatenation

concatenation haskell lines position rope slicing text unicode utf-16

Last synced: 26 Oct 2024

https://github.com/fosskers/mapalgebra

Efficient, polymorphic Map Algebra in Haskell.

gis haskell map-algebra parallel-arrays

Last synced: 20 Oct 2024

https://github.com/hadolint/language-docker

Haskell Dockerfile parser, pretty-printer and EDSL

docker docker-image haskell parser pretty-print pretty-printer templating

Last synced: 31 Oct 2024

https://github.com/soupi/pureli

A purely functional, dynamically typed, parallel evaluated Lisp-like programming language

haskell interpreter lisp programming-language

Last synced: 10 Aug 2024

https://github.com/haskell/zlib

Compression and decompression in the gzip and zlib formats

compression gzip gzip-compression gzip-decompression gzip-format haskell zlib

Last synced: 07 Oct 2024

https://github.com/kcsongor/symbols

Symbol manipulation

haskell symbols type-level-programming

Last synced: 02 Aug 2024

https://github.com/lprez/ombra

Graphics engine written in Haskell.

browser experimental graphics haskell rendering-engine webgl work-in-progress

Last synced: 12 Oct 2024

https://github.com/juspay/jrec

Literally the best anonymous records

haskell records

Last synced: 02 Aug 2024

https://github.com/micheleriva/cadregalisp

🍎 Just another useless programming language, but with inganno.

compiler esoteric-language haskell haskell-language javascript lisp node programming-language scheme

Last synced: 22 Oct 2024

https://github.com/skyzh/mips-simulator

💻 A 5-stage pipeline MIPS CPU design in Haskell.

computer-architecture cpu haskell mips mips-emulator mips-simulator

Last synced: 28 Oct 2024

https://github.com/aligusnet/mltool

Machine Learning Toolbox

haskell machine-learning neural-network

Last synced: 28 Oct 2024

https://github.com/creichert/haskellrustdemo

Example Integration for Embedding Rust in Haskell

ffi haskell rust

Last synced: 28 Oct 2024

https://github.com/losfair/violet

Superscalar RISC-V processor written in Clash.

clash cpu hardware haskell risc-v

Last synced: 14 Oct 2024

https://github.com/lenguyenthedat/raptor

A lightweight product recommendation system (Item Based Collaborative Filtering) developed in Haskell.

collaborative-filtering ecommerce functional-programming haskell jaccard-distance recommendation-engine recommendation-system zalora

Last synced: 15 Oct 2024

https://github.com/ocharles/hs-quake-3

Quake 3 map viewer written in Haskell

frp game haskell opengl quake quake3

Last synced: 22 Oct 2024

https://github.com/jonascarpay/convoluted

Dependently typed convolutional neural networks

convolutional-neural-networks dependent-types haskell

Last synced: 14 Oct 2024

https://github.com/deepflowinc/guardian

guardian - the border guardian for your Haskell monorepo package dependencies

haskell monorepo

Last synced: 04 Aug 2024

https://github.com/f-o-a-m/kepler

A Haskell framework that facilitates writing ABCI applications

abci blockchain haskell tendermint

Last synced: 26 Oct 2024

https://github.com/thoughtpolice/clash-playground

A Clash playground/starter kit, using Nix

fpga haskell nixos

Last synced: 28 Oct 2024

https://github.com/aleator/Zettel-hs

Simple plain text ZettelKasten system for terminal users

haskell note-taking text-zettelkasten vim

Last synced: 28 Oct 2024

https://github.com/tek/hix

Haskell/Nix development build tools

haskell nix

Last synced: 04 Aug 2024

https://github.com/positiondev/fn

A functional web framework

functional haskell web-framework

Last synced: 29 Oct 2024

https://github.com/aesiniath/unbeliever

Opinionated Haskell Interoperability

command-line haskell library

Last synced: 30 Oct 2024

https://github.com/itchyny/qhs

SQL queries on CSV and TSV files

csv csv-converter haskell sql-query

Last synced: 28 Oct 2024

https://github.com/patrickt/haskell-project-ideas

Free ideas, worth every penny

haskell

Last synced: 22 Oct 2024

https://github.com/kowainik/containers-backpack

🎒 Backpack interface for containers

backpack containers data-structures haskell signatures

Last synced: 02 Aug 2024

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

Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications.

frp functional-reactive-programming haskell reactive reflex-frp

Last synced: 02 Aug 2024

https://github.com/cdepillabout/world-peace

open union and open product types in Haskell

hacktoberfest haskell open-sum-types

Last synced: 02 Aug 2024

https://github.com/adetokunbo/haskell-overridez

Simplify usage of nix dependencies during haskell development

command-line-tool haskell nix nix-expressions nixpkgs

Last synced: 11 Oct 2024

https://github.com/ptigwe/hs-flatris

An implementation of Flatris using Haskell and Miso

game ghcjs haskell haskell-miso

Last synced: 02 Aug 2024

https://github.com/owainlewis/slack

Slack Web and RTM API

api chatbot haskell slack websocket

Last synced: 15 Oct 2024

https://github.com/unclechu/purescript-for-haskellers

Some info that supposed to help to understand PureScript from Haskell perspective

docs haskell purescript typed-language

Last synced: 28 Oct 2024

https://github.com/kowainik/autopack

📦 Custom Setup to automate package modules discovery

autodiscover cabal custom-setup haskell

Last synced: 02 Aug 2024

https://github.com/alx741/graphite

Haskell graphs and networks library

graphs haskell library

Last synced: 27 Oct 2024

https://github.com/ulidtko/cabal-doctest

A Setup.hs shim for running doctests

doctest haskell

Last synced: 26 Oct 2024

https://github.com/mcfilib/ruby-marshal

Haskell library to parse a subset of Ruby objects serialised with Marshal.dump

haskell parsing ruby serialization

Last synced: 12 Oct 2024

https://github.com/syucream/hastodon

mastodon client module for Haskell

haskell mastodon

Last synced: 14 Oct 2024

https://github.com/KikyTokamuro/Simple-Functional-Programming

Функциональное программирование простым языком + примеры

functional-programming hacktoberfest haskell python scheme simple

Last synced: 15 Aug 2024

https://github.com/fosskers/org-mode

Parser for Emacs org-mode files

emacs haskell org-mode

Last synced: 12 Oct 2024

https://github.com/domenkozar/releaser

Automation of Haskell package release process.

cabal haskell

Last synced: 28 Oct 2024

https://github.com/scrive/log

Structured logging solution.

haskell logging scrive

Last synced: 29 Oct 2024

https://github.com/tfausak/autoexporter

:outbox_tray: Automatically re-export Haskell modules.

haskell

Last synced: 27 Oct 2024

https://github.com/dcastro/haskell-flatbuffers

An implementation of the flatbuffers protocol in Haskell.

flatbuffers haskell haskell-library

Last synced: 26 Oct 2024

https://github.com/yoeight/lambda-database-experiment

Experimental event store database entirely written in Haskell

database eventstore haskell

Last synced: 22 Oct 2024

https://github.com/basvandijk/regions

Provides the region monad for safely opening and working with scarce resources

haskell

Last synced: 27 Oct 2024

https://github.com/ryantm/hdbc-mysql

This package provides a MySQL driver for Haskell's HDBC library, implemented via bindings to the C mysqlclient library.

driver haskell hdbc-mysql mysql-server

Last synced: 27 Oct 2024

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

Operations on files and directories with typed paths

file-system haskell path

Last synced: 26 Oct 2024

https://github.com/fumieval/monad-skeleton

Operational monad library

haskell monads

Last synced: 02 Nov 2024

https://github.com/schell/odin

High level 2d game engine written in Haskell.

2d-engine engine freetype frp game graphics haskell odin sdl stack

Last synced: 27 Oct 2024

https://github.com/alexpeits/harg

Haskell program configuration using higher kinded data

configuration haskell option-parser optparse-applicative

Last synced: 31 Oct 2024

https://github.com/flogfr/flashcard

FlashCard open source website https://izidict.com

elm elm-lang haskell servant sql

Last synced: 12 Oct 2024

https://github.com/mrkkrp/ebal

*DEPRECATED* Emacs interface to Cabal and Stack

cabal emacs haskell stack

Last synced: 05 Aug 2024

https://github.com/yamadapc/stack-run

Like cabal run for stack

cabal command-line development haskell stack

Last synced: 27 Oct 2024

https://github.com/stanfordhaskell/cs43

Course materials for Stanford's CS43: Functional Programming Paradigms

category-theory course-materials functional-programming haskell

Last synced: 30 Oct 2024

https://github.com/gelisam/ludum-dare-31

The theme for LD31 was "Entire Game on One Screen"

game haskell ludum-dare

Last synced: 09 Oct 2024