Alexander Weigl (@wadoon)

Top repositories

1

cl-latex

common-lisp markup language for generating latex code
Common Lisp
9
star
2

st-mode

An emacs mode for Structured Text (IEC61131-3)
Emacs Lisp
7
star
3

pydbusgen

python generation library for qdbus
Python
4
star
4

UebAngKrypt

solution for angewandte kryptologie (ss11@fh-trier)
Java
4
star
5

smvceviz

Visualize the Traces of NuSMV and NuXMV
Python
3
star
6

feedcurses

little curses feed reader
Python
2
star
7

simplelisp

an lisp interpreter written in python, created during as an learning project
Python
2
star
8

glucose

The Glucose SAT Solver (CMake Edition)
C++
2
star
9

php-microcontroller

a very simple controller for php applications
PHP
2
star
10

FPinTD

Algorithms for Forbidden Pattern detection in Transition Diagrams
Clojure
1
star
11

stlviewer

Python
1
star
12

MathExpr

parser of mathematical expression in java
Java
1
star
13

smt2key

Translates SMT-lib files to KeY (Theorem Prover) inputs
OCaml
1
star
14

RandomAccessMachine

Simulator and executor for a simple machine language.
Java
1
star
15

antlr2sitter

Translation of ANTLR grammars to tree-sitter
Python
1
star
16

GanttProcessPlotter

simulation of schedulers plotted in a gantt
Java
1
star
17

ModelUtil

Automatic setModel/getModel for Java
Java
1
star
18

InvokeWiki

Invoke provides a wiki system. Every wiki page can rated in different categories on the background (tag) of the current user.
PHP
1
star
19

pytemplater

create new files from templates on the command line
Python
1
star
20

keyserver-java

A simple key server implementation for the VerifyThis Long-term Challenge
Java
1
star
21

LL-1--Generator

a little try to build a parser generator for LL(1)-Grammars
Java
1
star
22

GraphOfTrust

generate a graph from keyserver's information
Java
1
star
23

GaussModN

Java
1
star
24

buchhalter

application for checking accounting learning excercises
Python
1
star
25

pyKWallet

python library for using kwallet via dbus
Python
1
star
26

mini-symex

Symbolic Execution Engine and Verification Condition Generator for While-Language and SMTlib
Kotlin
1
star
27

key-tools

Tools for the KeY Theorem Prover
JavaScript
1
star
28

sisql

website for allowing an easy interaction with databases
JavaScript
1
star
29

ipasir-d

IPASIR interface for Dlang
D
1
star
30

bin_quote_net

script/module for access the quote service from zitiate.net
Python
1
star
31

jml-vscode

VS Code Extension for Support of Java Modelling Language
1
star
32

StruktogrammCreator

creates a nassi-sniderman-diagram from a pseudo language
Java
1
star
33

TrAPAutomaton

deterministic finite automaton for benchmarking
1
star
34

QuadraticRemainderRoot

caluclating: x^2 = a \mod n
Java
1
star
35

jml-mode

Java Modeling Language support for Emacs
Emacs Lisp
1
star
36

pysfc

Sequential Function Charts for Python
Python
1
star
37

HammingCodeApplet

an applet for generating hammingcodes
Java
1
star
38

MINICMS

a very little php cms
PHP
1
star
39

pyTranslate

comand-line translator and python interface for translating services of google
Python
1
star
40

ValueTable

build a value table for boolean algebra
Java
1
star
41

iniedit

edit ini files interactively, in batch or within python
Python
1
star
42

AFSP

Java
1
star
43

pysyntax

Visualize the python ast
Python
1
star
44

brainfuck

Java interpreter and compiler for brainfuck
Java
1
star