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/justinethier/husk-scheme

A full implementation of the Scheme programming language for the Haskell Platform.

haskell scheme

Last synced: 03 Nov 2024

https://github.com/therewillbecode/poker-maison

🂺 A Multiplayer Poker App Crafted with Haskell and React

cards game haskell poker react reactjs

Last synced: 04 Aug 2024

https://github.com/ajnsit/concur

An unusual Web UI Framework for Haskell

concur elm-architecture frp haskell ui user-interface web

Last synced: 03 Nov 2024

https://github.com/Holmusk/three-layer

:three: :cake: Architecture of the Haskell web applications

backend haskell servant three-layer-architecture web web-application

Last synced: 02 Aug 2024

https://github.com/purenix-org/purenix

Nix backend for PureScript. Transpile PureScript code to Nix.

hacktoberfest haskell nix purescript transpiler

Last synced: 14 Oct 2024

https://github.com/quchen/prettyprinter

A modern, extensible and well-documented prettyprinter.

haskell prettyprinter

Last synced: 12 Oct 2024

https://github.com/iostreamer-X/FuncShell

Improve your shell by making it functional through Haskell! (An update to Awkward)

functional-programming haskell shell

Last synced: 04 Aug 2024

https://github.com/acid-state/acid-state

Add ACID guarantees to any serializable Haskell data structure

acid-state hackage haskell replication transactional

Last synced: 02 Aug 2024

https://github.com/Yvee1/hascard

flashcard TUI with markdown cards

flashcards haskell terminal tui

Last synced: 27 Oct 2024

https://github.com/stevenfontanella/microlens

A lightweight (but compatible with ‘lens’) lenses library

haskell lenses

Last synced: 30 Oct 2024

https://github.com/NorfairKing/smos

A comprehensive self-management System

cursor hacktoberfest haskell property-testing tui

Last synced: 10 Aug 2024

https://github.com/snoyberg/http-client

An HTTP client engine, intended as a base layer for more user-friendly packages.

haskell http-client http-conduit

Last synced: 30 Oct 2024

https://github.com/cardano-scaling/hydra

Implementation of the Hydra Head protocol

blockchain cardano haskell plutus scalability

Last synced: 30 Oct 2024

https://github.com/brendanhay/gogol

A comprehensive Google Services SDK for Haskell.

google haskell

Last synced: 19 Oct 2024

https://github.com/haskell-gi/haskell-gi

Generate Haskell bindings for GObject-Introspection capable libraries

ghc gobject-introspection gtk haskell haskell-bindings haskell-gi

Last synced: 12 Oct 2024

https://github.com/IntersectMBO/ouroboros-network

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

blockchain haskell network ouroboros

Last synced: 30 Oct 2024

https://github.com/ivanperez-keera/haskanoid

A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

android arkanoid breakout-game collision frp game-programming ghcjs haskell kinect linux macosx macosx-game physics sdl sdl2 web wiimote windows yampa

Last synced: 31 Oct 2024

https://github.com/sjsyrek/haskell-study-startup

Launch your own Haskell study group. Now.

education functional-programming haskell study study-group

Last synced: 26 Oct 2024

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

Learn Haskell by building a blog generator - an introductory book about Haskell.

book haskell haskell-learning learning-haskell mdbook tutorial

Last synced: 27 Oct 2024

https://github.com/moocfi/haskell-mooc

Haskell MOOC University of Helsinki

course haskell mooc mooc-fi university-of-helsinki

Last synced: 01 Aug 2024

https://github.com/neovimhaskell/nvim-hs

Neovim API for Haskell plugins as well as the plugin provider

haskell haskell-plugins neovim neovim-api nvim nvim-hs

Last synced: 29 Oct 2024

https://github.com/haskell/ghcup

DEPRECATED IN FAVOR OF haskell/ghcup-hs

cabal-install ghc haskell installer posix-sh shell

Last synced: 07 Oct 2024

https://github.com/tweag/rules_haskell

Haskell rules for Bazel.

bazel bazel-rules build-system haskell

Last synced: 20 Aug 2024

https://github.com/haskell-hint/hint

Runtime Haskell interpreter

ghci haskell interpreter

Last synced: 02 Aug 2024

https://github.com/co-log/co-log

📓 Flexible and configurable modern #Haskell logging framework

comonad composability contravariant hacktoberfest haskell haskell-library logging semigroup

Last synced: 02 Aug 2024

https://github.com/haskell-tools/haskell-tools

Developer tools for Haskell

development-tools ghc haskell refactor

