Pinned Repositories
2048Compiler
addons
base-library
Besondere-Lernleistung-Informatik
Meine besondere Lernleistung Informatik
coq-fun
Having fun with coq and some exercises
cp-training
My solutions to competitive programming problems
gherkin
A MetaCoq Plugin for pickling / unpicking inductive types.
github-pages-test
A test of auto deploying github pages
supertux
SuperTux source code
christ2go's Repositories
christ2go/2048Compiler
christ2go/addons
christ2go/base-library
christ2go/Besondere-Lernleistung-Informatik
Meine besondere Lernleistung Informatik
christ2go/coq-fun
Having fun with coq and some exercises
christ2go/cp-training
My solutions to competitive programming problems
christ2go/gherkin
A MetaCoq Plugin for pickling / unpicking inductive types.
christ2go/github-pages-test
A test of auto deploying github pages
christ2go/hong-page-model
christ2go/jogo
A logo interpreter written in JavaScript
christ2go/klimpera
christ2go/lemu
"Emulator" for a assembly like language
christ2go/libzip
A C library for reading, creating, and modifying zip archives.
christ2go/lingelang
A small compiler for lingelang
christ2go/locas
An assembler and emulator for the LOCAD assembly language
christ2go/logomysql
christ2go/ma_code
christ2go/meetings
SuperTux Meetings. Logs, plans, and decisions
christ2go/metacoq-examples-coqws
christ2go/nppsyco
christ2go/proof-at-the-end
This package aims to provide a way to easily move LaTeX proofs in appendix.
christ2go/pycal
A Pascal to JVM Compiler written in Python
christ2go/sortingalgos
christ2go/stringli
The Stringli Programming Language
christ2go/supertux
SuperTux source code
christ2go/supertuxaddon
christ2go/Syft
Synthesizer of LTLf formula
christ2go/verschluesselung
christ2go/wiki
SuperTux wiki content