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/hlian/linklater

A Haskell library for the Slack API (including real-time messaging!)

confused dazed haskell slack websocet

Last synced: 27 Dec 2024

https://github.com/k-bx/protocol-buffers

Haskell protocol-buffers package

haskell protocol-buffers

Last synced: 22 Dec 2024

https://github.com/thephoeron/quipper-language

Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)

haskell quantum-computing quipper quipper-language unofficial-fork

Last synced: 03 Nov 2024

https://github.com/tfausak/rampart

:european_castle: Determine how intervals relate to each other.

haskell

Last synced: 17 Nov 2024

https://github.com/IHaskell/ihaskell-notebook

IHaskell image for Jupyter Docker Stacks

haskell jupyter

Last synced: 30 Oct 2024

https://github.com/jwiegley/putting-lenses-to-work

A presentation for BayHac 2017 on how I uses lenses at work

functional-programming haskell lens lenses practical

Last synced: 28 Oct 2024

https://github.com/kowainik/hit-on

:octocat: Kowainik Git Workflow Helper Tool

cli-tool git github github-api haskell kowainik-git-workflow workflow

Last synced: 04 Dec 2024

https://github.com/awkward-squad/ki

A structured concurrency library

async concurrency haskell structured-concurrency

Last synced: 20 Nov 2024

https://github.com/hamler-lang/docs

Documentation of Hamler

erlang functional-programming hamler haskell

Last synced: 10 Nov 2024

https://github.com/zhangchiqing/beginner-friendly-haskell-for-web-development

A book about real world web development in beginner friendly Haskell

beginner-friendly book haskell real-world-project web-development

Last synced: 11 Nov 2024

https://github.com/jaredloomis/andromeda

GLSL-targetting embedded compiler, and OpenGL rendering engine.

edsl glsl-shaders haskell opengl shaders

Last synced: 16 Nov 2024

https://github.com/zudov/24-days-of-syntactic-witchery

Aligning characters for fun and profit, with Haskell and PureScript

haskell magic purescript

Last synced: 02 Nov 2024

https://github.com/alt-romes/hegg

Fast equality saturation in Haskell

egraphs equality-saturation haskell

Last synced: 19 Dec 2024

https://github.com/llvm-hs/llvm-hs-kaleidoscope

Kaleidoscope Tutorial using llvm-hs

haskell haskell-tutorial jit kaleidoscope llvm-hs

Last synced: 13 Nov 2024

https://github.com/tmcdonell/cuda

Haskell FFI bindings to CUDA

cuda ffi-bindings haskell

Last synced: 23 Dec 2024

https://github.com/mchakravarty/lazy-lambda

Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit

game haskell spritekit

Last synced: 28 Oct 2024

https://github.com/basvandijk/scientific

Arbitrary-precision floating-point numbers represented using scientific notation

haskell numbers scientific-notation

Last synced: 21 Dec 2024

https://github.com/tfausak/witch

:mage_woman: Convert values from one type into another.

haskell

Last synced: 17 Nov 2024

https://github.com/tcr/corollary

Cross-compiler from Haskell to Rust, plus parser-haskell.

corollary cross-compiler haskell parsing-library rust

Last synced: 31 Oct 2024

https://github.com/kowainik/prolens

👓 Profunctor based lightweight implementation of Lenses

hacktoberfest haskell lens lenses prisms profunctor-optics profunctors traversal

Last synced: 29 Oct 2024

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

Haskell language support for Atom

atom grammar haskell

Last synced: 09 Nov 2024

https://github.com/chshersh/dr-cabal

📊 Haskell dependencies build times profiler

colour hacktoberfest hacktoberfest2022 haskell pretty profile terminal

Last synced: 29 Oct 2024

https://github.com/isovector/suavemente

:dancer: an applicative functor that seamlessly talks to HTML inputs

applicative-functors diagrams haskell html websockets

Last synced: 07 Nov 2024

https://github.com/saurabhnanda/odd-jobs

Haskell job queue with admin UI and loads of other features.

hacktoberfest haskell job-queue odd-jobs

Last synced: 12 Nov 2024

https://github.com/xtendo-org/chips

A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell

fish haskell

Last synced: 01 Nov 2024

https://github.com/balsoft/lambda-launcher

Application launcher in haskell. Mostly Just For Fun.

haskell haskell-application lambda launcher

Last synced: 25 Dec 2024

https://github.com/robrix/starlight

spaceships in space

game haskell opengl

Last synced: 22 Oct 2024

https://github.com/rhysd/ghci-color

colorize ghci output

color ghci haskell

Last synced: 08 Nov 2024

https://github.com/siraben/mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

c combinatory-logic compiler graph-reduction haskell hindley-milner parser-combinators

Last synced: 22 Oct 2024

https://github.com/haskell-things/hslice

HSlice - A Haskell based slicer for 3D printing.

3d-printing haskell implicitcad projective-geometric-algebra slicer

