masaeedu/me597

Stars
1
Language
C++
Created almost 9 years ago
Updated almost 9 years ago

masaeedu/me597

masaeedu

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

ME 597 lab code

nix-optics

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

selectivemonoidal

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

grimoire

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