masaeedu/nix-optics masaeedu/nix-optics

  • Stars
    star
    33
  • Rank 783,877 (Top 16 %)
  • Language
    Nix
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
masaeedu/nix-optics
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

reading

31
star
2

monadoptics

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

natch

Natural pattern matching in JS
JavaScript
24
star
4

fp

Principled functional programming for JS
JavaScript
18
star
5

adt

A simple library for defining ADTs
JavaScript
15
star
6

bitmap-fonts

Shell
12
star
7

init-haskell

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

halfsp

Haskell
10
star
9

all-hls

Haskell
10
star
10

elect

Nix
9
star
11

co-optics

Two optics for the price of one
Haskell
9
star
12

monoidal

Haskell
9
star
13

proppie

Haskell
7
star
14

selectivemonoidal

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

grimoire

Haskell
7
star
16

filterable

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

ulc

Untyped lambda calculus
JavaScript
5
star
18

do

General purpose do-notation for JS
JavaScript
4
star
19

pmatch

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

tensorfold

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

optix

JavaScript
3
star
22

infix

Infix application trick for JS
JavaScript
3
star
23

recordlens

JavaScript
3
star
24

cellular_critters

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

newlenses

Haskell
3
star
26

todo

things i have to do
2
star
27

happy_proxy

JavaScript
2
star
28

automonad.hs

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

fp-io

JavaScript
2
star
30

agda-learning

Agda
2
star
31

snapdom2

JavaScript
2
star
32

rigmonoids

Haskell
2
star
33

pluckingadjunction

Nix
1
star
34

dumbrecords

Haskell
1
star
35

papers

Haskell
1
star
36

nanoparsec.js

JavaScript
1
star
37

biparser

PureScript
1
star
38

questiongraph

Haskell
1
star
39

freert-effs

Haskell
1
star
40

representable

Haskell
1
star
41

transact

Experiments in effectful state transitions
Haskell
1
star
42

freert

JavaScript
1
star
43

treesascontainers

Nix
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