Pinned Repositories
cftools
tools for context-free grammars and regular expressions
definitional-session
dual-session
Exploration of session type duality
esop-sc
Information for the steering committee of the ESOP conference
FeatherWeight
Formalization of IFJ
LJGS
Formalization of Lightweight Java with Gradual Security
monopoly
Example development for lecture
pgg
PGG the program generator generator for Scheme
re-generate
uniqueness
peterthiemann's Repositories
peterthiemann/definitional-session
peterthiemann/dual-session
Exploration of session type duality
peterthiemann/re-generate
peterthiemann/uniqueness
peterthiemann/FeatherWeight
Formalization of IFJ
peterthiemann/LJGS
Formalization of Lightweight Java with Gradual Security
peterthiemann/monopoly
Example development for lecture
peterthiemann/pgg
PGG the program generator generator for Scheme
peterthiemann/agda-playground
Playground for Agda stuff
peterthiemann/cftools
tools for context-free grammars and regular expressions
peterthiemann/esop-sc
Information for the steering committee of the ESOP conference
peterthiemann/agdatex
Extract LaTeX-Macros from annotated .agda-files
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
peterthiemann/definitional-cumin
Definitional Interpretation for CuMin
peterthiemann/gradual-annotations
Coq sources for gradual annotation proofs.
peterthiemann/haskell-playground
Playground for Haskell projects
peterthiemann/icfp2020-captions
peterthiemann/LaTeX-proposal
The Proposal package for LaTeX
peterthiemann/peterthiemann.github.io
Personal Homepage
peterthiemann/playground
Playground for example code
peterthiemann/python-webcount
Example project for Python CI/CD: Webcount
peterthiemann/re-constraint
regexp matching via SMT
peterthiemann/wsession
Session types without linearity
peterthiemann/X2Traverse