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/fr_public
Farbrausch demo tools 2001-2011
madsravn/nengine
madsravn/reddit-iama-bot
A reddit IAMA answer compilation bot written in python
madsravn/1k_demo
Trying to make a 1k
madsravn/animator
An HTML5 sprite sheet animator
madsravn/best-practices
This is a fork of timoxley - Tidbits of best practices information from around the web
madsravn/clojure-koans
A set of exercises for learning Clojure
madsravn/cloud-to-butt
Chrome extension that replaces occurrences of 'the cloud' with 'my butt'
madsravn/dotfiles
arch linux configuration files
madsravn/dotjs
~/.js
madsravn/fbscrape
Facebook Page Photo Scraper in CoffeeScript and NodeJS
madsravn/Frontpage
frontpage crawler for reddit
madsravn/ftl
C++ template library for fans of functional programming
madsravn/ioccc-obfuscated-c-contest
IOCCC International Obfuscated C code contest entries
madsravn/jsonxx
A JSON parser in C++
madsravn/libgdx
Туториалы по LibGDX
madsravn/lwjgl-basics
Some basic examples of "modern" GL - shaders, custom attributes, etc.
madsravn/markdown-here
Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.
madsravn/pgn-divider
Bash script to divide a big pile of pgn games into smaller ones and print out information along the way
madsravn/RE-for-beginners
Quick introduction to reverse engineering for beginners
madsravn/reddit-analysis
Contains data dumps and code for reddit analysis
madsravn/Scripts
A collection of my scripts.
madsravn/spawningtool
Tools for analyzing StarCraft 2 Replays
madsravn/static_analysis
madsravn/Stockfish
UCI chess engine
madsravn/stripe-ctf-2.0
Capture the Flag: Web Edition https://stripe.com/blog/capture-the-flag-20
madsravn/subvim
Vim customized to be like SublimeText
madsravn/units
A simple SI units library
madsravn/user-styles
the styles I use in firefox
madsravn/vim-folder
Vim setup - configuration files, plugins and color schemes.