This is your work, valued

Zoe Stafford

Advanced
@Z-snails

Idris2-Grin. GRIN backend for Idris2

33

Idris2-hashable. Interface for types that can be hashed.

11

idris2-async. Small async library for idris2, inspired by purescript-aff

8

prettier. Bernardy style pretty-printer

8

idris2-hashmap. Hash-array map tries in Idris2

8

Idris2jl. Julia backend for Idris 2

5

gdp-2025-caesium-rhino. C#

3

uniplate-idr. Traverse and manipulate without the boilerplate

2

string-builder. Efficient string builders for idris 2

1

multiplate-idr. Multiplates for Idris 2

1