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/stackbuilders/hapistrano

Deploy tool for Haskell applications, like Capistrano for Rails

capistrano continuous-deployment deployment hacktoberfest hacktoberfest2023 haskell haskell-applications

Last synced: 02 Aug 2024

https://github.com/dhall-lang/dhall-to-cabal

Compile Dhall expressions to Cabal files

cabal dhall haskell packaging

Last synced: 02 Nov 2024

https://github.com/input-output-hk/stack2nix

Generate nix expressions for Haskell projects

haskell nix stack stackage

Last synced: 15 Aug 2024

https://github.com/kowainik/typerep-map

โšก๏ธEfficient implementation of Map with types as keys

arrays binary-search cache dependent-map dmap hacktoberfest haskell typerep-map

Last synced: 02 Aug 2024

https://github.com/hercules-ci/hercules-ci-agent

https://hercules-ci.com build and deployment agent

ci continuous-integration haskell nix nix-packages nixos-module

Last synced: 11 Oct 2024

https://github.com/wzhouwzhou/one-line-wonders

OneLineWondersCode | 1000+ Commits | 279/300 One Liners | 200+ Forks | Actively maintained open-source collection of "one-line" programs performing various tasks in different languages

bash coffeescript cpp gpl3 hacktoberfest hacktoberfest2021 haskell help-wanted javascript maintained nodejs one-line open-source pascal perl php powershell python r typescript

Last synced: 01 Nov 2024

https://github.com/Platonic-Systems/process-compose-flake

A `flake-parts` module to spin up processes for development by leveraging `process-compose`

flake flake-parts flakes haskell nix nixos process-compose purescript

Last synced: 02 Aug 2024

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

JSON decoding/encoding/manipulation library.

haskell haskell-library json json-parser json-serialization

Last synced: 02 Aug 2024

https://github.com/dustin/gopro

Tools for making the most out of GoPro Plus.

cloud gopro haskell media

Last synced: 27 Oct 2024

https://github.com/tych0/xcffib

A drop-in replacement for xpyb based on cffi

cffi haskell python x11 xcb xcb-proto xpyb

Last synced: 12 Oct 2024

https://github.com/composewell/packcheck

Universal build and CI testing for Haskell packages

build continuous-integration haskell test

Last synced: 02 Aug 2024

https://github.com/monadfix/named

Named parameters (keyword arguments) for Haskell

haskell

Last synced: 12 Oct 2024

https://github.com/snowdriftcoop/snowdrift

Infrastructure for Snowdrift.coop. This is a MIRROR of https://gitlab.com/snowdrift/snowdrift. Your issue reports and merge requests are welcome, but they will be moved to gitlab.com. You are encouraged to start there instead!

coop haskell

Last synced: 04 Nov 2024

https://github.com/konn/computational-algebra

General-Purpose Computer Algebra System as an EDSL in Haskell

algorithm computational-algebra groebner-basis haskell ideal math mathematics polynomial

Last synced: 01 Nov 2024

https://github.com/2016rshah/heckle

:black_nib: Jekyll in Haskell (feat. LaTeX)

blog-engine haskell jekyll latex static-site-generator

Last synced: 11 Oct 2024

https://github.com/diekmann/iptables_semantics

Verified iptables Firewall Ruleset Analysis

access-control firewall haskell iptables ipv4 ipv6 isabelle security

Last synced: 29 Oct 2024

https://github.com/haskellnews/haskellnews

An aggregation of all online content related to Haskell.

haskell haskell-news

Last synced: 02 Aug 2024

https://github.com/ypares/porcupine

Express parametrable, composable and portable data pipelines

analytics haskell reproducible-research workflows

Last synced: 12 Oct 2024

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

Haskell Language Report

haskell specification

Last synced: 07 Oct 2024

https://github.com/google/mlir-hs

Haskell bindings for MLIR

haskell llvm mlir

Last synced: 04 Aug 2024

