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/Safe
Safe integer utilities for C++11
madsravn/randomized
Randomized algorithms
madsravn/Talks
Folien der Vorträge
madsravn/dotfiles-alice
dotfiles from the 'Alice' box
madsravn/Image
Image processing fun
madsravn/synth
A Powerful C++ Templating Framework
madsravn/metashell
Template metaprogramming shell
madsravn/Twitch-Streamer-Linux
This is a script dedicated to stream to Twitch.tv with Webcam support
madsravn/hard-drop
madsravn/NativeWebSocketRender
Native C++ Renderer Sends Frame Buffer to Browser via WebSockets
madsravn/software_foundations
madsravn/studygroup
Rendering Study Group
madsravn/problem-creator
create chess problems for lichess
madsravn/mettemums
Mettemums
madsravn/n3
ASCII Art OpenGL
madsravn/git-cal
github like contributions calendar on terminal
madsravn/datastructures
Datastructures
madsravn/atree
Just a simple christmas tree, based on redit story
madsravn/Craft
A simple Minecraft clone written in C using modern OpenGL (shaders).
madsravn/myvim
My vim files so far
madsravn/SudokuSolver
This project represents Sudoku as exact cover, and solves it very efficiently using Algorithm X and Dancing Links. It can currently handle 8x8, 10x10, 12x12, or 16x16 Sudoku puzzles.
madsravn/js1k-love-raytracer
an unbaised raytracer in under 1k of javascript
madsravn/AndroidGCMTutorial
In this project I go through all the step necessary to create 1) a python web app which a REST API that communicates through GCM to 2) an Android client application which synchronizes with the server through REST and GCM. Everything authenticated with access_token generated on the device.
madsravn/Projects
Trying to complete over 100 projects in various categories in Python. Fork to learn any new language.
madsravn/notes
My own notes - might migrate to jekyll site someday.
madsravn/DPC
Data Parallel Processing
madsravn/SedChess
Шахматы, написанные на языке утилиты sed
madsravn/metabrainfuck
Just an abomination I tossed together today.
madsravn/dotfiles-1
My precious dotfiles.
madsravn/PiAUISuite
Raspberry PI AUI Suite