trillioneyes/marko trillioneyes/marko

  • Stars
    star
    1
  • Language Idris
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
trillioneyes/marko
github

trillioneyes

Reviews

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

Repository Details

Dissociated Press in Idris

More 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

lifesigns

A Monte Carlo Game of Life surveyor
C
1
star