masaeedu/nix-optics

Stars
33
Rank 763,726 (Top 16 %)
Language
Nix
License
MIT License
Created over 3 years ago
Updated almost 3 years ago

masaeedu/nix-optics

masaeedu

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

reading

monadoptics

Profunctor optics for the endofunctor category on Hask

natch

Natural pattern matching in JS

fp

Principled functional programming for JS

adt

A simple library for defining ADTs

bitmap-fonts

init-haskell

A script for setting up Haskell projects with Nix

halfsp

all-hls

elect

co-optics

Two optics for the price of one

monoidal

proppie

grimoire

selectivemonoidal

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

filterable

A simple account of "filterability" using category theory

ulc

Untyped lambda calculus

do

General purpose do-notation for JS

pmatch

ML-like pattern matching syntax for ADTs

tensorfold

Folding type level data structures into variants and records

optix

infix

Infix application trick for JS

recordlens

cellular_critters

Experimenting with recursion schemes, infinite lists, spiral iterators, and automata

newlenses

todo

things i have to do

happy_proxy

automonad.hs

Solving mtl's n*m instances problem

fp-io

agda-learning

snapdom2

rigmonoids

pluckingadjunction

dumbrecords

papers

nanoparsec.js

biparser

questiongraph

freert-effs

representable

transact

Experiments in effectful state transitions

freert

treesascontainers

tmpfoo

coproducts

test_haskell_diff

sanctuary_profiling

linalg

Linear algebra using the category of vector spaces

arrowstrongmonad

rule110

enrichment

xscripts