Last synced: 10 Aug 2024

https://github.com/standardsemiconductor/lion

Where Lions Roam: RISC-V on the VELDT

clash haskell risc-v veldt

Last synced: 09 Oct 2024

https://github.com/kadena-io/chainweb-node

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

blockchain chainweb-node haskell kadena

Last synced: 03 Aug 2024

https://github.com/pablojorge/brainfuck

Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others

assembler brainfuck brainfuck-interpreter brainfuck-language c esoteric-language golang haskell javascript lua python rust wasm

Last synced: 12 Oct 2024

https://github.com/tmcgilchrist/airship

Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.

github-actions haskell webmachine

Last synced: 01 Nov 2024

https://github.com/KindaSloth/Haskell4Noobs

Único roadmap de Haskell possível, do noob ao Thanos

brasil functional-programming haskell portugues portuguese tutorial

Last synced: 01 Aug 2024

https://github.com/leventerkok/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

haskell smt verification

Last synced: 30 Oct 2024

https://github.com/cdepillabout/pretty-simple

pretty-printer for Haskell data types that have a Show instance

ghci hacktoberfest haskell pretty-print pretty-simple

Last synced: 02 Aug 2024

https://github.com/bijoutrouvaille/fireward

A concise and readable language for Firestore security rules, similar to Firebase Bolt.

firebase firebase-firestore haskell parser-combinators typescript

Last synced: 04 Aug 2024

https://github.com/learnyouahaskell/learnyouahaskell.github.io

A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

haskell haskell-tutorial learn-to-code programming-fundamentals

Last synced: 30 Oct 2024

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

OwnCloud for owls done via The Microservice Architecture

haskell microservice servant

Last synced: 31 Oct 2024

https://github.com/itchyny/sjsp

Simple JavaScript Profiler

haskell javascript javascript-profiler

Last synced: 04 Aug 2024

https://github.com/atom-haskell/ide-haskell

Haskell IDE plugin for Atom editor

atom haskell ide

Last synced: 02 Aug 2024

https://github.com/Mesabloo/diagnose

A simple library for reporting compiler/interpreter errors

ascii compiler-errors error-reporting haskell interpreter-errors library unicode

Last synced: 01 Aug 2024

https://github.com/tweag/inline-java

Haskell/Java interop via inline Java code in Haskell modules.

ffi haskell interoperability java jni jvm

Last synced: 29 Oct 2024

https://github.com/srid/haskell-template

Haskell project template using Nix + Flakes + VSCode (HLS)

haskell nix template

Last synced: 01 Nov 2024

https://github.com/emacs-lsp/lsp-haskell

lsp-mode :heart: haskell

emacs-lsp haskell hie lsp lsp-haskell melpa

Last synced: 02 Aug 2024

https://github.com/harpocrates/inline-rust

Use snippets of Rust inline in your Haskell programs

ffi haskell quasiquotation rust

Last synced: 31 Oct 2024

https://github.com/passy/givegif

GIFs on the command line

cli gifs haskell iterm2

Last synced: 31 Oct 2024

https://github.com/seek-oss/serverless-haskell

Deploying Haskell applications to AWS Lambda with Serverless

aws aws-lambda haskell haskell-stack serverless

Last synced: 30 Oct 2024

https://github.com/AllureOfTheStars/Allure

Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game written in Haskell; please offer feedback, e.g., after trying out the web frontend version at

ascii browsergame freesoftware game haskell html5 lambdahack pcg replayability roguelike sdl squad tactical turnbased

Last synced: 05 Nov 2024

https://github.com/timbod7/adl

ADL (Algebraic Data Language)

c-plus-plus haskell java

Last synced: 06 Aug 2024

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

ADL (Algebraic Data Language)

c-plus-plus haskell java

Last synced: 31 Oct 2024

https://github.com/typeclasses/haskell-phrasebook

The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs

haskell haskell-learning

Last synced: 10 Aug 2024

https://github.com/ivanperez-keera/dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

abstraction arrows frp frp-library functional-programming functional-reactive-programming game games haskell haskell-library monad yampa

Last synced: 31 Oct 2024

https://github.com/luc-tielen/eclair-lang

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

compiler datalog haskell llvm logic-programming

Last synced: 26 Oct 2024

https://github.com/snowleopard/selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

haskell

Last synced: 30 Oct 2024

https://github.com/tfausak/flow

:droplet: Write more understandable Haskell.

haskell

Last synced: 01 Nov 2024

https://github.com/cmoog/traderjoes

