Pinned Repositories
Clique
dyn-universe
Fun with "Dynamic" Typing: An Introduction to Universes
idris-canvas
Idris bindings to and abstractions over the JavaScript Canvas API
idris-directory
idris-pong
A browser Pong game, taking advantage of Idris's ability to compile to javascript.
idris-toys
An eclectic collection of beginner Idris code
pretty-colors-mode
An emacs mode that colors text according to how deeply it is bracketed
serpent
A Snake clone in Idris
unclean-vtt
A virtual tabletop not specialized for Dungeons and Dragons.
trillioneyes's Repositories
trillioneyes/idris-pong
A browser Pong game, taking advantage of Idris's ability to compile to javascript.
trillioneyes/idris-toys
An eclectic collection of beginner Idris code
trillioneyes/idris-canvas
Idris bindings to and abstractions over the JavaScript Canvas API
trillioneyes/dyn-universe
Fun with "Dynamic" Typing: An Introduction to Universes
trillioneyes/pretty-colors-mode
An emacs mode that colors text according to how deeply it is bracketed
trillioneyes/serpent
A Snake clone in Idris
trillioneyes/idris-directory
trillioneyes/lifesigns
A Monte Carlo Game of Life surveyor
trillioneyes/marko
Dissociated Press in Idris
trillioneyes/slugmage
Cannibal Slugmage of Eden
trillioneyes/Clique
trillioneyes/unclean-vtt
A virtual tabletop not specialized for Dungeons and Dragons.
trillioneyes/brick
A declarative terminal UI programming library written in Haskell
trillioneyes/discordant-note
A game of magic, danger, and harmonic multiplication.
trillioneyes/Idris-dev
A Dependently Typed Functional Programming Language
trillioneyes/idris-mode
Idris syntax highlighting, interactive REPL and more things for emacs.
trillioneyes/nixos-config
trillioneyes/sierpinski-eyes
trillioneyes/treedit
trillioneyes/xmonad-config