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/containers.rs

Library of containers for computers with finite memory

strake/dual.hs

strake/Fin.hs

strake/peano.hs

Peano numbers

strake/ca.hs

strake/cplx.rs

Complex and hypercomplex numbers

strake/either-both.hs

strake/ez3.hs

strake/ft2.rs

strake/hs-functors.hs

strake/lens-core.hs

strake/lex-applicative.hs

strake/ucd.hs

See README for more info

strake/util.hs

Haskell utility library

strake/aeson.hs

strake/candle.rs

Minimalist ML framework for Rust

strake/diff.hs

strake/firefox

Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code

strake/foldable1.hs

strake/ghc

Glasgow Haskell Compiler

strake/ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

strake/ghcup

strake/gitlib.hs

strake/hackage-server

strake/hash-table.rs

strake/nonempty-vector.hs

Non-empty Vectors

strake/rs-category.rs

Endofunctors, etc in the category of Rust types

strake/se

strake/text-short.hs

Memory-efficient representation of Unicode text strings

strake/tries.hs