Pinned Repositories
.emacs.d
My Emacs configuration.
at
Execute command on remote machines with local files
documentation
Documentation for the PureScript language, compiler, and tools.
julekalender
Knowits julekalender 2015
lambda
md5
Toy implementation of MD5 algorithm in Haskell.
proper
sequentprover
universaltm
En turingmaskinsimulator til bruk i kurset INF2080 på Universitetet i Oslo
torenord's Repositories
torenord/.emacs.d
My Emacs configuration.
torenord/proper
torenord/julekalender
Knowits julekalender 2015
torenord/md5
Toy implementation of MD5 algorithm in Haskell.
torenord/sequentprover
torenord/universaltm
En turingmaskinsimulator til bruk i kurset INF2080 på Universitetet i Oslo
torenord/lambda
torenord/at
Execute command on remote machines with local files
torenord/documentation
Documentation for the PureScript language, compiler, and tools.
torenord/euler
Solutions to Project Euler in Python 3.
torenord/LK
An implementation of the LK system in Haskell
torenord/maude-ltlr-lmc
torenord/racingkings
A simple engine for the chess variant Racing Kings
torenord/skulpt
Skulpt is a Javascript implementation of the Python programming language
torenord/tltlr
torenord/Try
Try out Emacs packages.
torenord/wordpress-opengraph
Open Graph plugin for WordPress