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/itchyny/vim-haskell-indent

If the plugin does not work for some syntax, feel free to report to the issue tracker!

haskell vim vim-indent vim-plugin

Last synced: 26 Oct 2024

https://github.com/grin-compiler/haskell-code-spot

Visual tool to spot odd runtime behaviour of Haskell programs.

d3js debugger eventlog ghc haskell profiler visualization web-ui

Last synced: 06 Nov 2024

https://github.com/turion/rhine

Haskell Functional Reactive Programming framework with type-level clocks

clock frp hacktoberfest haskell haskell-library resampling scheduling

Last synced: 01 Nov 2024

https://github.com/aelve/guide

A workspace for research teams

documentation haskell research wiki

Last synced: 12 Nov 2024

https://github.com/cronokirby/haze

A bittorrent client, for learning purposes

bittorrent bittorrent-client bittorrent-protocol haskell

Last synced: 10 Aug 2024

https://github.com/marcosh/crem

Compositional Representable Executable Machines

hacktoberfest haskell nix state-machine

Last synced: 08 Nov 2024

https://github.com/y-taka-23/thank-you-stars

Give your dependencies stars on GitHub! ๐ŸŒŸ

developer-tools github github-api haskell star

Last synced: 10 Aug 2024

https://github.com/sdiehl/repline

Haskeline wrapper for GHCi-like REPL interfaces

command-line haskell haskell-library readline repl

Last synced: 10 Aug 2024

https://github.com/xmonad/x11

A Haskell binding to the X11 graphics library.

hacktoberfest haskell x11 xmonad

Last synced: 06 Nov 2024

https://github.com/xmonad/X11

A Haskell binding to the X11 graphics library.

hacktoberfest haskell x11 xmonad

Last synced: 09 Nov 2024

https://github.com/serokell/importify

:space_invader: Importi.fy โ€” it's like Uber, but for Haskell modules.

haskell imports refactoring-tools

Last synced: 12 Nov 2024

https://github.com/smallhadroncollider/ascii-runner

An infinite runner in your terminal

command-line game haskell infinite-runner sillyness

Last synced: 10 Aug 2024

https://github.com/luc-tielen/souffle-haskell

Haskell bindings for the Souffle datalog language

bindings datalog haskell souffle-datalog-language

Last synced: 29 Oct 2024

https://github.com/dewey92/typed-fp-good-reads

๐Ÿ“š List of useful resources to learn typed FP

functional-programming haskell purescript types

Last synced: 12 Nov 2024

https://github.com/utdemir/hs-nix-template

A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.

hacktoberfest haskell nix template-project

Last synced: 27 Oct 2024

https://github.com/tfausak/github-release

:octocat: Upload files to GitHub releases.

haskell

Last synced: 09 Nov 2024

https://github.com/leopiney/tensor-safe

A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

ai deep-learning dependent-types functional-programming haskell haskell-library machine-learning

Last synced: 03 Nov 2024

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: 12 Nov 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: 12 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/dhall-lang/dhall-to-cabal

Compile Dhall expressions to Cabal files

cabal dhall haskell packaging

Last synced: 02 Nov 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/dwayne/haskell-programming

My notes and solutions to exercises for the book "Haskell Programming from first principles".

haskell haskellbook

Last synced: 06 Nov 2024

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

JSON decoding/encoding/manipulation library.

haskell haskell-library json json-parser json-serialization

Last synced: 12 Nov 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/dustin/gopro

Tools for making the most out of GoPro Plus.

cloud gopro haskell media

Last synced: 27 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/lazamar/haskell-docs-cli

Browse Hackage from the terminal

cli command-line haskell

Last synced: 12 Nov 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/monadfix/named

Named parameters (keyword arguments) for Haskell

haskell

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

An aggregation of all online content related to Haskell.

haskell haskell-news

Last synced: 09 Nov 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/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/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/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: 12 Nov 2024

https://github.com/haskell/stm

Software Transactional Memory

ghc haskell software-transactional-memory stm

Last synced: 07 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/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: 12 Nov 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/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/abarbu/matplotlib-haskell

Haskell bindings for Python's Matplotlib

charts haskell matplotlib plot

Last synced: 26 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/blackhole89/macros

A more powerful C/C++ preprocessor.

algebraic-data-types c cplusplus haskell macros preprocessor

Last synced: 28 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/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/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/nikita-volkov/jsonifier

Fast and simple JSON encoding toolkit

bytestring haskell json marshalling serialization

Last synced: 26 Oct 2024

https://github.com/ekmett/linear-logic

They see me rollin'. They're Heyting. -- Chamillionaire, 2005

category-theory chu-spaces haskell linear-logic math proof

Last synced: 08 Nov 2024

https://github.com/zmactep/hasbolt

Haskell driver for Neo4j 3+ (BOLT protocol)

hackage haskell haskell-driver neo4j-driver

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

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

haskell wxwidgets

Last synced: 09 Nov 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/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: 11 Nov 2024

https://github.com/hlian/linklater

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

confused dazed haskell slack websocet

Last synced: 12 Nov 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/IHaskell/ihaskell-notebook

IHaskell image for Jupyter Docker Stacks

haskell jupyter

Last synced: 30 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: 09 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/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/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: 12 Nov 2024

https://github.com/tfausak/witch

:mage_woman: Convert values from one type into another.

haskell

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

Arbitrary-precision floating-point numbers represented using scientific notation

haskell numbers scientific-notation

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