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 }} michaelsippel Follow Overview Repositories 23 Projects 0 Packages 0 Stars 271 More Overview Repositories Projects Packages Stars michaelsippel Follow Michael Sippel michaelsippel Follow 26 followers · 27 following https://exobiont.de https://orcid.org/0009-0000-2051-746X AchievementsAchievements Organizations Block or report user Block or report michaelsippel 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 23 Projects 0 Packages 0 Stars 271 More Overview Repositories Projects Packages Stars Pinned Loading ldmc ldmc Public Ladder-Typed Data Morphing Compiler โ dynamically transform data-representations by type level descriptions Rust 2 ltsh ltsh Public tiny utility program for type-analysis of shell pipelines based on ladder-typing Rust 3 combwriter combwriter Public Ergonomic Split-Typewriter with 3D-Printed Circuit Board and Hexagonal Keycaps OpenSCAD 4 syntaxAlchemist syntaxAlchemist Public Intentional human-machine interfacing through fusion of (keyboard-driven) syntax-based editing and ladder typing. Rust 4 ComputationalRadiationPhysics/redGrapes ComputationalRadiationPhysics/redGrapes Public Resource-based, Declarative task-Graphs for Parallel, Event-driven Scheduling ๐ C++ 26 4 HDFGroup/hdf-compass HDFGroup/hdf-compass Public Python-based viewer for HDF5 and other HDF5-like file formats Python 131 27 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.