xged

Lithuania

Pinned Repositories

config
Language:Emacs Lisp00
misc
Language:Python00
python-scripts
Language:Python00
Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell3.4k642
turtle
Shell programming, Haskell style
Language:Haskell93590

xged's Repositories

xged/config
Language:Emacs Lisp
xged/misc
Language:Python
xged/python-scripts
Language:Python