chrrasmussen/typedtext.io chrrasmussen/typedtext.io

  • Stars
    star
    9
  • Rank 1,937,512 (Top 39 %)
  • Language Idris
  • Created about 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chrrasmussen/typedtext.io
github

chrrasmussen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

Idris2-Erlang

Erlang code generator for Idris 2
Idris
138
star
2

mix_idris2

Elixir
7
star
3

Mutable-Template

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

RIOExpandableLabel

A label with a More-button to expand the text.
Objective-C
3
star
5

aureum

Golden test runner for executables
Rust
2
star
6

NTNU-Master-Project

Java
1
star
7

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.
Objective-C
1
star
8

CV

An interactive CV for Christian Rasmussen
JavaScript
1
star