Norway

Christian Vårvik

Advanced
@christian-public
christian.varvik.me

Idris2-Erlang. Erlang code generator for Idris 2

146

typedtext.io. Idris

10

mix_idris2. Elixir

9

Mutable-Template. Mutable Template is a templating format for updating the contents of the template itself

4

aureum. Golden test runner for executables

3

RIOExpandableLabel. A label with a More-button to expand the text.

3

Idris2-boot. A dependently typed programming language, a successor to Idris

1

RIOFuzzyTime. Calculates the time since/to a given NSDate. E.g. About 30 minutes ago, About a day ago or About 2 months from now.

1

Blodwen. A prototype successor to Idris

1

CV. An interactive CV for Christian Rasmussen

1

NTNU-Master-Project. Java

1
11
Apply