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/easyCuda
Small cuda framework
madsravn/java-interpreter
madsravn/madsravn.github.io
Personal website
madsravn/masters
My master thesis
madsravn/Partikel_accelleration_on_GPU
Particle accelleration with OpenGL 4.3, using compute shader to calculate particle movement on graphics hardware.
madsravn/PGNHelper
PGNHelper
madsravn/yquery
madsravn/BIS
My master thesis code
madsravn/boundvariable
madsravn/dcoq
Coq files from course on functional programming
madsravn/java-virtual-machine
Java Virtual Machine
madsravn/pixtra
Simple and opionated pixel tool
madsravn/synacor
madsravn/advent-of-code-2021
Advent of Code 2021
madsravn/bc
bc
madsravn/bfcc
An optimizing brainfuck interpreter/C transpiler written in C++
madsravn/Canto
madsravn/emu-chip-8
A CHIP-8 emulator written in C++
madsravn/folly
Folly is an open-source C++ library developed and used at Facebook.
madsravn/haskell
madsravn/java8-tutorial
Modern Java - A Guide to Java 8
madsravn/monkeylang
Official website for Monkey
madsravn/PGNAnalyzer
madsravn/pitest
Minimal example of Raspberry PI graphics in console
madsravn/rust
Empowering everyone to build reliable and efficient software.
madsravn/SAP-1-Rev-1.0
First revision of my Simple as possible educational computer
madsravn/sonos-controller
Java API for controlling SONOS players
madsravn/sudoku-solver
A sudoku solver
madsravn/TemplateCpu
Implementing a CPU emulator using C++Templates
madsravn/tiny-rtx
A tiny Vulkan based Real-Time Ray Tracer