Pinned Repositories
BIS
My master thesis code
boundvariable
coq
Solutions for the book Software Foundations by Benjamin C. Pierce
easyCuda
Small cuda framework
java-interpreter
java-virtual-machine
Java Virtual Machine
madsravn.github.io
Personal website
pixtra
Simple and opionated pixel tool
madsravn's Repositories
madsravn/coq
Solutions for the book Software Foundations by Benjamin C. Pierce
madsravn/FedesRobot
Fedes Robot
madsravn/fr_public
Farbrausch demo tools 2001-2011
madsravn/gl3w
Simple OpenGL 3/4 core profile loading
madsravn/Glasir
Glasir is an open source PHP/HTML5 media player for a personal music collection of unlimited size. For use with Chrome, Firefox, and Android phones.
madsravn/nengine
madsravn/reddit-iama-bot
A reddit IAMA answer compilation bot written in python
madsravn/twitteroauth
The first PHP Library to support OAuth for Twitter's REST API.