Peter Thiemann's repositories
dual-session
Exploration of session type duality
FeatherWeight
Formalization of IFJ
agda-playground
Playground for Agda stuff
Language:AgdaBSD-3-Clause000
cftools
tools for context-free grammars and regular expressions
Language:HaskellBSD-3-Clause000
esop-sc
Information for the steering committee of the ESOP conference
Language:XSLT000
agdatex
Extract LaTeX-Macros from annotated .agda-files
Language:TeX000
blue-measure
Bluetooth adapters for wireless measurement on iOS devices
000
circleci-demo-python-django
Example Django application running on CircleCI
CC0-1.0000
circleci-demo-python-flask
A demo application to learn how to use CircleCI
MIT000
conf-schedule
Tools for ConfSchedule
Language:Haskell000
definitional-cumin
Definitional Interpretation for CuMin
BSD-3-Clause000
gradual-annotations
Coq sources for gradual annotation proofs.
Language:Coq000
haskell-playground
Playground for Haskell projects
Language:HaskellBSD-3-Clause000
LaTeX-proposal
The Proposal package for LaTeX
Language:TeX000
peterthiemann.github.io
Personal Homepage
000
playground
Playground for example code
Language:Java000
python-webcount
Example project for Python CI/CD: Webcount
Language:Python000
re-constraint
regexp matching via SMT
Language:HaskellBSD-3-Clause000
wsession
Session types without linearity
Language:TeXBSD-2-Clause000
Language:Java000