Popular repositories Loading

1. shen-erl shen-erl Public

   Erlang port of the Shen programming language

   Erlang 26 1

2. organ organ Public

   Forms with integrated validations and attribute coercing.

   Ruby 9 2

3. react-watcher react-watcher Public

   ReactJS helper for subscribing to prop changes

   JavaScript 9 2

4. datanames datanames Public

   DATA Montevideo names proyect

   JavaScript 3 11

5. agda-tutorial agda-tutorial Public

   My solutions for the Agda tutorial https://people.inf.elte.hu/divip/AgdaTutorial/Index.html

   Agda 3

6. armadillo armadillo Public

   Template inheritance with ERB templates

   Ruby 2