• Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    Haskell
  • License
    Other
  • Created over 3 years ago
  • Updated over 3 years ago

Reviews

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

Repository Details

More Repositories

1

lens

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

ad

Automatic Differentiation
Haskell
370
star
3

machines

Networks of composable stream transducers
Haskell
340
star
4

trifecta

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

guanxi

Relational programming in Haskell. Mostly developed on twitch.
Haskell
253
star
6

quine

haskell, opengl, toy project
Haskell
210
star
7

linear

Low-dimensional linear algebra primitives for Haskell.
Haskell
198
star
8

propagators

The Art of the Propagator. See also:
Haskell
167
star
9

coda

A language experiment -- irc.freenode.net ##coda
Haskell
163
star
10

free

free monads
Haskell
161
star
11

hask

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

discrimination

Fast linear time sorting and discrimination for a large class of data types
Haskell
134
star
13

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms
Haskell
121
star
14

reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms
Haskell
102
star
15

algebra

constructive abstract algebra
Haskell
98
star
16

succinct

playground for working with succinct data structures
Haskell
94
star
17

gl

Complete raw OpenGL bindings for Haskell
Haskell
93
star
18

parsers

Generic parser combinators
Haskell
88
star
19

linear-logic

Haskell
82
star
20

comonad

Haskell 98 comonads
Haskell
78
star
21

tables

Deprecated because of
Haskell
78
star
22

semigroupoids

Haskell
75
star
23

kan-extensions

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

contravariant

Haskell 98 contravariant functors
Haskell
72
star
25

constraints

Tools for programming with ConstraintKinds in GHC
Haskell
71
star
26

profunctors

Haskell 98 Profunctors
Haskell
69
star
27

cadenza

every day i'm truffling
Kotlin
67
star
28

codex

UI experiments for coda
Haskell
65
star
29

approximate

Approximate discrete values and numbers
Haskell
64
star
30

structures

A playground for working on advanced data structures in Haskell
Haskell
63
star
31

ersatz

A monad for interfacing with external SAT solvers
Haskell
63
star
32

semigroups

Haskell 98 semigroups
Haskell
62
star
33

bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables
Haskell
57
star
34

either

the EitherT monad transformer
Haskell
55
star
35

unpacked-containers

Unpacked containers using backpack
Haskell
52
star
36

exceptions

mtl friendly exceptions
Haskell
49
star
37

structs

Exploring how to make a strict imperative universe in the GHC runtime system.
Haskell
48
star
38

reducers

Semigroups, specialized containers and a general map/reduce framework
Haskell
46
star
39

adjunctions

Simple adjunctions
Haskell
44
star
40

auth

Haskell
41
star
41

distributive

Dual Traversable
Haskell
41
star
42

graphs

a monadic graph library
Haskell
39
star
43

zippers

Zippers based on lenses and traversals
Haskell
38
star
44

tagged

phantom types
Haskell
37
star
45

unboxed

experimenting with unlifted classes via backpack
Haskell
36
star
46

perhaps

A monad, perhaps.
Haskell
33
star
47

rounded

MPFR bindings for Haskell
Haskell
33
star
48

hyphenation

Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files
Haskell
33
star
49

categories

categories from category-extras
Haskell
33
star
50

transients

Clojure-style transients for Haskell
Haskell
32
star
51

concurrent

Yet another concurrent playground
Haskell
32
star
52

abelian

Commutative Applicatives and Semigroups
Haskell
31
star
53

hkd

higher-kinded data
Haskell
30
star
54

speculation

Safe, programmable, speculative evaluation for Haskell
Haskell
29
star
55

rts

spmd-on-simd stuff
C++
28
star
56

placeholder

todo and unimplemented, robustly implemented
Haskell
28
star
57

promises

lazy promises
Haskell
27
star
58

intervals

Interval Arithmetic
Haskell
27
star
59

heaps

Asymptotically optimal Brodal/Okasaki heaps
Haskell
26
star
60

intern

Hash consing for arbitrary Haskell data types
Haskell
25
star
61

hyperloglog

A constant-memory approximation of set membership
Haskell
24
star
62

magpie

an exploration of subtyping-based category theory in scala
Scala
24
star
63

lca

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

sparse

sparse matrices in Morton order
Haskell
23
star
65

indexed

Indexed Functors for GHC 7.6
Haskell
22
star
66

streams

Haskell 2010 stream comonads
Haskell
22
star
67

keys

keyed functors
Haskell
22
star
68

bytes

Serialization primitives that work with both cereal and binary.
Haskell
22
star
69

pointed

pointed and copointed data
Haskell
21
star
70

scala-ad

Forward- and Reverse-Mode Automatic Differentiation for Scala
Scala
21
star
71

vr

nothing to see here
C++
20
star
72

name

nominal sets in haskell
Haskell
20
star
73

rope

Fingertrees of Bytestrings
Haskell
19
star
74

jitplusplus

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

void

Provides Data.Void, which is in base since ghc 7.8 or so
Haskell
19
star
76

scheme-monads

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

fractions

lazy continued fractions
Haskell
18
star
78

folds

Folds and sequence algebras
Haskell
18
star
79

concurrent-supply

A fast globally unique variable supply with a pure API
Haskell
17
star
80

category-extras

category-theoretic goodness for Haskell
Haskell
17
star
81

thc

An experimental "Turbo" Haskell Runtime - Nothing really to see here yet
C++
17
star
82

lens-action

Control.Lens.Action
Haskell
17
star
83

bad

a playground for working with fully static tensors and automatic differentiation
C++
17
star
84

homotopy

Coq
17
star
85

rcu

experimenting with STM-backed read-copy-update in Haskell
Haskell
16
star
86

multicategories

Playing around with multicategories and operads
Haskell
16
star
87

gc

Poor Richard's Memory Manager
Haskell
15
star
88

scala-attoparsec

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

kanso

just a place to throw some coding experiements while i re-re-re-learn rust
Rust
15
star
90

hyperfunctions

playing with hyperfunctions
Haskell
15
star
91

succinct-binary

Succinct binary serialization
Haskell
15
star
92

half

half-precision floating-point
Haskell
14
star
93

time-series

Playing with time series
Haskell
14
star
94

codebruijn

experiments with pext/pdep and codebruijn syntax
Haskell
14
star
95

haskell

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

keep

playing with resumable computations
Haskell
13
star
97

compensated

Compensated floating-point arithmetic
Haskell
13
star
98

eq

Leibnizian type equality
Haskell
13
star
99

nbe-in-java-19

a throwaway implementation of normalization by evaluation
Java
13
star
100

bits

Bit twiddling and bitwise serialization primitives
Haskell
13
star