Last synced: 06 Nov 2024

https://github.com/leventerkok/harduino

Control your Arduino board from Haskell, using the Firmata protocol

arduino haskell

Last synced: 27 Oct 2024

https://github.com/mroman42/mikrokosmos

(λ) Educational lambda calculus interpreter

haskell interpreter lambda-calculus

Last synced: 27 Oct 2024

https://github.com/i-am-tom/learn-me-a-haskell

Trying to get back all the stuff I had in JavaScript.

dependent-types ghc haskell type-level-programming

Last synced: 28 Oct 2024

https://github.com/jaalonso/lecturas_glc

Readings on computational logic, interactive theorem proving and functional programming.

coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog

Last synced: 25 Dec 2024

https://github.com/apauley/HollingBerries

A fictional scenario implemented in multiple languages in order to compare language paradigms.

clojure erlang haskell python ruby scala smalltalk toy-problems

Last synced: 15 Nov 2024

https://github.com/alexmingoia/twain

Tiny web application framework for WAI.

framework haskell web web-framework webapp-framework

Last synced: 22 Dec 2024

https://github.com/apauley/hollingberries

A fictional scenario implemented in multiple languages in order to compare language paradigms.

clojure erlang haskell python ruby scala smalltalk toy-problems

Last synced: 28 Oct 2024

https://github.com/soywod/unfog.vim

⏱ Vim plugin for Unfog CLI task & time manager.

haskell task-manager taskwarrior time-tracker vim vim-plugin viml vimscript worktime

Last synced: 28 Oct 2024

https://github.com/tfausak/wuss

:lock: Secure WebSocket (WSS) clients in Haskell.

haskell

Last synced: 17 Nov 2024

https://github.com/kowainik/shellmet

🐚 Out of the shell solution for scripting in Haskell

haskell scripting shell

Last synced: 19 Dec 2024

https://github.com/ryukinix/discrete-mathematics

A computational way to study discrete mathematics using Haskell

computer-science discrete-mathematics haskell mathematics

Last synced: 05 Nov 2024

https://github.com/ncaq/dic-nico-intersection-pixiv

ニコニコ大百科とピクシブ百科事典の共通部分のIME辞書

dictionary google-ime google-japanese-input haskell ime japanese mozc niconico pixiv

Last synced: 18 Dec 2024

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

Modern library for working with URIs

haskell uri

Last synced: 27 Dec 2024

https://github.com/yamafaktory/pattern-guard

JavaScript pattern guards 💂

guards haskell pattern-guard

Last synced: 07 Nov 2024

https://github.com/bollu/timi

A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages

haskell interpreter language lazy-evaluation

Last synced: 25 Dec 2024

https://github.com/haskell/filepath

Haskell FilePath core library

haskell

Last synced: 22 Dec 2024

https://github.com/alanz/ghc-exactprint

GHC version of haskell-src-exts exactPrint

ghc haskell

Last synced: 27 Oct 2024

https://github.com/takenobu-hs/haskell-ethereum-assembly

EVM (Ethereum virtual machine) Assembly on Haskell DSL

assembly-language ethereum ethereum-virtual-machine evm haskell

Last synced: 12 Oct 2024

https://github.com/chiroptical/declarative-programming-streams

Active streaming declarative programmers. See who's online at the following URL:

haskell stream

Last synced: 27 Oct 2024

https://github.com/domenkozar/hnix-lsp

Language Server Protocol for Nix

haskell lsp nix

Last synced: 07 Dec 2024

https://github.com/itchyny/miv

Vim plugin manager written in Haskell

haskell vim vim-plugin-manager vimrc

Last synced: 28 Oct 2024

https://github.com/vaibhavsagar/duffer

A git-compatible content tracker in Haskell.

git haskell

Last synced: 28 Oct 2024

https://github.com/guibou/PyF

Haskell QuasiQuoter for String Formatting

formatting haskell

Last synced: 12 Nov 2024

https://github.com/kowainik/validation-selective

💂‍♂️ Lightweight pure validation based on Applicative and Selective functors

applicative functors haskell haskell-libraries selective validation

Last synced: 12 Nov 2024

https://github.com/kowainik/colourista

‎️‍🌈 Convenient interface for printing colourful messages

ansi colours hacktoberfest haskell haskell-library pretty-printing terminal

Last synced: 24 Dec 2024

https://github.com/elaforge/karya

music sequencer and generalized notation

haskell midi midi-sequencer music music-composition music-notation

Last synced: 27 Oct 2024

https://github.com/turion/essence-of-live-coding

Universal Live Coding & Functional Reactive Programming Framework

frp hacktoberfest haskell live-coding

Last synced: 26 Dec 2024

https://github.com/spl/dlist

Difference lists in Haskell

data-structures difference-lists haskell

Last synced: 22 Dec 2024

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

Logging framework for Haskell

haskell logging logging-library

Last synced: 22 Dec 2024

