wadoon

Karlsruhe Institute of TechnologyGermany

Pinned Repositories

jmlparser
A Parser for JML and Java.
Language:Java2 1 60
vscode-jml
VS Code Extension for Support of Java Modelling Language
Language:TypeScript1 2 01
verifaps-lib
Libraries for the analysis of IEC61131-3 code
Language:Kotlin14 3 64
cl-latex
common-lisp markup language for generating latex code
Language:Common Lisp9 4 01
key-tools
Tools for the KeY Theorem Prover
Language:JavaScript1 2 21
pydbusgen
python generation library for qdbus
Language:Python4 5 012
sharpPI
Counting of Images and Pre-images in CNF formulas for QIF
Language:C++0 3 10
smt2key
Translates SMT-lib files to KeY (Theorem Prover) inputs
Language:OCaml1 2 00
st-mode
An emacs mode for Structured Text (IEC61131-3)
Language:Emacs Lisp7 4 09
UebAngKrypt
solution for angewandte kryptologie (ss11@fh-trier)
Language:Java42

wadoon's Repositories

wadoon/antlr2sitter
Translation of ANTLR grammars to tree-sitter
Language:Python2 2 1
wadoon/key-citool
Language:Kotlin1 2 11
wadoon/key-tools
Tools for the KeY Theorem Prover
Language:JavaScript1 2 21
wadoon/astgen
Generator for Abstract Syntax Trees
Language:Java3 0
wadoon/bloatcache
Language:Java2 01
wadoon/cagen
Language:Kotlin3 0
wadoon/checker-framework
Pluggable type-checking for Java
Language:Java1 0
wadoon/codespaces-z3
Explore z3 with Codespaces
Language:Python1 0
wadoon/congo-parser-generator
The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC
Language:FreeMarker1 0
wadoon/flavium
A arena for programming contests
Language:Kotlin3 11
wadoon/Gecko
Language:Java1 0
wadoon/ips4o-test
Test repo for ips4o
Language:Kotlin2 0
wadoon/JJBMC
Language:Java1 0
wadoon/key
KeY Theorem Prover for Deductive Java Verification
Language:Java1 0
wadoon/key-citations
Gather citation of the KeY tool
Language:TeX2 0
wadoon/key-interactionlog
Language:Kotlin2 1
wadoon/key-javaparser
Java 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13
Language:Java0 3
wadoon/key-shirt
Language:TeX2 0
wadoon/key-smtmgr
Language:Kotlin2 11
wadoon/key-tacletdoc
Language:Kotlin2 0
wadoon/mima-symbex
Symbolical Execution for MiniMal Assembler
Language:Python2 0
wadoon/mixfix-parser
A reusable mixfix parser for Java/Kotlin WIP
Language:Kotlin2 0
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:
Language:Java1 0
wadoon/setup-smt
Setup SMT solver in Github Actions
Language:TypeScript2 0
wadoon/tableau-js
Tableau calculi for FOL in Javascript
Language:TypeScript3 0
wadoon/tableauappnui
Language:Kotlin1 0
wadoon/tree-sitter-key
Language:C2 0
wadoon/vscode-iec61131
vscode extension for IEC 61131
Language:TypeScript3 0
wadoon/vscode-openjml-gitpod
Language:Java2 0
wadoon/wadoon.github.io
Language:Python