up-do Goto Github PK

.github

awesome-dhall

A curated list of awesome dhall-lang

cabal

Official upstream development repository for Cabal and cabal-install

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

cryptol

Cryptol: The Language of Cryptography

dex-lang

Research language for array processing in the Haskell/ML family

elm-compiler

Compiler for Elm, a functional language for reliable webapps.

futhark

:boom::computer::boom: A data-parallel functional programming language

hledger

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

hlint-plugin

GHC plugin for hlint

klister

an implementation of stuck macros

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquidhaskell

Liquid Types For Haskell

pandoc

Universal markup converter

persistent

Persistence interface for Haskell allowing multiple storage methods.

plutus

The Plutus language implementation and tools

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

stack

The Haskell Tool Stack

stan

🕵️ Haskell STatic ANalyser

unison

A friendly programming language from the future

www.haskell.org

www.haskell.org site source

yesod

A RESTful Haskell web framework built on WAI.