This is your work, valued

Malmö, Sweden

Niklas Larsson

Advanced
@melted

idris-chez. An idris backend compiling to chez scheme

47

get-idris. Setting up an Idris dev environment on Windows

16

idris-lua. A Lua backend for Idris

10

hcom. Haskell

3

aoc2022. Advent of code 2022

2

aoc2019. Advent of code 2019

1

rugs. WIP Haskell interpreter

1

bytestring-storable. Pick Storables off a ByteString

1

getghc. Easy GHC build setup on Windows

1

arena. An artless arena allocator

1