Teggy/duckdb-trash-no-mat
DuckDB is an analytical in-process SQL database management system
Professor, likes database systems and programming languages.
Repositories
Teggy/Teggy
Personal repository of Teggy
Teggy/APL-PragmataPro-keyboard
A 87-key keyboard layout with APL symbols, uses the PragmataPro font for the key caps
Teggy/duckdb-web
DuckDB website and documentation
Teggy/Dyalog-2019-APL-Competition
Solutions to some problems of the 2019 Dyalog APL Problem Solving Competition
Teggy/ngnkcart
Teggy/Terminus
Bring a real terminal to Sublime Text
Teggy/atom-script
:runner: Run ( scripts | selections | source ) in Atom
Teggy/teggy.github.com
Teggy's presence onf GitHub
Teggy/schreibe-dein-programm
Schreibe Dein Programm!
Teggy/plfa.github.io
Introduction to programming language theory in Agda.
Teggy/C0.tmbundle
TextMate bundle for Frank Pfenning's imperative teaching language C0
Teggy/statement-on-lambdaconf.github.io
Teggy/basex
BaseX Main Repository.
Teggy/DashDoc
Dash integration for Sublime Text