chrrasmussen/mix_idris2 chrrasmussen/mix_idris2

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Elixir
  • License
    Other
  • Created almost 6 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chrrasmussen/mix_idris2
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

typedtext.io

Idris
9
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