Name: Julijan Katic
Type: User
Company: University of Stuttgart
Bio: Programmer and hobby mathematician at University of Stuttgart, with main interests in Software Simulation and Modeling, Programming Analysis and Quantum Comp.
Location: Stuttgart
Julijan Katic's Projects
Library for parsing .bib files, used in Bibliography.js 📚
Backend implementation of the verification process
Boost.org math module
Eclipse plug-in to evaluate software internal quality of Java projects.
SimuLizar is a Palladio plug-in for analyzing self-adaptive systems, such as cloud computing systems, at design-time.
Python PDF Parser (Not actively maintained). Check out pdfminer.six. Group 2. Individual
A high-performance REST Toolkit written in C++
WIP plugin runner/host for the new QHAna plugins
A very simple, fast, multithreaded, platform independent HTTP and HTTPS server and client library implemented using C++11 and Boost.Asio. Created to be an easy way to make REST resources available from C++ applications.
PlusCal formulations of various solutions of the critical section problem like Lamport's Fast Mutual Exclusion algorithm or Dekker's algorithm to perform model checking on these algorithms.
Example using JWT and Spring Security to authenticate Spring Boot web application in Kotlin