motrellin's repositories
authorchapters
A tex style package for annotating headers with author information
Language:TeXMIT000
BetonQuest
An advanced and powerful quest scripting plugin for Minecraft. Features built-in RPG style conversations and integration for over 30+ other plugins.
Language:JavaGPL-3.0000
comoalg
Some personal notes on typical algebra topics
Language:Coq000
comoproj
Template for Github Coq-Projects
Language:Makefile000
docker-coq-equations
Docker Image based on docker-coq with coq-equations
Language:DockerfileGPL-3.0000
000
ll-chainreact
Rules for LoveLetter-extension "Chainreact"
MIT000
Language:TeXMIT000
Quest-Tutorials
BetonQuest Tutorial Quests
GPL-3.0000
sinusApp
Animates a sin function
Language:HTMLApache-2.0000
Language:Haskell000
Language:TeXNOASSERTION000
template-spin
A template to run the Spin model checker in order to find and show a trail under the assumption, that there is one to find.
Language:MakefileGPL-3.0000