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/reg-alloc-graph-color.hs

Library for graph-coloring register allocation

strake/system-call.rs

Raw system calls for Rust

strake/constraint-reflection.hs

strake/constraint.hs

strake/esil.hs

strake/RefGraph.hs

strake/reflexive-closure.hs

strake/smallcheck-kind-generics.hs

See README for more info

strake/vpq.hs

strake/.github

strake/atomic.rs

Generic Atomic<T> type for Rust

strake/bytestring.hs

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

strake/Earley.hs

Parsing all context-free grammars using Earley's algorithm in Haskell.

strake/end.rs

strake/grampa.hs

Grammar parser - combinator library for parsing a general context-free grammar

strake/here-string.hs

strake/higher.rs

Higher kinded types and your favourite Haskell type classes for Rust

strake/kind-generics.hs

strake/layout.hs

strake/leancheck.hs

enumerative property-based testing for Haskell

strake/partial_application.rs

Partial function application macro for Rust

strake/Rank2Map.hs

strake/row-types.hs

A Haskell library for open records and variants using closed type families and type literals

strake/situ

strake/summoner

strake/tasty-leancheck.hs

LeanCheck support for the Tasty test framework (Haskell)

strake/tasty.hs

Modern and extensible testing framework for Haskell

strake/tempus.rs

strake/unix-tty.rs

strake/user-sync.rs