nickbattle - 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
View all features
Sign up
Self Employed
Formal Modelling in VDM
Java 29 22
The Overture Tool
Java 50 24
A formal model of the FMI specification in VDM
HTML 14 3
A formal model of the URDF specification in VDM
Shell