Repository Index

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

• static-analysis
• software-verification
• abstract-interpretation
• program-analysis

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

A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking

• graphql-schema
• dotnet-cli
• fable
• graphql