Pinned Repositories
aoc-2019
chrisittner.de
django-auditlog
A Django app that keeps a log of changes made to an object.
dramatiq
A fast and reliable background task processing library for Python 3.
git-codeowners
Adds the `git codeowners` subcommand to query and validate CODEOWNERS files
gsoc16-blog
huey
a little task queue for python
IMU-Joystick
minlog
Personal fork of the MINLOG proof system.
transfinite-methoden-SS2013
chrisittner's Repositories
chrisittner/git-codeowners
Adds the `git codeowners` subcommand to query and validate CODEOWNERS files
chrisittner/minlog
Personal fork of the MINLOG proof system.
chrisittner/transfinite-methoden-SS2013
chrisittner/aoc-2019
chrisittner/chrisittner.de
chrisittner/django-auditlog
A Django app that keeps a log of changes made to an object.
chrisittner/dramatiq
A fast and reliable background task processing library for Python 3.
chrisittner/gsoc16-blog
chrisittner/huey
a little task queue for python
chrisittner/IMU-Joystick
chrisittner/lilypond-harmonica
Some harmonica related utilities for Lilypond - personal fork of https://github.com/jawatson/lilypond-harmonica
chrisittner/lj
chrisittner/lmu-compilerbauprak
A compiler for a a subset of Java ("MiniJava") to x86 assembler, written for LMU Compilerbaupraktikum SoSe2013
chrisittner/lmu-sysprak-ws2012
chrisittner/ma18-blog
chrisittner/pgmpy
Python Library for Probabilistic Graphical Models
chrisittner/pgmpy_notebook
Getting Started guide to Probabilistic Graphical Models(PGM) and pgmpy
chrisittner/platformio-atom-ide-terminal
A terminal package for Atom, complete with themes, API and more for PlatformIO IDE
chrisittner/Practicum-Mathematical-Logic
Exercise implementations for the practicum to "Logik II" at LMU, SoSo2017