teg/SN-LPAR
Strong Normalisation of Typed Atomic Lambda Calculus
Developer Profile
teg
Discovered public repositories for teg in the GitHub catalog.
teg/systemd-units
systemd units that are not yet included in their respective upstreams
teg/libsystemd-qt
Qt-only wrapper for Systemd API
teg/AtomicLambda2
The Atomic Lambda Calculus Part Two
teg/terms-talk
Public repository.
teg/PKGBUILDs
PKGBUILDs modified to build on Arch Linux ARM
teg/arch-install-scripts
Convenience scripts for installing Arch Linux
teg/rpcbind
portmap replacement which supports RPC over various protocols
teg/urw-garamond
Improved version of the font URW Garamond No.8
teg/terms
Atomic Flows for a Simply Typed Term Calculus
teg/bootchart
merge of bootchart-collector and pybootchartgui
teg/mkinitcpio
Public repository.
teg/initscripts-arch
Arch Linux's initscripts
teg/dietsplash
dietsplash mirror: official repository at http://git.profusion.mobi/cgit.cgi/lucas/dietsplash/
teg/systemd-arch-units
Arch Linux specific Systemd unit files
teg/initscripts-systemd
Arch Linux initscripts for use with Systemd
teg/pigeons
Polynomial Proof of the Propositional Pigeon Hole Principle in Deep Inference
teg/school
John's Online English School
teg/LPAR16
Public repository.
teg/ceag
Ceag Norge public website
teg/arora
Cross platform web browser
teg/classical-logic-with-implication
Public repository.
teg/thesis
Atomic Flows and Normalisation in Deep Inference
teg/24months
Public repository.
teg/atomic-flows-ii
Public repository.