kape1395 - Overview
Skip to content
Sign in
AI CODE CREATION
GitHub CopilotWrite better code with AI
GitHub SparkBuild and deploy intelligent apps
GitHub ModelsManage and compare prompts
MCP RegistryNewIntegrate external tools
DEVELOPER WORKFLOWS
ActionsAutomate any workflow
CodespacesInstant dev environments
IssuesPlan and track work
Code ReviewManage code changes
APPLICATION SECURITY
GitHub Advanced SecurityFind and fix vulnerabilities
Code securitySecure your code as you build
Secret protectionStop leaks before they start
EXPLORE
View all features
BY COMPANY SIZE
BY USE CASE
BY INDUSTRY
View all solutions
EXPLORE BY TOPIC
EXPLORE BY TYPE
SUPPORT & SERVICES
View all resources
COMMUNITY
GitHub SponsorsFund open source developers
PROGRAMS
REPOSITORIES
ENTERPRISE SOLUTIONS
Enterprise platformAI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced SecurityEnterprise-grade security features
Copilot for BusinessEnterprise-grade AI features
Premium SupportEnterprise-grade 24/7 support
We read every piece of feedback, and take your input very seriously.
Sign up
{{ message }}
kape1395 Follow
kape1395
Follow
· 30 following
@erisata
x2x3
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 supported. This note will be visible to only you.
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
iotaledger/wasp-legacy iotaledger/wasp-legacy Public
Node for IOTA Smart Contracts
Go 286 154
tlaplus/tlapm tlaplus/tlapm Public
The TLA⁺ Proof Manager
OCaml 109 31
