Repository Index

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven

My own notes (drafts mostly) about software quality

• ebooks
• quality-assurance
• software-testing
• courses

Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.

• ai-agents
• ai-skills
• antigravity
• ast

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

• formal-verification
• formal-methods
• formal-specification
• ada

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark