A collection of machine-checkend mathematical proofs
Mixed Integer Linear Programming (MILP) solver.
Simple solution for testing and documenting short code snippets.
A pure Java JDBC driver for Microsoft Access database files
Implementation of LZW compression algorithm in C
Modbus TCP, UDP and Modbus RTU client/server library
Marathon supports testing of Java/Swing and Java/Fx applications.
Lazarus Free Pascal Report Components
transfer xml into specific text-formats (html, dot, source-code, ...)
Java language binding for the GNU Linear Programming Kit (GLPK)
A tool for encoding/decoding to base62
transfer text in diverse formats into specific xml parser-trees
Detect web framework and javascript libraries run on browsing website
Vector drawing program for LaTeX using PSTricks
Klassenbibliothek für Qt
Management of source code quality is possible.
Modbus slave simulator
Use Vue.js to develop a cross-platform full stack application
Advanced programmer's code editor written in Tcl/Tk
bang jago emulator
JWL - The JavaScript Widget Library