https://github.com/takenobu-hs/lazy_evaluation

haskell lazy evaluation illustrated

ghc haskell

Last synced: 07 Nov 2024

https://github.com/jaseemabid/olifant

A simple programming language targeting LLVM

clang compiler haskell llvm

Last synced: 24 Nov 2024

https://github.com/owainlewis/http-dispatch

A high level HTTP client for Haskell that focuses on ease of use

haskell http-client

Last synced: 15 Oct 2024

https://github.com/achirkin/vulkan

Low-level low-overhead haskell bindings to vulkan API

graphics haskell haskell-library vulkan vulkan-api

Last synced: 29 Oct 2024

https://github.com/roman/haskell-capataz

OTP-like supervision trees in Haskell

concurrency haskell supervisor

Last synced: 15 Nov 2024

https://github.com/ethercrow/opentelemetry-haskell

The OpenTelemetry Haskell Client https://opentelemetry.io

distributed-tracing haskell observability opentelemetry serious-business

Last synced: 14 Oct 2024

https://github.com/sharkdp/yinsh

A web-based version of the board game Yinsh

abstract-game board-game game haskell hexagonal-grids website

Last synced: 26 Dec 2024

https://github.com/sectore/haskell-elm-todo-app

Todo app build with Haskell (server-side) and Elm (client-side)

elm haskell servant

Last synced: 12 Nov 2024

https://github.com/jabbalaci/SpeedTests

comparing the execution speeds of various programming languages

benchmark c clang cpp csharp d dart go haskell hyperfine java kotlin linux lua nim polyglot pypy3 python3 rust zig

Last synced: 06 Nov 2024

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

batteries-included nix-based haskell project template

haskell nix

Last synced: 26 Dec 2024

https://github.com/migamake/homplexity

Haskell code complexity and quality measurement

code-quality complexity hackage hacktoberfest2019 haskell quality

Last synced: 05 Dec 2024

https://github.com/tmcgilchrist/postgresql-transactional

Transactional monadic actions on top of PostgreSQL.

haskell postgresql

Last synced: 28 Oct 2024

https://github.com/samtay/conway

A terminal interface for Conway's Game of Life

brick conway grid haskell terminal-app vty

Last synced: 09 Nov 2024

https://github.com/Southern-Exposure-Seed-Exchange/southernexposure.com

Southern Exposure's E-Commerce Website, Built with Haskell & Elm.

bootstrap4 e-commerce ecommerce elm haskell servant webshop website

Last synced: 22 Nov 2024

https://codeberg.org/xmobar/xmobar

A minimalist status bar

haskell status-panel statusbar xmobar xmonad

Last synced: 31 Oct 2024

https://github.com/samtay/snake

A terminal interface for Snake

brick haskell haskell-tutorial snake-game terminal-game vty

Last synced: 09 Nov 2024

https://github.com/mrkkrp/ghc-syntax-highlighter

Syntax highlighter for Haskell using the lexer of GHC

ghc haskell syntax-highlighting

Last synced: 26 Dec 2024

https://github.com/kowainik/issue-wanted

🏷 Web application to help beginners to start contributing into Haskell projects

backend github-issues gsoc-2019 haskell three-layer-architecture web-application

Last synced: 12 Nov 2024

https://github.com/bkomuves/toy-language-server

Example language server (LSP) implementation for a toy language

haskell language-server language-server-protocol lsp

Last synced: 12 Nov 2024

https://github.com/corsis/clock

High-resolution clock functions: monotonic, realtime, cputime.

bsd c clock cpu cputime cross-platform darwin hackage haskell library linux macos monotonic performance realtime system time timespec timing windows

Last synced: 24 Dec 2024

https://github.com/kowainik/eio

🎯 IO with Exceptions tracked on the type-level

haskell haskell-library io type-level

Last synced: 12 Oct 2024

https://github.com/csabahruska/jhc-components

JHC Haskell compiler split into reusable components

c c-backend compiler functional-programming grin haskell jhc multiplatform optimizer

Last synced: 28 Oct 2024

https://github.com/basvandijk/monad-control

Lift control operations, like exception catching, through monad transformers

haskell

Last synced: 23 Dec 2024

https://github.com/cchantep/dhek

PDF template design app./UI (or on the Discworld, supreme Djelibeybian god)

gtk haskell pdf template

Last synced: 28 Oct 2024

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

Tools for exporting blockchain data to analytical databases

analytics blockchain haskell

Last synced: 05 Nov 2024

https://github.com/pkamenarsky/concur-static

Generate semi-dynamic UIs with Concur

elm-architecture haskell static-site-generator ui virtual-dom

Last synced: 08 Nov 2024

https://github.com/mrkkrp/facts

Refined types

haskell refinement-types

Last synced: 27 Oct 2024

https://github.com/vmchale/kempe

Kempe is a compiled stack-based language

aarch64 haskell languages stack-based stack-based-language x86-64

Last synced: 18 Nov 2024