sheaf's repositories

generic-labels

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

Language:HaskellStargazers:1Issues:2Issues:0

alex

A lexical analyser generator for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

c2hs

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

cimgui

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

Language:LuaLicense:MITStargazers:0Issues:1Issues:0

dunai

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

exists

Existential datatypes holding evidence of constraints

License:NOASSERTIONStargazers:0Issues:0Issues:0

finite-typelits

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

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

generic-data

Generic data types in Haskell, utilities for GHC.Generics

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

ghcide

A library for building Haskell IDE tooling

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

gi-cairo-render

Haskell GI friendly bindings to the Cairo library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

haskell-lsp

Haskell library for the Microsoft Language Server Protocol

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

map-plugin

Test type-checker plugin for type-level maps

Language:HaskellStargazers:0Issues:2Issues:0

monad-control

Lift control operations, like exception catching, through monad transformers

License:BSD-3-ClauseStargazers:0Issues:0Issues:0
License:GPL-2.0Stargazers:0Issues:0Issues:0

primitive-unlifted

the PrimUnlifted typeclass, an interface arrays of unlifted values

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

superrecord

Haskell: Supercharged anonymous records

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

tcplugins-zurihac2020

ZuriHac 2020 GHC typechecker plugins project

Language:HTMLStargazers:0Issues:0Issues:0

text-short

Memory-efficient representation of Unicode text strings

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

tracing

A simple physically-based path tracer

License:ISCStargazers:0Issues:0Issues:0

transformers-base

Haskell library for lifting actions from the bottom of a monad transformer stack

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

unary-scheduling

Constraint propagation algorithms for unary resource scheduling

Language:HaskellStargazers:0Issues:0Issues:0

unlifted

experimenting with unlifted classes via backpack

License:NOASSERTIONStargazers:0Issues:0Issues:0

unordered-containers

Efficient hashing-based container types

License:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

vscode-theme-gruvbox

Gruvbox theme for vscode based on https://github.com/morhetz/gruvbox

Language:JavaScriptStargazers:0Issues:1Issues:0