dsl-compiler-generator
Generate compilers and interpreters for domain-specific languages
a5c-ai
244
operational-semantics-builder
Define and test operational semantics specifications for programming languages
a5c-ai
244
soundness-proof-assistant
Assist in constructing type soundness proofs using progress and preservation theorems
a5c-ai
244
type-inference-engine
Implement and test type inference algorithms including Algorithm W and constraint-based inference
a5c-ai
244
typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
a5c-ai
244