Tibor Schneider's repositories
doom-emacs
An Emacs framework for the stubborn martian hacker
analysis3
analysis III summary (eth)
bgpsim
simple bgp simulator
dotfiles-yadm
Dotfiles managed with YADM
dsst_summary
discrete-time and statistical signal processing
ElMasch_fs
Formelsammlung der Vorlesung Elektrische Maschinen von J.Smajic
Elo2_fs
Elektronik 2 Formelsammlung gemäss Vorlesung von G.Keel vom FS 2016
ELT4_fs
Formelsammlung der Vorlesung von J.Ebneter im FS 2016
flycheck-pycheckers
Multiple syntax checker for Python in Emacs, using Flycheck
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.
i3_status_rust
custon I3 status script written in rust
latex-beamerposter
The LaTeX beamerposter package
libbgpstream-sys
Rust system bindings for bgpstream
meteoschweiz
Render and show forecast of meteoschweiz.admin.ch
minisat-rs
Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
Nat2_fs
Formelsammlung der Vorlesung Nachrichtentechnik 2 von T.Kneubühler vom FS 2016
p4c
P4_16 prototype compiler
physics_II
summary of physics II
python-docstring-mode
Emacs minor-mode for editing Python docstrings.
tibors.ch
Personal Website
web-tibors
🎓 创建一个学术网站. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.
z3-mode
An interactive development environment for SMT-LIB files and Z3