Alyssa Carter (@trillioneyes)
github

trillioneyes

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    42
  • Global Rank 385,755 (Top 14 %)
  • Followers 26
  • Following 3
  • Registered almost 11 years ago
  • Most used languages
    Idris     60.0 %
    JavaScript
         10.0 %
    Common Lisp
         10.0 %
    C
         10.0 %
    Emacs Lisp
         10.0 %

Top repositories

1

idris-pong

A browser Pong game, taking advantage of Idris's ability to compile to javascript.
Idris
18
star
2

idris-toys

An eclectic collection of beginner Idris code
Idris
6
star
3

idris-canvas

Idris bindings to and abstractions over the JavaScript Canvas API
Idris
4
star
4

dyn-universe

Fun with "Dynamic" Typing: An Introduction to Universes
Idris
3
star
5

pretty-colors-mode

An emacs mode that colors text according to how deeply it is bracketed
Emacs Lisp
3
star
6

serpent

A Snake clone in Idris
JavaScript
3
star
7

idris-directory

Idris
2
star
8

slugmage

Cannibal Slugmage of Eden
Common Lisp
1
star
9

marko

Dissociated Press in Idris
Idris
1
star
10

lifesigns

A Monte Carlo Game of Life surveyor
C
1
star