Christian Vårvik

Idris2-Erlang. Erlang code generator for Idris 2

typedtext.io. Idris

mix_idris2. Elixir

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

aureum. Golden test runner for executables

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

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

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.

Blodwen. A prototype successor to Idris

CV. An interactive CV for Christian Rasmussen

NTNU-Master-Project. Java