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/frown

LALR(k) Parser Generator for Haskell, by Ralf Hinze

strake/comprehensions-ghc

strake/stern-brocot.hs

Library of the Stern-Brocot representation of the rational numbers

strake/basic.hs

strake/key-vault.hs

strake/mtl-tf.hs

strake/plot.hs

strake/reg-alloc-types.hs

strake/reg-alloc.hs

strake/utf.hs

strake/A.lang

strake/cali.hs

See README for more info

strake/cfg.hs

See README for more info

strake/control.hs

strake/enum-generic.hs

See README for more info

strake/flow.hs

See README for more info

strake/hackage-security.hs

strake/happstack-server-tls.hs

strake/hint.hs

Runtime Haskell interpreter

strake/hoopl-new.hs

See README for more info

strake/hoopl.hs

Higher-order optimization library

strake/parser-combinators.hs

Lightweight package providing commonly useful parser combinators

strake/prettyprinter.hs

strake/private-hackage-uploader.hs

See README for more info

strake/pushy.hs

See README for more info

strake/refractor.hs

See README for more info

strake/regex-applicative.hs

Regex-based parsing with applicative interface

strake/universal.hs

strake/vector.hs

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

strake/yices2

The Yices SMT Solver