David Feuer (treeowl)

treeowl

Geek Repo

Github PK Tool:Github PK Tool


Organizations
runtimeverification

David Feuer's repositories

containers

Assorted concrete container types

Language:HaskellStargazers:4Issues:2Issues:0

atomic-modify-general

Generalizations of Haskell's atomicModifyIORef

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

async

Run IO operations asynchronously and wait for their results

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

bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

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

bitvec

Bit vectors: 8x less memory, up to 1000x faster than Vector Bool

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

dump

Dumps the names and values of expressions to ease debugging

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

gotta-go-fast

A command line utility for practicing typing and measuring your WPM and accuracy.

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

Haskell-Foundations

A repository to explore a path towards understanding Haskell basic principles

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

haskell-lockfree

A collection of different packages for CAS based data structures.

Language:HaskellStargazers:0Issues:2Issues:0

haskell-magic-wormhole

Magic Wormhole for Haskell

License:Apache-2.0Stargazers:0Issues:0Issues:0

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

Language:HaskellStargazers:0Issues:0Issues:0

indexed-traversable

FunctorWithIndex, FoldableWithIndex, TraversableWithIndex

Language:HaskellStargazers:0Issues:0Issues:0

intern

Hash consing for arbitrary Haskell data types

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

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

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

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

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

linear-base

Standard library for linear types in Haskell.

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

linear-generics

Support for linearly-typed generics in Haskell

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

optics

Optics as an abstract interface

Language:HaskellStargazers:0Issues:0Issues:0

pqueue

Haskell priority queue package

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

pqueue-bootstrapped

Compact Brodal-Okasaki queues based on lazy binomial heaps.

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

primitive

This package provides various primitive memory-related operations.

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

primitive-unlifted

the PrimUnlifted typeclass, an interface arrays of unlifted values

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

PSQueue

Priority Search Queue

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

psqueues

Priority Search Queues in three different flavors for Haskell

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

roles

An alternative, composable model of RoleAnnotations via type classes

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

typelits-printf

Type-safe printf from parsing GHC TypeLits Symbol

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

uhc-util

Utilities required by UHC (Utrecht Haskell Compiler)

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

unordered-containers

Efficient hashing-based container types

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

wire-server

🇪🇺 Wire back-end services

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0