Pinned Repositories
riscu
Simple library for loading/decoding an ELF64 RISC-U file
unicorn
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
selfie
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
aads-ps
advanced-image-processing-and-computer-vision-ps
bibliography
My personal managed bibliography (created by JabRef).
btreevis
Beautiful B+ trees in TeX
cppcheck
static analysis of C/C++ code
selfie
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
tree-similarity
Library for tree similarity algorithms and queries.
danielkocher's Repositories
danielkocher/btreevis
Beautiful B+ trees in TeX
danielkocher/aads-ps
danielkocher/advanced-image-processing-and-computer-vision-ps
danielkocher/bibliography
My personal managed bibliography (created by JabRef).
danielkocher/cppcheck
static analysis of C/C++ code
danielkocher/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
danielkocher/danielkocher.github.io
danielkocher/selfie
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
danielkocher/efficient_algorithms_se
Repository for all the work done for the seminar Efficient Algorithms (winter term 2015/2016)
danielkocher/git-standup
Recall what you did on the last working day. Psst! or be nosy and find what someone else in your team did ;-)
danielkocher/ios-transcript
Transcript of the Introduction to Operating Systems (IOS) class taught at the University of Salzburg. The author gives no guarantee for completeness or correctness of the content.
danielkocher/link-select
Random link selector
danielkocher/media_security_ps
danielkocher/obdd-survey
Small survey on Ordered Binary Decision Diagrams
danielkocher/ocelot2
Second version of a self-compiling compiler written in a non-trivial subset of C
danielkocher/svn2git
Ruby tool for importing existing svn projects into git.
danielkocher/vim
Personal vim configuration