chrrasmussen

CV

An interactive CV for Christian Rasmussen

Idris2-Erlang

Erlang code generator for Idris 2

aureum

Golden test runner for executables

otp

Erlang/OTP

Idris2

A purely functional programming language with first class types

mutable_storage

typedtext.io

mix_idris2

phoenix_live_view_example

Idris2-boot

A dependently typed programming language, a successor to Idris

atom-language-idris

A Idris Mode for Atom.io

elm-ui

What if you never had to write CSS again?

Blodwen

A prototype successor to Idris

phoenix_live_view

Rich, real-time user experiences with server-rendered HTML

Idris-Deps

List dependencies of an Idris project

FriendlyLoan

iOS app to manage loans to friends (Released in 2012)

Barteguiden-API

dom

Low-level DOM bindings, backing for nicer libraries.

gh-comments

phoenix_html

Phoenix.HTML functions for working with HTML strings and templates

ReactiveCocoa-Trigger

ReactiveCocoa

Streams of values over time

Decodable

Swift 2/3 JSON parsing done (more) right

Podspecs

[Maintained] [Cocoa] Repo for various custom CocoaPod specs.

gen_stage

A specification for exchanging events between producers and consumers

BlogApp

BlogApp is a simple web-application for blogging.

Barteguiden-iOS

SSH2-Client-Helpers

Promise-based helper functions to make the SSH2 client easier to use

Mutable-Template

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

Parse-RACExtensions

ReactiveCocoa for Parse