masaeedu/treesascontainers masaeedu/treesascontainers

  • Stars
    star
    1
  • Language
    Nix
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
masaeedu/treesascontainers
github

masaeedu

Reviews

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

Repository Details

More Repositories

1

nix-optics

Nix
33
star
2

reading

31
star
3

monadoptics

Profunctor optics for the endofunctor category on Hask
Haskell
27
star
4

natch

Natural pattern matching in JS
JavaScript
24
star
5

fp

Principled functional programming for JS
JavaScript
18
star
6

adt

A simple library for defining ADTs
JavaScript
15
star
7

bitmap-fonts

Shell
12
star
8

init-haskell

A script for setting up Haskell projects with Nix
Nix
11
star
9

halfsp

Haskell
10
star
10

all-hls

Haskell
10
star
11

elect

Nix
9
star
12

co-optics

Two optics for the price of one
Haskell
9
star
13

monoidal

Haskell
9
star
14

proppie

Haskell
7
star
15

selectivemonoidal

A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat
Haskell
7
star
16

grimoire

Haskell
7
star
17

filterable

A simple account of "filterability" using category theory
Haskell
6
star
18

ulc

Untyped lambda calculus
JavaScript
5
star
19

do

General purpose do-notation for JS
JavaScript
4
star
20

pmatch

ML-like pattern matching syntax for ADTs
JavaScript
4
star
21

tensorfold

Folding type level data structures into variants and records
Nix
4
star
22

optix

JavaScript
3
star
23

infix

Infix application trick for JS
JavaScript
3
star
24

recordlens

JavaScript
3
star
25

cellular_critters

Experimenting with recursion schemes, infinite lists, spiral iterators, and automata
JavaScript
3
star
26

newlenses

Haskell
3
star
27

todo

things i have to do
2
star
28

happy_proxy

JavaScript
2
star
29

automonad.hs

Solving mtl's n*m instances problem
Haskell
2
star
30

fp-io

JavaScript
2
star
31

agda-learning

Agda
2
star
32

snapdom2

JavaScript
2
star
33

rigmonoids

Haskell
2
star
34

pluckingadjunction

Nix
1
star
35

dumbrecords

Haskell
1
star
36

papers

Haskell
1
star
37

nanoparsec.js

JavaScript
1
star
38

biparser

PureScript
1
star
39

questiongraph

Haskell
1
star
40

freert-effs

Haskell
1
star
41

representable

Haskell
1
star
42

transact

Experiments in effectful state transitions
Haskell
1
star
43

freert

JavaScript
1
star
44

tmpfoo

Nix
1
star
45

coproducts

Haskell
1
star
46

test_haskell_diff

Haskell
1
star
47

me597

ME 597 lab code
C++
1
star
48

sanctuary_profiling

JavaScript
1
star
49

linalg

Linear algebra using the category of vector spaces
Haskell
1
star
50

arrowstrongmonad

1
star
51

rule110

Nix
1
star
52

enrichment

Nix
1
star
53

xscripts

PowerShell
1
star