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/jcouyang/grokking-monad

购买 :point_right: https://gum.co/grokking-monad 在线阅读 :point_right:

grokking haskell monad scala

Last synced: 27 Oct 2024

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/monadfix/named

Named parameters (keyword arguments) for Haskell

haskell

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/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/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/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/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/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/haskell/stm

Software Transactional Memory

ghc haskell software-transactional-memory stm

Last synced: 07 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/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: 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/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/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/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/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/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/mrkkrp/zip

Efficient library for manipulating zip archives

compression haskell zip

Last synced: 29 Oct 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/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/pwm/nixkell

A simple Nix-Haskell skeleton

haskell nix skeleton

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

Haskell protocol-buffers package

haskell protocol-buffers

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

Haskell FFI bindings to CUDA

cuda ffi-bindings haskell

Last synced: 31 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/alt-romes/hegg

Fast equality saturation in Haskell

egraphs equality-saturation haskell

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

Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit

game haskell spritekit

Last synced: 28 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/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/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/basvandijk/scientific

Arbitrary-precision floating-point numbers represented using scientific notation

haskell numbers scientific-notation

Last synced: 30 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/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/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/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: 26 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/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/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/mrkkrp/modern-uri

Modern library for working with URIs

haskell uri

Last synced: 26 Oct 2024

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

JavaScript pattern guards 💂

guards haskell pattern-guard

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