Pinned Repositories
aureum
Golden test runner for executables
Blodwen
A prototype successor to Idris
CV
An interactive CV for Christian Rasmussen
Idris2-Erlang
Erlang code generator for Idris 2
mix_idris2
Mutable-Template
Mutable Template is a templating format for updating the contents of the template itself
mutable_storage
NTNU-Master-Project
RIOExpandableLabel
A label with a More-button to expand the text.
typedtext.io
chrrasmussen's Repositories
chrrasmussen/Idris2-Erlang
Erlang code generator for Idris 2
chrrasmussen/typedtext.io
chrrasmussen/mix_idris2
chrrasmussen/Mutable-Template
Mutable Template is a templating format for updating the contents of the template itself
chrrasmussen/aureum
Golden test runner for executables
chrrasmussen/Blodwen
A prototype successor to Idris
chrrasmussen/CV
An interactive CV for Christian Rasmussen
chrrasmussen/Idris2-boot
A dependently typed programming language, a successor to Idris
chrrasmussen/mutable_storage
chrrasmussen/atom-language-idris
A Idris Mode for Atom.io
chrrasmussen/Barteguiden-API
chrrasmussen/Barteguiden-iOS
chrrasmussen/BlogApp
BlogApp is a simple web-application for blogging.
chrrasmussen/Decodable
Swift 2/3 JSON parsing done (more) right
chrrasmussen/dom
Low-level DOM bindings, backing for nicer libraries.
chrrasmussen/elm-ui
What if you never had to write CSS again?
chrrasmussen/FriendlyLoan
iOS app to manage loans to friends (Released in 2012)
chrrasmussen/gen_stage
A specification for exchanging events between producers and consumers
chrrasmussen/gh-comments
chrrasmussen/Idris-Deps
List dependencies of an Idris project
chrrasmussen/Idris2
A purely functional programming language with first class types
chrrasmussen/otp
Erlang/OTP
chrrasmussen/Parse-RACExtensions
ReactiveCocoa for Parse
chrrasmussen/phoenix_html
Phoenix.HTML functions for working with HTML strings and templates
chrrasmussen/phoenix_live_view
Rich, real-time user experiences with server-rendered HTML
chrrasmussen/phoenix_live_view_example
chrrasmussen/Podspecs
[Maintained] [Cocoa] Repo for various custom CocoaPod specs.
chrrasmussen/ReactiveCocoa
Streams of values over time
chrrasmussen/ReactiveCocoa-Trigger
chrrasmussen/SSH2-Client-Helpers
Promise-based helper functions to make the SSH2 client easier to use