Torsten Grust (Teggy)

Teggy

Geek Repo

Company:University of Tübingen, Germany

Location:Germany

Home Page:https://db.cs.uni-tuebingen.de/grust

Github PK Tool:Github PK Tool

Torsten Grust's repositories

APL-PragmataPro-keyboard

A 87-key keyboard layout with APL symbols, uses the PragmataPro font for the key caps

License:MITStargazers:26Issues:1Issues:0

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

Language:APLStargazers:2Issues:0Issues:0

teggy.github.com

Teggy's presence onf GitHub

Teggy

Personal repository of Teggy

Stargazers:1Issues:0Issues:0

atom-script

:runner: Run ( scripts | selections | source ) in Atom

Language:CoffeeScriptLicense:MITStargazers:0Issues:0Issues:0

basex

BaseX Main Repository.

Language:JavaLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

DashDoc

Dash integration for Sublime Text

Language:PythonStargazers:0Issues:0Issues:0
Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

plfa.github.io

Introduction to programming language theory in Agda.

Language:AgdaStargazers:0Issues:0Issues:0

schreibe-dein-programm

Schreibe Dein Programm!

Language:TeXStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

Terminus

Bring a real terminal to Sublime Text

License:MITStargazers:0Issues:0Issues:0