Pinned Loading

1. reg-alloc-graph-color.hs reg-alloc-graph-color.hs Public

   Library for graph-coloring register allocation

   Haskell 4

2. containers.rs containers.rs Public

   Library of containers for computers with finite memory

   Rust 5

3. category.agda category.agda Public

   Formulation of category theory in Agda

   Agda

4. zed zed Public

   text editor

   Rust 3

5. stern-brocot.hs stern-brocot.hs Public

   Library of the Stern-Brocot representation of the rational numbers

   Haskell 2

6. yfind yfind Public

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

   Haskell 3