Timo Nicolai's repositories
colorful-colorization
A from-scratch PyTorch implementation of "Colorful Image Colorization" by Zhang et al.
BuenzliCoin
The world's most Swiss cryptocurrency.
MapReducePlusPlus
A C++ MapReduce implementation based on gRPC
cdd-c
Frontend for C, concentrating on: generation from code; single-file analysis; modification; and emission (prettyprinting).
cpp_meetup_zurich_public
Slides etc. for the Zurich C++ Meetup
CPPBind-examples
CPPBind L4Re example code
CPPBind_examples
CPPBind examples for L4Re
fire-hpp
Fire for C++: Create fully functional CLIs using function signatures
genode-imx
i.MX SoC family support for the Genode OS framework
genode-world
Collection of community-maintained components for Genode
genode_repositories
Random Genode stuff
graphene
Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
hello-kernel
A simple 32 bit x86 bootloader + dummy kernel.
kickstart.nvim
A launch point for your personal nvim configuration
LeechBlockNG
LeechBlock NG (Next Generation) for Firefox is a simple productivity tool designed to block those time-wasting sites that can suck the life out of your working day. All you need to do is specify which sites to block and when to block them.
sgx-hello-world
Intel SGX SDK hello world project