Georg Stefan Schmid

manim. Animation engine for explanatory math videos

reanimate. Haskell library for building declarative animations based on SVG graphics

no-panic. Attribute macro to require that the compiler prove a function can't ever panic

spleeter. Deezer source separation library including pretrained models.

effects-without-monads-but-with-dotty. Scala

pandoc-latex-template. A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

rocket_wasm. The Rocket game, now compiling to WASM

WaveFunctionCollapse. Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

refined. Refinement types for Scala

gotty. Share your terminal as a web application

plt. Programming Language Theory λΠ

s2e-scripts. Simplify running S2E

pcml-cheatsheet. Latex cheat sheet for the EPFL (http://epfl.ch/) course "Pattern Matching and Machine Learning", Fall 2014.

intelligent-agents-cheatsheet. Cheatsheet prepared for the final exam (2015) of the Intelligent Agents class of EPFL's Computer Science Masters.

cppcon2014. Repository for the slides and the code of my "Quick game development with C++11/C++14" CppCon 2014 talk.

pocs. Course notes for Principles of Computer Systems

poncho. Easily create REST APIs

angular-translate. DEPRECATED Translating your AngularJS 1.x apps

angular-promise-tracker. Easily add spinners or general request tracking to your angular app

angular.tree. This project is not maintained

node-http-signature. Reference implementation of Joyent's HTTP Signature Scheme

stompjms. The JMS interface to STOMP

dci-ruby. Data Context Interaction, the evolution of OO, available in Ruby

six. Ultra lite authorization library

declarative_authorization. An unmaintained authorization plugin for Rails. Please fork to support current versions of Rails

ruby-dci. Facilitate DCI in Ruby

concern. Ruby: Seperation of concerns without meta-madness and namespace pollution.