madwau

Full-Stack Web Developer

Munich, Germany

Pinned Repositories

activeadmin_selectize
Selectize.js for ActiveAdmin
Language:Ruby0 0 00
element
A Vue.js 2.0 UI Toolkit for Web
Language:Vue0 0 00
energy-informatics
Our goal is to design and implement an interactive front-end for a Python-based EV highway traffic simulation tool.
Language:TeX0 2 00
leon
The Leon system for verification, synthesis, and more.
Language:Scala0 1 00
project-euler
Solutions for Project Euler in Java and Haskell
Language:Java1 2 00
ramifications-sharing-datastructures
Reasoning about mutable data structures in the presence of sharing.
Language:Isabelle0 1 00
restforce_mock
Mock out Restforce gem in testing
Language:Ruby0 0 00
vue-convert
Convert Vue components into TypeScript-friendly style.
Language:TypeScript0 0 00
vue-slicksort
A set of vue mixins to turn any list into an animated, touch-friendly, sortable list ✌️
Language:JavaScript00

madwau/project-euler
Solutions for Project Euler in Java and Haskell
Language:Java1 2 00
madwau/activeadmin_selectize
Selectize.js for ActiveAdmin
Language:Ruby0 0 00
madwau/element
A Vue.js 2.0 UI Toolkit for Web
Language:Vue0 0 00
madwau/energy-informatics
Our goal is to design and implement an interactive front-end for a Python-based EV highway traffic simulation tool.
Language:TeX0 2 00
madwau/leon
The Leon system for verification, synthesis, and more.
Language:Scala0 1 00
madwau/ramifications-sharing-datastructures
Reasoning about mutable data structures in the presence of sharing.
Language:Isabelle0 1 00
madwau/restforce_mock
Mock out Restforce gem in testing
Language:Ruby0 0 00
madwau/vue-convert
Convert Vue components into TypeScript-friendly style.
Language:TypeScript0 0 00
madwau/vue-slicksort
A set of vue mixins to turn any list into an animated, touch-friendly, sortable list ✌️
Language:JavaScript00