sheaf Goto Github PK

acts

Haskell library for semigroup actions and torsors

alex

A lexical analyser generator for Haskell

algebraic-structures

async

Run IO operations asynchronously and wait for their results

binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

c2hs

c2hs is a pre-processor for Haskell FFI bindings to C libraries

cabal

Official upstream development repository for Cabal and cabal-install

cimgui

c-api for imgui (https://github.com/ocornut/imgui) lookat: https://github.com/cimgui for other widgets

computational-algebra

General-Purpose Computer Algebra System as an EDSL in Haskell

containers

Assorted concrete container types

core-libraries-committee

dear-imgui.hs

Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

dunai

Implementation of Monadic Stream Functions supporting Classic and Arrowized Functional Reactive Programming, and Stream programming

eigen

Haskell bindings to the Eigen C++ library

error-message-index

exists

Existential datatypes holding evidence of constraints

fbghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals.

generic-data

Generic data types in Haskell, utilities for GHC.Generics

generic-labels

Labelled arguments with optional parameters in Haskell, using generic-lens

generic-lens

Generically derive traversals, lenses, and prisms.

generics-sop

Generic Programming using True Sums of Products

ghc-constraint-solver

Slides for my talk at Haskell eXchange 2021

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ghc-renamer

Slides for my talk at the GHC contributors' workshop (2023)

ghc-tcplugin-api

An interface for GHC type-checking plugins

ghc-tcplugins-extra

Utilities for writing GHC type-checker plugins

ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

ghcide

A library for building Haskell IDE tooling

gi-cairo-render

Haskell GI friendly bindings to the Cairo library