peterthiemann

University of FreiburgFreiburg Germany

Pinned Repositories

cftools
tools for context-free grammars and regular expressions
Language:Haskell01
definitional-session
Language:Agda12 2 00
dual-session
Exploration of session type duality
Language:Agda31
esop-sc
Information for the steering committee of the ESOP conference
Language:XSLT0 1 00
FeatherWeight
Formalization of IFJ
Language:Agda11
LJGS
Formalization of Lightweight Java with Gradual Security
Language:Coq12
monopoly
Example development for lecture
Language:Java13
pgg
PGG the program generator generator for Scheme
Language:Scheme10
re-generate
Language:Haskell32
uniqueness
Language:TeX32

peterthiemann's Repositories

peterthiemann/definitional-session
Language:Agda12 2 00
peterthiemann/dual-session
Exploration of session type duality
Language:Agda31
peterthiemann/re-generate
Language:Haskell32
peterthiemann/uniqueness
Language:TeX32
peterthiemann/FeatherWeight
Formalization of IFJ
Language:Agda11
peterthiemann/LJGS
Formalization of Lightweight Java with Gradual Security
Language:Coq12
peterthiemann/monopoly
Example development for lecture
Language:Java13
peterthiemann/pgg
PGG the program generator generator for Scheme
Language:Scheme10
peterthiemann/agda-playground
Playground for Agda stuff
Language:Agda00
peterthiemann/cftools
tools for context-free grammars and regular expressions
Language:Haskell01
peterthiemann/esop-sc
Information for the steering committee of the ESOP conference
Language:XSLT0 1 00
peterthiemann/agdatex
Extract LaTeX-Macros from annotated .agda-files
Language:TeX0 0
peterthiemann/blue-measure
Bluetooth adapters for wireless measurement on iOS devices
peterthiemann/circleci-demo-python-django
Example Django application running on CircleCI
peterthiemann/circleci-demo-python-flask
A demo application to learn how to use CircleCI
peterthiemann/conf-schedule
Tools for ConfSchedule
Language:Haskell
peterthiemann/definitional-cumin
Definitional Interpretation for CuMin
peterthiemann/gradual-annotations
Coq sources for gradual annotation proofs.
Language:Coq1
peterthiemann/haskell-playground
Playground for Haskell projects
Language:Haskell
peterthiemann/icfp2020-captions
0 0
peterthiemann/LaTeX-proposal
The Proposal package for LaTeX
Language:TeX1 0
peterthiemann/peterthiemann.github.io
Personal Homepage
1 0
peterthiemann/playground
Playground for example code
Language:Java1 01
peterthiemann/python-webcount
Example project for Python CI/CD: Webcount
Language:Python0 01
peterthiemann/re-constraint
regexp matching via SMT
Language:Haskell1 0
peterthiemann/wsession
Session types without linearity
Language:TeX1 01
peterthiemann/X2Traverse
Language:Java1 0