A web application for first-order model checking in graph structures.
Home Page: https://apollo-frontend.yeger.eu
License: BSD 3-Clause "New" or "Revised" License
About me · Blog · NPM · LinkedIn · XING · Twitter
I'm active in both frontend and backend development and always aim to improve my skills. When I'm not busy exploring the latest frameworks and libraries, I also delve into DevOps and automation using GitHub Actions.
Currently, I am studying Software Engineering & Internet Computing at the TU Wien. In parallel, I am a working student at Senacor Technologies AG.
![renovate[bot] avatar](https://avatars.githubusercontent.com/in/2740?v=4 "renovate[bot]")
This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.
These updates await pending status checks before automerging. Click on a checkbox to abort the branch automerge, and create a PR instead.
@angular-devkit/build-angular, @angular-eslint/builder, @angular-eslint/eslint-plugin, @angular-eslint/eslint-plugin-template, @angular-eslint/schematics, @angular-eslint/template-parser, @angular/cdk, @angular/cli, @angular/material, @compodoc/compodoc, @ngrx/store, @types/node, @typescript-eslint/eslint-plugin, @typescript-eslint/parser, JamesIves/github-pages-deploy-action, cycjimmy/semantic-release-action, d3, dev-drprasad/delete-older-releases, eslint, eslint-plugin-import, eslint-plugin-jsdoc, fast-copy, jasmine-core, karma, nginx, node, prettier, tslib, yaml, zone.js)These are blocked by an existing closed PR and will not be recreated unless you click a checkbox below.
@angular-devkit/build-angular, @angular/cli)@angular-eslint/builder, @angular-eslint/eslint-plugin, @angular-eslint/eslint-plugin-template, @angular-eslint/schematics, @angular-eslint/template-parser)@angular/animations, @angular/common, @angular/compiler, @angular/compiler-cli, @angular/core, @angular/forms, @angular/platform-browser, @angular/platform-browser-dynamic, @angular/router, @angular/service-worker)@angular/cdk, @angular/material)docker-compose.yml
Dockerfile
node 21.4.0-alpine@sha256:34556ba78497768394c896cca78c490f620e624ddacd4ebe47380c52e3e5cf79nginx 1.25.3-alpine@sha256:f2802c2a9d09c7aa3ace27445dfc5656ff24355da28e7b958074a0111e3fc076
.github/workflows/cd.yml
JamesIves/github-pages-deploy-action v4.5.0actions/upload-artifact v4actions/download-artifact v4montudor/action-zip v1.0.0softprops/action-gh-release v2actions/download-artifact v4JamesIves/github-pages-deploy-action v4.5.0.github/workflows/ci.yml
cycjimmy/semantic-release-action v4.0.0.github/workflows/codeql.yml
actions/checkout v4github/codeql-action v3github/codeql-action v3github/codeql-action v3.github/workflows/maintenance.yml
dev-drprasad/delete-older-releases v0.3.2actions/stale v9
package.json
@angular/animations 16.2.12@angular/cdk 16.2.12@angular/common 16.2.12@angular/compiler 16.2.12@angular/core 16.2.12@angular/forms 16.2.12@angular/material 16.2.12@angular/platform-browser 16.2.12@angular/platform-browser-dynamic 16.2.12@angular/router 16.2.12@angular/service-worker 16.2.12@ngrx/store 17.0.1@ngx-translate/core 15.0.0@types/d3 7.4.3d3 7.8.5fast-copy 3.0.1ml-matrix 6.11.0ngrx-store-localstorage 17.0.0ngx-logger 5.0.12rxjs 7.8.1tslib 2.6.2yaml 2.3.4zone.js 0.14.2@angular-devkit/build-angular 16.2.10@angular-eslint/builder 17.1.1@angular-eslint/eslint-plugin 17.1.1@angular-eslint/eslint-plugin-template 17.1.1@angular-eslint/schematics 17.1.1@angular-eslint/template-parser 17.1.1@angular/cli 16.2.10@angular/compiler-cli 16.2.12@compodoc/compodoc 1.1.23@types/jasmine 5.1.4@types/node 20.10.4@typescript-eslint/eslint-plugin 7.0.1@typescript-eslint/parser 7.0.1eslint ^8.39.0eslint-import-resolver-typescript 3.6.1eslint-plugin-import 2.29.0eslint-plugin-jsdoc 46.9.0eslint-plugin-prefer-arrow 1.2.3jasmine-core 5.1.1jasmine-spec-reporter 7.0.0karma 6.4.2karma-chrome-launcher 3.2.0karma-coverage 2.2.1karma-jasmine 5.1.0karma-jasmine-html-reporter 2.1.0prettier 3.1.0ts-node 10.9.2
There is an error with this repository's Renovate configuration that needs to be fixed. As a precaution, Renovate will stop PRs until it is resolved.
Error type: Cannot find preset's package (github>whitesource/merge-confidence:beta)
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.