Name: Stephan Lukasczyk
Type: User
Company: University of Passau, @se2p
Bio: Informatikkaufmann (IHK); M.Sc. Comp Sci; Research Assistant & PhD Student at University of Passau
Location: Passau, Germany
Blog: https://www.lukasczyk.name
Stephan Lukasczyk's Projects
Benchmark files for by Bachelor thesis, additional to the SV-COMP benchmarks
Inofficial UniversitΓ€t Passau LaTeX Beamer Theme
BugsInPy: Benchmarking Bugs in Python Projects
ART.T458: "Machine Learning" in Tokyo Institute of Technology
Personal configuration files
EvoSuite - automated generation of JUnit test suites for Java classes
Help of JabRef
Convenience LaTeX package to use the Inconsolata Nerd Font with XeTeX or LuaTeX
Graphical Java application for managing BibTeX and biblatex (.bib) databases
A small Java dummy project to keep everything together needed for JUnit 5, Gradle, Jacoco, and JDK 10.
Some personal LaTeX style files
A thesis template based on ideas from the classicthesis template
The expl3 (LaTeX3) Development Repository
π Launch.nvim is modular starter for Neovim.
MutPy is a mutation testing tool for Python 3.x source code
My Lua NeoVIM configuration
Python Exploration with Z3
The PYthoN General UnIt Test geNerator is a test-generation tool for Python
A small example to illustrate the Test-Driven Development process in Python
Tool to detect test smells in Java (primarily Android) projects that utilize JUnit as the testing framework
A Vim Syntax Highlighting Plugin for CPAchecker's Specification Automata