Discover ekmett/category-extras Open Source project

Stars
17
Rank 1,257,181 (Top 25 %)
Language
Haskell
License
Other
Created over 14 years ago
Updated over 14 years ago

ekmett

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

category-theoretic goodness for Haskell

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Haskell

2,030

Automatic Differentiation

Haskell

370

machines

Networks of composable stream transducers

Haskell

340

trifecta

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

Haskell

297

guanxi

Relational programming in Haskell. Mostly developed on twitch.

Haskell

253

quine

haskell, opengl, toy project

Haskell

210

linear

Low-dimensional linear algebra primitives for Haskell.

Haskell

198

propagators

The Art of the Propagator. See also:

Haskell

167

coda

A language experiment -- irc.freenode.net ##coda

free

hask

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

Haskell

161

discrimination

Fast linear time sorting and discrimination for a large class of data types

Haskell

134

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Haskell

121

reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms

Haskell

102

algebra

constructive abstract algebra

Haskell

succinct

playground for working with succinct data structures

Haskell

Complete raw OpenGL bindings for Haskell

Haskell

parsers

Generic parser combinators

linear-logic

comonad

tables

Deprecated because of

Haskell

semigroupoids

Haskell

kan-extensions

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

Haskell

contravariant

Haskell 98 contravariant functors

Haskell

constraints

Tools for programming with ConstraintKinds in GHC

Haskell

profunctors

Haskell 98 Profunctors

Haskell

cadenza

every day i'm truffling

Kotlin

codex

UI experiments for coda

Haskell

approximate

Approximate discrete values and numbers

Haskell

structures

A playground for working on advanced data structures in Haskell

Haskell

ersatz

A monad for interfacing with external SAT solvers

Haskell

semigroups

Haskell 98 semigroups

Haskell

bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

Haskell

either

the EitherT monad transformer

Haskell

unpacked-containers

Unpacked containers using backpack

Haskell

exceptions

mtl friendly exceptions

Haskell

structs

Exploring how to make a strict imperative universe in the GHC runtime system.

Haskell

reducers

Semigroups, specialized containers and a general map/reduce framework

adjunctions

auth

distributive

graphs

a monadic graph library

Haskell

zippers

Zippers based on lenses and traversals

Haskell

tagged

phantom types

Haskell

unboxed

experimenting with unlifted classes via backpack

Haskell

perhaps

A monad, perhaps.

Haskell

rounded

MPFR bindings for Haskell

Haskell

hyphenation

Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files

Haskell

categories

categories from category-extras

Haskell

transients

Clojure-style transients for Haskell

Haskell

concurrent

Yet another concurrent playground

Haskell

abelian

Commutative Applicatives and Semigroups

Haskell

hkd

higher-kinded data

Haskell

speculation

Safe, programmable, speculative evaluation for Haskell

Haskell

rts

spmd-on-simd stuff

C++

placeholder

todo and unimplemented, robustly implemented

promises

intervals

heaps

Asymptotically optimal Brodal/Okasaki heaps

Haskell

intern

Hash consing for arbitrary Haskell data types

Haskell

hyperloglog

A constant-memory approximation of set membership

Haskell

magpie

an exploration of subtyping-based category theory in scala

Scala

lca

Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing

Haskell

sparse

sparse matrices in Morton order

Haskell

indexed

Indexed Functors for GHC 7.6

Haskell

streams

Haskell 2010 stream comonads

Haskell

keys

keyed functors

Haskell

bytes

Serialization primitives that work with both cereal and binary.

Haskell

pointed

pointed and copointed data

Haskell

scala-ad

Forward- and Reverse-Mode Automatic Differentiation for Scala

Scala

nothing to see here

C++

name

nominal sets in haskell

Haskell

rope

Fingertrees of Bytestrings

Haskell

jitplusplus

a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly

void

Provides Data.Void, which is in base since ghc 7.8 or so

Haskell

scheme-monads

minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros

Scheme

fractions

lazy continued fractions

Haskell

parsnip

Haskell

folds

Folds and sequence algebras

Haskell

concurrent-supply

A fast globally unique variable supply with a pure API

Haskell

thc

An experimental "Turbo" Haskell Runtime - Nothing really to see here yet

C++

lens-action

Control.Lens.Action

Haskell

bad

a playground for working with fully static tensors and automatic differentiation

C++

homotopy

Coq

rcu

experimenting with STM-backed read-copy-update in Haskell

Haskell

multicategories

Playing around with multicategories and operads

Haskell

Poor Richard's Memory Manager

Haskell

scala-attoparsec

A port of Bryan O'Sullivan's attoparsec from Haskell to Scala

Scala

kanso

just a place to throw some coding experiements while i re-re-re-learn rust

Rust

hyperfunctions

playing with hyperfunctions

Haskell

succinct-binary

Succinct binary serialization

Haskell

half

half-precision floating-point

Haskell

time-series

Playing with time series

Haskell

codebruijn

experiments with pext/pdep and codebruijn syntax

Haskell

haskell

An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.

Haskell

keep

playing with resumable computations

Haskell

compensated

Compensated floating-point arithmetic

Haskell

Leibnizian type equality

Haskell

nbe-in-java-19

a throwaway implementation of normalization by evaluation

Java

100

bits

Bit twiddling and bitwise serialization primitives

Haskell

ekmett/category-extras

ekmett

Reviews

Repository Details

More Repositories