Skip to content Navigation Menu Toggle navigation Sign in Appearance settings PlatformAI CODE CREATIONGitHub CopilotWrite better code with AIGitHub Copilot appDirect agents from issue to mergeMCP RegistryNewIntegrate external toolsDEVELOPER WORKFLOWSActionsAutomate any workflowCodespacesInstant dev environmentsIssuesPlan and track workCode ReviewManage code changesAPPLICATION SECURITYGitHub Advanced SecurityFind and fix vulnerabilitiesCode securitySecure your code as you buildSecret protectionStop leaks before they startEXPLOREWhy GitHubDocumentationBlogChangelogMarketplaceView all featuresSolutionsBY COMPANY SIZEEnterprisesSmall and medium teamsStartupsNonprofitsBY USE CASEApp ModernizationDevSecOpsDevOpsCI/CDView all use casesBY INDUSTRYHealthcareFinancial servicesManufacturingGovernmentView all industriesView all solutionsResourcesEXPLORE BY TOPICAISoftware DevelopmentDevOpsSecurityView all topicsEXPLORE BY TYPECustomer storiesEvents & webinarsEbooks & reportsBusiness insightsGitHub SkillsSUPPORT & SERVICESDocumentationCustomer supportCommunity forumTrust centerPartnersView all resourcesOpen SourceCOMMUNITYGitHub SponsorsFund open source developersPROGRAMSSecurity LabMaintainer CommunityAcceleratorGitHub StarsArchive ProgramREPOSITORIESTopicsTrendingCollectionsEnterpriseENTERPRISE SOLUTIONSEnterprise platformAI-powered developer platformAVAILABLE ADD-ONSGitHub Advanced SecurityEnterprise-grade security featuresCopilot for BusinessEnterprise-grade AI featuresPremium SupportEnterprise-grade 24/7 supportPricing Search or jump to... Search code, repositories, users, issues, pull requests... Search Clear Search syntax tips Provide feedback We read every piece of feedback, and take your input very seriously. Include my email address so I can be contacted Saved searches Use saved searches to filter your results more quickly Name Query To see all available qualifiers, see our documentation. Sign in Sign up Appearance settings Resetting focus You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} aarkue Follow Overview Repositories 47 Projects 0 Packages 0 Stars 66 More Overview Repositories Projects Packages Stars aarkue Follow Aaron aarkue Follow 20 followers · 15 following RWTH Aachen University Germany https://aarkue.eu Achievementsx3x2Achievementsx3x2 Highlights Pro Block or report user Block or report aarkue Block user Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users. You must be logged in to block users. Add an optional note Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you. Block user Report abuse Contact GitHub support about this user’s behavior. Learn more about reporting abuse. Report abuse Overview Repositories 47 Projects 0 Packages 0 Stars 66 More Overview Repositories Projects Packages Stars Pinned Loading pdf-tools-web pdf-tools-web Public This project aims to provide a powerful web-based toolbox of different PDF-related features. TypeScript 21 1 rust4pm rust4pm Public Rust4PM: Rust for Process Mining. For more details, documentation and the Python/Web UI Bindings visit https://rust4pm.aarkue.eu/! Rust 25 12 eXdpn eXdpn Public Tool to mine and evaluate explainable data Petri nets using different classification techniques. Jupyter Notebook 8 1 tiptap-math-extension tiptap-math-extension Public Math Extension for the TipTap Editor TypeScript 106 14 cardflash/cardflash-monorepo cardflash/cardflash-monorepo Public Create flashcards from PDFs & link content between them TypeScript 10 2 OCPQ OCPQ Public OCPQ - Object-Centric Process Querying TypeScript 23 4 Something went wrong, please refresh the page to try again. If the problem persists, check the GitHub status page or contact support. Uh oh! There was an error while loading. Please reload this page. You can’t perform that action at this time.