peterthiemann
Follow
-
agda-playground Public
Playground for Agda stuff
Agda BSD 3-Clause "New" or "Revised" License UpdatedDec 20, 2024 -
haskell-playground Public
Playground for Haskell projects
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 8, 2024 -
FeatherWeight Public
Formalization of IFJ
-
agdatex Public
Forked from m0rphism/agdatexExtract LaTeX-Macros from annotated .agda-files
TeX UpdatedJul 11, 2024 -
-
wsession Public
Session types without linearity
-
-
-
esop-sc Public
Information for the steering committee of the ESOP conference
XSLT UpdatedSep 27, 2021 -
-
-
dual-session Public
Exploration of session type duality
-
-
python-webcount Public
Forked from proglang/python-webcountExample project for Python CI/CD: Webcount
-
circleci-demo-python-flask Public
Forked from CircleCI-Public/circleci-demo-python-flaskA demo application to learn how to use CircleCI
Python MIT License UpdatedJul 8, 2019 -
circleci-demo-python-django Public
Forked from CircleCI-Public/circleci-demo-python-djangoExample Django application running on CircleCI
Python Creative Commons Zero v1.0 Universal UpdatedJun 17, 2019 -
re-constraint Public
regexp matching via SMT
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 31, 2018 -
definitional-cumin Public
Definitional Interpretation for CuMin
BSD 3-Clause "New" or "Revised" License UpdatedMay 4, 2018 -
cftools Public
tools for context-free grammars and regular expressions
-
LaTeX-proposal Public
Forked from KWARC/LaTeX-proposalThe Proposal package for LaTeX
TeX UpdatedJan 19, 2018 -
-
-
LJGS Public
Formalization of Lightweight Java with Gradual Security
-
-
-
-