Teggy
Professor, likes database systems and programming languages.
University of Tübingen, GermanyGermany
Pinned Repositories
db2-ss22
Vorlesung "DB 2" im SS 2022 (U Tübingen)
APL-PragmataPro-keyboard
A 87-key keyboard layout with APL symbols, uses the PragmataPro font for the key caps
C0.tmbundle
TextMate bundle for Frank Pfenning's imperative teaching language C0
Dyalog-2019-APL-Competition
Solutions to some problems of the 2019 Dyalog APL Problem Solving Competition
Teggy
Personal repository of Teggy
teggy.github.com
Teggy's presence onf GitHub
Teggy's Repositories
Teggy/APL-PragmataPro-keyboard
A 87-key keyboard layout with APL symbols, uses the PragmataPro font for the key caps
Teggy/C0.tmbundle
TextMate bundle for Frank Pfenning's imperative teaching language C0
Teggy/Dyalog-2019-APL-Competition
Solutions to some problems of the 2019 Dyalog APL Problem Solving Competition
Teggy/teggy.github.com
Teggy's presence onf GitHub
Teggy/Teggy
Personal repository of Teggy
Teggy/atom-script
:runner: Run ( scripts | selections | source ) in Atom
Teggy/basex
BaseX Main Repository.
Teggy/DashDoc
Dash integration for Sublime Text
Teggy/ngnkcart
Teggy/plfa.github.io
Introduction to programming language theory in Agda.
Teggy/schreibe-dein-programm
Schreibe Dein Programm!
Teggy/statement-on-lambdaconf.github.io
Teggy/Terminus
Bring a real terminal to Sublime Text