chrrasmussen

Idris2-Erlang

Erlang code generator for Idris 2

typedtext.io

mix_idris2

Mutable-Template

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

aureum

Golden test runner for executables

Blodwen

A prototype successor to Idris

CV

An interactive CV for Christian Rasmussen

Idris2-boot

A dependently typed programming language, a successor to Idris

mutable_storage

atom-language-idris

A Idris Mode for Atom.io

Barteguiden-API

Barteguiden-iOS

BlogApp

BlogApp is a simple web-application for blogging.

Decodable

Swift 2/3 JSON parsing done (more) right

dom

Low-level DOM bindings, backing for nicer libraries.

elm-ui

What if you never had to write CSS again?

FriendlyLoan

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

gen_stage

A specification for exchanging events between producers and consumers

gh-comments

Idris-Deps

List dependencies of an Idris project

Idris2

A purely functional programming language with first class types

otp

Erlang/OTP

Parse-RACExtensions

ReactiveCocoa for Parse

phoenix_html

Phoenix.HTML functions for working with HTML strings and templates

phoenix_live_view

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

phoenix_live_view_example

Podspecs

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

ReactiveCocoa

Streams of values over time

ReactiveCocoa-Trigger

SSH2-Client-Helpers

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