Pinned Repositories
jmlparser
A Parser for JML and Java.
vscode-jml
VS Code Extension for Support of Java Modelling Language
verifaps-lib
Libraries for the analysis of IEC61131-3 code
cl-latex
common-lisp markup language for generating latex code
key-tools
Tools for the KeY Theorem Prover
pydbusgen
python generation library for qdbus
sharpPI
Counting of Images and Pre-images in CNF formulas for QIF
smt2key
Translates SMT-lib files to KeY (Theorem Prover) inputs
st-mode
An emacs mode for Structured Text (IEC61131-3)
UebAngKrypt
solution for angewandte kryptologie (ss11@fh-trier)
wadoon's Repositories
wadoon/JJBMC
wadoon/cagen
wadoon/Gecko
wadoon/key-citool
A helper to prove Java+JML Programs inside CI pipelines
wadoon/key-tools
Tools for the KeY Theorem Prover
wadoon/astgen
Generator for Abstract Syntax Trees
wadoon/bloatcache
wadoon/checker-framework
Pluggable type-checking for Java
wadoon/congo-parser-generator
The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC
wadoon/flavium
A arena for programming contests
wadoon/hugo-deploy
Docker container for the deployment of hugo sites
wadoon/ips4o-test
Test repo for ips4o
wadoon/key
KeY Theorem Prover for Deductive Java Verification
wadoon/key-citations
Gather citation of the KeY tool
wadoon/key-interactionlog
wadoon/key-javaparser
Java 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13
wadoon/key-shirt
wadoon/key-tacletdoc
wadoon/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
wadoon/keymaerax_merch
wadoon/kikit-bibliography
wadoon/kikit-page
wadoon/mixfix-parser
A reusable mixfix parser for Java/Kotlin WIP
wadoon/OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
wadoon/setup-smt
Setup SMT solver in Github Actions
wadoon/sofdcar-poster-template
wadoon/tableau-js
Tableau calculi for FOL in Javascript
wadoon/tableauappnui
wadoon/vscode-openjml-gitpod
wadoon/wadoon.github.io