strake

category.agda

Formulation of category theory in Agda

containers.rs

Library of containers for computers with finite memory

cursebox.c

Library for writing text-based user interfaces

l9fb

Linux framebuffer 9p server

reg-alloc-graph-color.hs

Library for graph-coloring register allocation

st

Suckless Terminal

stern-brocot.hs

Library of the Stern-Brocot representation of the rational numbers

subslice.rs

yfind

Search program for gliders (periodic translating patterns) in cellular automata

zed

text editor

strake/ListT.hs

strake/transformers-control.hs

strake/adjunction.hs

See README for more info

strake/affine.hs

strake/compositional-data.hs

strake/constrained-category.hs

strake/curry.hs

strake/Enum.hs

strake/exist-instances.hs

strake/fix-parser-simple.hs

strake/functor.hs

strake/generic.hs

See README for more info

strake/graph.hs

strake/hlist.hs

strake/hs-profunctors.hs

strake/ix.hs

strake/lean.hs

strake/lift-read-show.hs

strake/lira.hs

See README for more info

strake/multivector.hs

strake/risc-v.hs

strake/rv.hs

strake/smt.hs

strake/txt.hs

strake/util-Earley.hs

See README for more info

strake/util-exception.hs

strake/util-logict.hs

See README for more info

strake/util-primitive-control.hs

strake/word.hs

strake/XML.hs