Pinned Repositories
AnICA
Analyzing Inconsistencies of Code Analyzers
iwho
Instructions With Holes: A library for matching instructions to more abstract schemes that can be instantiated with other operands.
MemInstrument
A framework to make C memory safe
pmtestbench
Code development and artifact for our port mapping inference approaches
arduino-bubble-level
Arduino sketch for an electronic 2D bubble level with LEDs and an accelerometer.
bhive
fLispEval
A very minimalistic evaluator for lisp-like non-transcendental QF-NRA expressions.
Ithemal
Fork of Ithemal, with adjustments to avoid bit rot and to interact with it through the docker container
scanalyzer
A simple Static Analyzer for SSA-Form CFGs written in Scala to learn the language.
tgnotipy
A telegram chat bot for issuing general purpose notifications from a PC.
ritter-x2a's Repositories
ritter-x2a/tgnotipy
A telegram chat bot for issuing general purpose notifications from a PC.
ritter-x2a/scanalyzer
A simple Static Analyzer for SSA-Form CFGs written in Scala to learn the language.
ritter-x2a/arduino-bubble-level
Arduino sketch for an electronic 2D bubble level with LEDs and an accelerometer.
ritter-x2a/bhive
ritter-x2a/fLispEval
A very minimalistic evaluator for lisp-like non-transcendental QF-NRA expressions.
ritter-x2a/Ithemal
Fork of Ithemal, with adjustments to avoid bit rot and to interact with it through the docker container
ritter-x2a/latex-pretext-builder
ritter-x2a/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
ritter-x2a/llvm-test-suite
ritter-x2a/simplex-opt2016
Implementation of the two phase full tableau simplex algorithm, done for the Optimization course 2016
ritter-x2a/stack_reader
A small program that prints all accessible stack contents
ritter-x2a/vim-config
My (neo)vim config
ritter-x2a/wacom-area
Tiny python + tkinter script for setting the mapped area for a Wacom Stylus under Linux