https://github.com/haskellweekly/haskellweekly.github.io

A free weekly newsletter about the Haskell programming language.

haskell newsletter

Last synced: 02 Aug 2024

https://github.com/rumblesan/improviz

DEPRECATED: A live-coded visual performance tool

algorave deprecated graphics haskell live-coding livecoding visual vjing

Last synced: 27 Oct 2024

https://github.com/haskell/stm

Software Transactional Memory

ghc haskell software-transactional-memory stm

Last synced: 07 Oct 2024

https://github.com/rmehri01/thock

โŒจ๏ธ A modern TUI typing game featuring online racing against friends.

brick haskell tui typing-practice websockets

Last synced: 31 Oct 2024

https://github.com/bodigrim/linear-builder

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

buffer builder bytestring concatenation haskell linear-types strict-types string-buffer string-builder string-manipulation stringbuffer stringbuilder text unicode

Last synced: 30 Oct 2024

https://github.com/andys8/type-signature-com

Who Wants to Be a Millionaire - but with types

game haskell types

Last synced: 27 Oct 2024

https://github.com/holmusk/elm-street

:deciduous_tree: Crossing the road between Haskell and Elm

backend code-generation elm frontend haskell web

Last synced: 05 Nov 2024

https://github.com/Holmusk/elm-street

:deciduous_tree: Crossing the road between Haskell and Elm

backend code-generation elm frontend haskell web

Last synced: 04 Aug 2024

https://github.com/lysxia/first-class-families

First-class type families

dependent-types haskell types

Last synced: 29 Oct 2024

https://github.com/sellout/yaya

Yet another yet another recursion scheme library in Haskell.

haskell recursion-schemes

Last synced: 12 Oct 2024

https://github.com/abarbu/matplotlib-haskell

Haskell bindings for Python's Matplotlib

charts haskell matplotlib plot

Last synced: 26 Oct 2024

https://github.com/yvan-sraka/cargo-cabal

A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!

haskell rust

Last synced: 31 Oct 2024

https://github.com/ocharles/what-it-do

Automatically trace all (showable) binds in do expressions

ghc haskell source-plugin

Last synced: 22 Oct 2024

https://github.com/agrafix/funblog

A simple blog software written in Haskell

blog blog-engine functional-programming haskell spock

Last synced: 28 Oct 2024

https://github.com/blackhole89/macros

A more powerful C/C++ preprocessor.

algebraic-data-types c cplusplus haskell macros preprocessor

Last synced: 28 Oct 2024

https://github.com/ice1000/kt2dart

