Schwenger / Thesis-TemplateView external linksLinks
The skeleton of the tex files used for writing my PhD thesis.
☆16Oct 1, 2021Updated 4 years ago
Alternatives and similar repositories for Thesis-Template
Users that are interested in Thesis-Template are comparing it to the libraries listed below
Sorting:
- Machine Learning for Mathematics and Logics☆16Apr 1, 2025Updated 10 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- OpenID Shared Signals and Events (SSE) / Continuous Access Evaluation Protocol (CAEP) / Risk Incident Sharing and Coordination (RISC) JSO…☆14Jun 7, 2024Updated last year
- Synthesis Format Conversion Tool☆26Nov 18, 2025Updated 2 months ago
- ☆30Apr 18, 2022Updated 3 years ago
- ☆11May 31, 2025Updated 8 months ago
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- Reliable Keycloak user migration at scale. Features include bounded concurrency, durable retries, and zero data loss.☆30Jan 13, 2026Updated last month
- Telegram Widget Authenticator For Keycloak☆13Dec 20, 2025Updated last month
- ☆11Aug 20, 2018Updated 7 years ago
- Another reverse proxy that provides authentication with OpenID Connect☆10Jul 10, 2023Updated 2 years ago
- Example full stack rust project using Sycamore for wasm and actix for backend, implementing BFF and OIDC for authentication.☆11Feb 4, 2023Updated 3 years ago
- The repository contains tooling to setup the container based stack.☆15Updated this week
- Clone of google-sparsehash☆17Sep 3, 2011Updated 14 years ago
- Server and development environment provisioning data and configurations☆10Jun 25, 2018Updated 7 years ago
- Easily stand up Keycloak and SPIRE for testing AI Agents☆29Sep 18, 2025Updated 4 months ago
- UpCy automatically finds compatible updates for Maven dependencies.☆12Feb 8, 2026Updated last week
- Frege Interpreter☆15Jun 13, 2020Updated 5 years ago
- Version 2.x of JDeparser, a Java source code generating library☆13Feb 1, 2026Updated 2 weeks ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Docker Monitoring and Management Client☆26Feb 12, 2015Updated 11 years ago
- get a perspective on the state of dependencies across your entire estate☆10Oct 28, 2016Updated 9 years ago
- Desktop application for creating and managing table tennis training plans.☆16Aug 29, 2025Updated 5 months ago
- 🔐 Google Cloud Workload Identity Federation Examples and How-To☆12Nov 24, 2025Updated 2 months ago
- A repository that contains examples for Spring HATEOAS Siren to showcase how to use the features provided by the library.☆12Mar 20, 2023Updated 2 years ago
- A generator and a framework for injecting configurations via CDI☆11Jun 14, 2023Updated 2 years ago
- This injects custom module-info.class into non-modular java libraries, allowing them to be used with jlink☆11Aug 14, 2020Updated 5 years ago
- Keycloak OpenFGA Custom Event Listener for integrating Keycloak and OpenFGA via Kafka for Fine-Grained Authorization☆15Oct 6, 2023Updated 2 years ago
- Boxtin is a customizable Java security manager agent.☆13Dec 8, 2025Updated 2 months ago
- ☆10Dec 30, 2015Updated 10 years ago
- Keycloak gRPC extension☆12Mar 2, 2023Updated 2 years ago
- Provide some tips to handle Injection into application code (OWASP TOP 10 - A1).☆10Nov 11, 2020Updated 5 years ago
- GTK+ graphical interface for controlling and streaming to Yamaha® network av receivers using pymusiccast☆10Jan 14, 2021Updated 5 years ago
- Streaming Generative AI Application on AWS☆14Jun 24, 2024Updated last year
- ☆10Aug 2, 2016Updated 9 years ago
- The ROCA Airways online check-in is a simple demo application demonstrating the benefits of progressive enhancement for both end users an…☆10Feb 25, 2015Updated 10 years ago
- Sample Quarkus CLI application☆11Nov 2, 2022Updated 3 years ago
- Application simulating external APIs for the Practical Rx Workshop☆10May 16, 2015Updated 10 years ago
- This project is part of my talk about Project Panama. The goal is to show how you can call (almost) any C library using Java☆14Mar 27, 2025Updated 10 months ago