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/UebAngKrypt
solution for angewandte kryptologie (ss11@fh-trier)
wadoon/glucose
The Glucose SAT Solver (CMake Edition)
wadoon/prelude
Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.
wadoon/pysfc
Sequential Function Charts for Python
wadoon/stlviewer
wadoon/stunden
A dummy time sheet generator.
wadoon/sharpPI
Counting of Images and Pre-images in CNF formulas for QIF
wadoon/awesomerc
wadoon/docker-cpp-env
wadoon/execmatrix
Run Programs under Different Settings with Resource Usage Measuring. A Utillity for Case Studies
wadoon/gdb-gui
A gdb gui written in Python, running inside gdb itself.
wadoon/gedit-smv
gedit language support for SMV format (Symbolic Model Verifier)
wadoon/gedit-structuredtext
wadoon/getlyrics
A Python program which gets the lyrics for a song and outputs them to stdout
wadoon/gh-issue-copy
A little cli tool for copying issues from one to another repository
wadoon/gunit-maven-plugin
Geneate unit tests for antlr4 grammars from XML-Files
wadoon/key-modes
wadoon/klojery
Key+Clojure = KlojErY
wadoon/language-kps
wadoon/msml-test-project
wadoon/PBL
A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php
wadoon/phpBibParser
A LL(k) parser for Bibtex Bibliographies
wadoon/pyapi
Create API documentation from Python source code into Markdown or rStructuredText
wadoon/rabbitmq
RabbitMQ Dockerfile for trusted automated Docker builds.
wadoon/register
registry for functions and classes
wadoon/riflextractor
Extraction of Annotation into RS3 Information Flow Language
wadoon/SFCBehaviour
wadoon/SwingTextHighlightDemo
wadoon/tmatch
template matching for python
wadoon/tool_lists
Links to tools by subject