kirstin-rhys

Pinned Repositories

acid-state
Add ACID guarantees to any serializable Haskell data structure
Language:Haskell294 17 8659
linux-vlm
virtual lisp machine on linux
Language:C90 6 217
acid-state
Add ACID guarantees to any serializable Haskell data structure
Language:Haskell0 2 00
agda-stdlib
The Agda standard library
Language:Agda0 2 00
free-applicative
Just a quick implementation of Application for the classic Free algebra
Language:Haskell2 2 00
linux-vlm
virtual lisp machine on linux
Language:C00
nestedmap
A library for working with deeply recursive data structures. A generalization of Data.Map
Language:Haskell6 2 12
redis-objects
Map Redis types directly to Ruby objects
Language:Ruby1 2 00
sbt-maven-plugin
A sbt plugin which reads project definitions from pom.xml
Language:Scala83 13 1616

kirstin-rhys's Repositories

kirstin-rhys/nestedmap
A library for working with deeply recursive data structures. A generalization of Data.Map
Language:Haskell6 2 12
kirstin-rhys/free-applicative
Just a quick implementation of Application for the classic Free algebra
Language:Haskell2 2 00
kirstin-rhys/redis-objects
Map Redis types directly to Ruby objects
Language:Ruby1 2 00
kirstin-rhys/acid-state
Add ACID guarantees to any serializable Haskell data structure
Language:Haskell0 2 00
kirstin-rhys/agda-stdlib
The Agda standard library
Language:Agda0 2 00
kirstin-rhys/linux-vlm
virtual lisp machine on linux
Language:C00