Pinned Repositories
Chameleon
Taming the transient while reconfiguring BGP (SIGCOMM'23)
snowcap
Synthesizing Network-Wide Configuration Updates
pulp-dsp
analysis3
analysis III summary (eth)
doom-emacs
An Emacs framework for the stubborn martian hacker
infth1
Information Theory 1 - Summary
prefix-trie
rofi-rs
Rust library for creating rofi windows, and parsing the output
rpass
A password manager based on pass, written in rust
spotify-playlist-voting
Basic examples to authenticate and fetch data using the Spotify Web API
tiborschneider's Repositories
tiborschneider/prefix-trie
tiborschneider/rofi-rs
Rust library for creating rofi windows, and parsing the output
tiborschneider/rpass
A password manager based on pass, written in rust
tiborschneider/doom-emacs
An Emacs framework for the stubborn martian hacker
tiborschneider/infth1
Information Theory 1 - Summary
tiborschneider/analysis3
analysis III summary (eth)
tiborschneider/bgpsim
simple bgp simulator
tiborschneider/dotfiles-yadm
Dotfiles managed with YADM
tiborschneider/dsst_summary
discrete-time and statistical signal processing
tiborschneider/ElMasch_fs
Formelsammlung der Vorlesung Elektrische Maschinen von J.Smajic
tiborschneider/Elo2_fs
Elektronik 2 Formelsammlung gemäss Vorlesung von G.Keel vom FS 2016
tiborschneider/ELT4_fs
Formelsammlung der Vorlesung von J.Ebneter im FS 2016
tiborschneider/flycheck-pycheckers
Multiple syntax checker for Python in Emacs, using Flycheck
tiborschneider/good_lp
Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.
tiborschneider/hdlib
tiborschneider/i3_status_rust
custon I3 status script written in rust
tiborschneider/latex-beamerposter
The LaTeX beamerposter package
tiborschneider/latex-sigcomm18
tiborschneider/libbgpstream-sys
Rust system bindings for bgpstream
tiborschneider/mandelbrot
tiborschneider/meteoschweiz
Render and show forecast of meteoschweiz.admin.ch
tiborschneider/minisat-rs
Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
tiborschneider/Nat2_fs
Formelsammlung der Vorlesung Nachrichtentechnik 2 von T.Kneubühler vom FS 2016
tiborschneider/p4c
P4_16 prototype compiler
tiborschneider/physics_II
summary of physics II
tiborschneider/pulp-dsp
tiborschneider/python-docstring-mode
Emacs minor-mode for editing Python docstrings.
tiborschneider/tibors.ch
Personal Website
tiborschneider/web-tibors
🎓 创建一个学术网站. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.
tiborschneider/z3-mode
An interactive development environment for SMT-LIB files and Z3