Price tracking program and website for Trader Joe's, updated daily.

groceries haskell prices

Last synced: 30 Oct 2024

https://github.com/lemmih/lhc

The LLVM LHC Haskell Optimization System

compiler haskell llvm

Last synced: 26 Oct 2024

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

An experimental proof assistant based on a type theory for synthetic ∞-categories.

category-theory haskell homotopy-type-theory proof-assistant

Last synced: 04 Aug 2024

https://github.com/Infinisil/all-hies

Cached Haskell IDE Engine Nix builds for all GHC versions

cache ghc haskell haskell-ide-engine nix nixos

Last synced: 15 Aug 2024

https://github.com/jxv/dino-rush

🌋 Endless runner game

dino-rush game haskell sdl2

Last synced: 02 Aug 2024

https://github.com/snowleopard/alga-paper

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

algebra graph haskell

Last synced: 27 Oct 2024

https://github.com/barrucadu/dejafu

Systematic concurrency testing meets Haskell.

concurrency haskell testing

Last synced: 20 Oct 2024

https://github.com/corsis/PortFusion

Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...).

application gplv3 haskell multi-platform proxy reverse-proxy simple tcp

Last synced: 10 Aug 2024

https://github.com/deech/fltkhs

Haskell bindings to FLTK GUI toolkit.

c-plus-plus fltk fltk-gui-library fluid gui haskell haskell-bindings widget

Last synced: 03 Nov 2024

https://github.com/corsis/portfusion

Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...).

application gplv3 haskell multi-platform proxy reverse-proxy simple tcp

Last synced: 04 Aug 2024

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

Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications

android frp functional-reactive-programming ghcjs gtk haskell ios mvc qt reactive-values rvs web wx yampa

Last synced: 03 Aug 2024

https://github.com/soywod/unfog

⏱ Minimalist CLI task & time manager, written in Haskell.

cli haskell haskell-cli haskell-stack task-manager time-tracker worktime

Last synced: 28 Oct 2024

https://github.com/alpacaaa/quad-ci

A CI server written in Simple Haskell.

architecture haskell

Last synced: 02 Aug 2024

https://github.com/well-typed/cborg

Binary serialisation in the CBOR format

haskell

Last synced: 02 Aug 2024

https://github.com/yuras/pdf-toolbox

A collection of tools for processing PDF files in Haskell

haskell pdf

Last synced: 14 Oct 2024

https://github.com/sjsyrek/maryamyriameliamurphies.js

A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.

es2015 functional-programming haskell javascript monads

Last synced: 26 Oct 2024

https://github.com/Yuras/pdf-toolbox

A collection of tools for processing PDF files in Haskell

haskell pdf

Last synced: 01 Aug 2024

https://github.com/ennocramer/floskell

Floskell is a flexible Haskell source code pretty printer.

code-formatter haskell pretty-printer

Last synced: 12 Oct 2024

https://github.com/solidsnack/arx

Bundles code and a job to run for local or remote execution.

haskell jobs shell tmp

Last synced: 20 Aug 2024

https://github.com/pmiddend/nixos-manager

Manage your NixOS packages and configuration via a simple, intuitive UI

declarative haskell nix nixos ui

Last synced: 02 Aug 2024

https://github.com/haskell/hie-bios

Set up a GHC API session for various Haskell Projects

haskell

Last synced: 07 Oct 2024

https://github.com/chshersh/iris

🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

cli framework haskell

Last synced: 29 Oct 2024

https://github.com/awakesecurity/nix-deploy

Deploy software or an entire NixOS system configuration to another NixOS system

command-line-tool haskell nix nixos

Last synced: 11 Oct 2024

https://github.com/tzemanovic/haskell-yesod-realworld-example-app

Exemplary real world application built with Haskell + Yesod

crud haskell haskell-application jwt realworld-backend rest-api yesod

Last synced: 27 Oct 2024

https://github.com/ekmett/coda

A language experiment -- irc.freenode.net ##coda

coda haskell node programming-language visual-studio vscode-extension

Last synced: 31 Oct 2024

https://github.com/mbj/stratosphere

Haskell EDSL and type-checker for AWS CloudFormation templates

aws cloudformation haskell

Last synced: 17 Oct 2024

https://github.com/mthom/shentong

A Haskell implementation of the Shen programming language.

haskell interpreter lisp shen

Last synced: 03 Nov 2024

https://github.com/glguy/irc-core

Haskell IRC library and console client - Join us on libera.chat #glirc

haskell irc znc

Last synced: 30 Oct 2024