:flashlight: [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

dart flutter haskell kotlin parser parser-combinators

Last synced: 27 Oct 2024

https://github.com/simonmichael/haskell-atom-setup

How to set up and use the Atom IDE for Haskell development in 2016. 2020: Obsolete, use VS Code instead.

haskell haskell-atom-setup haskell-ides howto

Last synced: 28 Oct 2024

https://github.com/chrispenner/json-to-haskell

In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.

haskell json

Last synced: 12 Oct 2024

https://github.com/nikita-volkov/jsonifier

Fast and simple JSON encoding toolkit

bytestring haskell json marshalling serialization

Last synced: 26 Oct 2024

https://github.com/mrkkrp/zip

Efficient library for manipulating zip archives

compression haskell zip

Last synced: 29 Oct 2024

https://github.com/hpdeifel/hledger-iadd

A terminal UI as drop-in replacement for hledger add.

curses finance haskell hledger ledger plaintext-accounting tui ui

Last synced: 02 Nov 2024

https://github.com/Nike-Inc/bartlett

A simple Jenkins command line client to serve your needs.

bartlett command-line command-line-app haskell jenkins jenkins-command nike profile stack workflow

Last synced: 10 Aug 2024

https://github.com/wxHaskell/wxHaskell

MOVED TO https://codeberg.org/wxHaskell/wxHaskell

haskell wxwidgets

Last synced: 02 Aug 2024

https://github.com/pwm/nixkell

A simple Nix-Haskell skeleton

haskell nix skeleton

Last synced: 04 Aug 2024

https://github.com/alhassy/next-700-module-systems

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

agda canonical-structures coq emacs first-class-citizens haskell language lisp metaprogramming modules ocaml phd records typeclasses

Last synced: 10 Oct 2024

https://github.com/zmactep/hasbolt

Haskell driver for Neo4j 3+ (BOLT protocol)

hackage haskell haskell-driver neo4j-driver

Last synced: 29 Oct 2024

https://github.com/hlian/linklater

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

confused dazed haskell slack websocet

Last synced: 02 Aug 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/k-bx/protocol-buffers

Haskell protocol-buffers package

haskell protocol-buffers

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/plclub/hs-to-coq

Convert Haskell source code to Coq source code.

coq haskell

Last synced: 10 Oct 2024

https://github.com/tfausak/rampart

:european_castle: Determine how intervals relate to each other.

haskell

Last synced: 26 Oct 2024

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

See Reflex FRP in action with tinker-friendly code samples you can run yourself.

frp functional-reactive-programming haskell reactive reflex-frp

Last synced: 02 Aug 2024

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

IHaskell image for Jupyter Docker Stacks

haskell jupyter

Last synced: 30 Oct 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/tmcdonell/cuda

Haskell FFI bindings to CUDA

cuda ffi-bindings haskell

Last synced: 31 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: 02 Aug 2024

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

Fast equality saturation in Haskell

egraphs equality-saturation haskell

Last synced: 01 Nov 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/mchakravarty/lazy-lambda

Lazy Lambda โ€” a Flappy Bird clone in Haskell with SpriteKit

game haskell spritekit

Last synced: 28 Oct 2024

https://github.com/tfausak/witch

:mage_woman: Convert values from one type into another.

haskell

Last synced: 26 Oct 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/chshersh/dr-cabal

๐Ÿ“Š Haskell dependencies build times profiler

colour hacktoberfest hacktoberfest2022 haskell pretty profile terminal

Last synced: 29 Oct 2024

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

Haskell language support for Atom

atom grammar haskell

Last synced: 02 Aug 2024

https://github.com/basvandijk/scientific

Arbitrary-precision floating-point numbers represented using scientific notation

haskell numbers scientific-notation

Last synced: 30 Oct 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/isovector/suavemente

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

applicative-functors diagrams haskell html websockets

Last synced: 14 Oct 2024

https://github.com/robrix/starlight

spaceships in space

game haskell opengl

Last synced: 22 Oct 2024

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

Application launcher in haskell. Mostly Just For Fun.

haskell haskell-application lambda launcher

Last synced: 28 Oct 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: 02 Aug 2024

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

colorize ghci output

color ghci haskell

Last synced: 16 Oct 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/eldr-io/hastl

Production ready, modern web-application starter template using haskell and htmx

alpinejs haskell htmx lucid servant tailwindcss template web

Last synced: 12 Oct 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/kowainik/policeman

๐Ÿ‘ฎ Haskell PVP adviser

bristol-hackathon haskell package-maintenance pvp

Last synced: 27 Oct 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/tfausak/wuss

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

haskell

Last synced: 26 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/kowainik/shellmet

๐Ÿš Out of the shell solution for scripting in Haskell

haskell scripting shell

Last synced: 31 Oct 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/alexmingoia/twain

Tiny web application framework for WAI.

framework haskell web web-framework webapp-framework

Last synced: 12 Oct 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: 03 Aug 2024

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

JavaScript pattern guards ๐Ÿ’‚

guards haskell pattern-guard

Last synced: 14 Oct 2024

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

Modern library for working with URIs

haskell uri

Last synced: 26 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/alanz/ghc-exactprint

GHC version of haskell-src-exts exactPrint

ghc haskell

Last synced: 27 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: 15 Aug 2024