wadoon/mini-symex

Stars
1
Language
Kotlin
License
GNU General Publi...
Created over 3 years ago
Updated over 2 years ago

wadoon/mini-symex

wadoon

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Symbolic Execution Engine and Verification Condition Generator for While-Language and SMTlib

cl-latex

common-lisp markup language for generating latex code

st-mode

An emacs mode for Structured Text (IEC61131-3)

pydbusgen

python generation library for qdbus

UebAngKrypt

solution for angewandte kryptologie (ss11@fh-trier)

smvceviz

Visualize the Traces of NuSMV and NuXMV

feedcurses

little curses feed reader

glucose

The Glucose SAT Solver (CMake Edition)

php-microcontroller

a very simple controller for php applications

simplelisp

an lisp interpreter written in python, created during as an learning project

MathExpr

parser of mathematical expression in java

FPinTD

Algorithms for Forbidden Pattern detection in Transition Diagrams

stlviewer

smt2key

Translates SMT-lib files to KeY (Theorem Prover) inputs

antlr2sitter

Translation of ANTLR grammars to tree-sitter

ModelUtil

Automatic setModel/getModel for Java

RandomAccessMachine

Simulator and executor for a simple machine language.

InvokeWiki

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

pytemplater

create new files from templates on the command line

keyserver-java

A simple key server implementation for the VerifyThis Long-term Challenge

LL-1--Generator

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

GanttProcessPlotter

simulation of schedulers plotted in a gantt

GraphOfTrust

generate a graph from keyserver's information

GaussModN

buchhalter

application for checking accounting learning excercises

pyKWallet

python library for using kwallet via dbus

key-tools

Tools for the KeY Theorem Prover

sisql

website for allowing an easy interaction with databases

ipasir-d

IPASIR interface for Dlang

bin_quote_net

script/module for access the quote service from zitiate.net

jml-vscode

VS Code Extension for Support of Java Modelling Language

TrAPAutomaton

deterministic finite automaton for benchmarking

jml-mode

Java Modeling Language support for Emacs

HammingCodeApplet

an applet for generating hammingcodes

QuadraticRemainderRoot

caluclating: x^2 = a \mod n

StruktogrammCreator

creates a nassi-sniderman-diagram from a pseudo language

pysfc

Sequential Function Charts for Python

MINICMS

a very little php cms

pyTranslate

comand-line translator and python interface for translating services of google

ValueTable

build a value table for boolean algebra

iniedit

edit ini files interactively, in batch or within python

AFSP

pysyntax

Visualize the python ast

brainfuck

Java interpreter and compiler for brainfuck