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/cl-latex
common-lisp markup language for generating latex code
wadoon/AFSP
wadoon/brainfuck
Java interpreter and compiler for brainfuck
wadoon/FPinTD
Algorithms for Forbidden Pattern detection in Transition Diagrams
wadoon/GanttProcessPlotter
simulation of schedulers plotted in a gantt
wadoon/GaussModN
wadoon/GraphOfTrust
generate a graph from keyserver's information
wadoon/LL-1--Generator
a little try to build a parser generator for LL(1)-Grammars
wadoon/MINICMS
a very little php cms
wadoon/ModelUtil
Automatic setModel/getModel for Java
wadoon/php-microcontroller
a very simple controller for php applications
wadoon/pysyntax
Visualize the python ast
wadoon/QuadraticRemainderRoot
caluclating: x^2 = a \mod n
wadoon/sisql
website for allowing an easy interaction with databases
wadoon/StruktogrammCreator
creates a nassi-sniderman-diagram from a pseudo language
wadoon/TrAPAutomaton
deterministic finite automaton for benchmarking
wadoon/BayText
A simple classificator for text
wadoon/filesorter
wadoon/guess-gender
guess the gender by firstname based on database
wadoon/knn-viz
Visualization of kNN-Classificator
wadoon/leo.el
dict.leo.org for emacs
wadoon/monopolpy
simulation of monopoly in python
wadoon/multimedia-textsearch
University project, lecture Text Indexing. The idea is to search within audio/video for keywords by building an inverted index beforehand.
wadoon/musiclib
wadoon/nn-web
k nearest neighbour
wadoon/pytagsfs
unofficial - (undone) - port of pytagsfs with creating hard links instead of fuse file system
wadoon/QuestionInferfaceMatlab
a matlab package for matlab for presenting yes/no question in brain expermients with EEG or fNIRS
wadoon/rc
my dotfiles
wadoon/startbootstrap
Better HTML Starter Templates for Bootstrap 3
wadoon/TrAPClj
Clojure Bindings for Trierer Automatenpaket