Giters
Donnacha Oisín Kidney (oisdk)

oisdk

Geek Repo

130

followers

87

following

146

stars

Location:Cork, Ireland

Home Page:https://doisinkidney.com/

Twitter:@oisdk

Github PK Tool:Github PK Tool

Donnacha Oisín Kidney's starred repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2477Issues:64Issues:5491

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

Language:HaskellStargazers:676Issues:17Issues:210

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:575Issues:29Issues:1016

concat

Compiling to Categories

Language:HaskellLicense:BSD-3-ClauseStargazers:436Issues:29Issues:50

massiv

Efficient Haskell Arrays featuring Parallel computation

Language:HaskellLicense:BSD-3-ClauseStargazers:384Issues:16Issues:83

mtl

The Monad Transformer Library

Language:HaskellLicense:NOASSERTIONStargazers:364Issues:22Issues:77

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Language:HaskellLicense:NOASSERTIONStargazers:360Issues:25Issues:252

linear-base

Standard library for linear types in Haskell.

Language:HaskellLicense:MITStargazers:333Issues:32Issues:166

trifecta

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

Language:HaskellLicense:NOASSERTIONStargazers:297Issues:24Issues:45

singletons

Fake dependent types in Haskell using singletons

Language:HaskellStargazers:286Issues:17Issues:397

Vinyl

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Language:HaskellLicense:MITStargazers:261Issues:14Issues:103

silica

optics for Haskell with the most amazing type errors you've seen

Language:HaskellLicense:BSD-3-ClauseStargazers:243Issues:18Issues:3

unordered-containers

Efficient hashing-based container types

Language:HaskellLicense:BSD-3-ClauseStargazers:221Issues:12Issues:222

inspection-testing

Inspection Testing for Haskell

Language:HaskellLicense:MITStargazers:173Issues:13Issues:30

free

free monads

Language:HaskellLicense:NOASSERTIONStargazers:161Issues:19Issues:82

validation

A data-type like Either but with an accumulating Applicative

Language:HaskellLicense:NOASSERTIONStargazers:99Issues:7Issues:27

visualize-cbn

Language:HaskellLicense:BSD-3-ClauseStargazers:96Issues:12Issues:7

idris-tparsec

TParsec - Total Parser Combinators in Idris

Language:IdrisLicense:GPL-3.0Stargazers:93Issues:8Issues:22

checkers

Check properties on standard classes and data structures

Language:HaskellLicense:NOASSERTIONStargazers:79Issues:7Issues:22

recursion_schemes

Recursion schemes for Idris

Language:IdrisLicense:BSD-3-ClauseStargazers:64Issues:6Issues:6

almost-complexity

complexity testing for haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:47Issues:2Issues:1

distributive

Dual Traversable

Language:HaskellLicense:NOASSERTIONStargazers:41Issues:12Issues:25

semirings

semirings and *-semirings of types in base/haskell-platform

Language:HaskellLicense:BSD-3-ClauseStargazers:40Issues:5Issues:44

Pivotal

Language:AgdaStargazers:30Issues:5Issues:0

tree-traversals

Functions and newtype wrappers for traversing Trees

Language:HaskellLicense:NOASSERTIONStargazers:29Issues:3Issues:3

haskell

A geometric algebra implementation in Haskell

Language:HaskellLicense:MITStargazers:28Issues:10Issues:1

streams

Haskell 2010 stream comonads

Language:HaskellLicense:NOASSERTIONStargazers:22Issues:11Issues:8

collections-ng

Stable Array, Dict and Set implementations for Elm

Language:ElmLicense:BSD-3-ClauseStargazers:14Issues:2Issues:0

Gigs-Summer-2018

what I did on my holidays

Language:AgdaStargazers:12Issues:3Issues:0

unique

A uniquely represented dictionary

Language:HaskellLicense:MITStargazers:3Issues:2Issues:0