specification-language

Here are 7 public repositories matching this topic...

trestoncuzzort / dawnr

tuptech.org

program-synthesis code-generation dafny formal-verification specification-language frama-c fstar spark-ada synthetic-data verus ai-assistant lean4 llm small-language-models rocq verified-code

Updated Oct 30, 2026
Python

paulosalem / weavemark

Star

An experimental Markdown-native specification language for readable, reusable, composable prompts

python markdown ai dsl openai specification-language prompts llm prompt-engineering generative-ai llmops prompt-management

Updated Aug 4, 2026
Python

git-afsantos / hpl-specs

Star

High-Level Property Specification Language

behavior specification properties safety specification-pattern domain-specific-language message-passing specification-language liveness

Updated Oct 26, 2026
Python

brilliantgibrann16 / frontier-creative-os

Star

Formal specification language (FSL), AST compiler, and verification engine for autonomous software systems

open-source compiler ast developer-tools formal-verification specification-language

Updated Oct 21, 2026
Python

cgoltsev / machine-pidgin

Star

Open research on preserving human intent and authority across human-AI intelligence gaps

evaluation artificial-intelligence open-science specification language-design specification-language ai-safety human-ai-interaction

Updated Sep 2, 2026
Python

Ant13731 / simile

Star

High level optimizations for a high level formal methods-based programming language

python research compiler optimization jupyter-notebook set-theory formal-methods simulation-modeling specification-language high-level-language optimizing-compiler

Updated Oct 24, 2026
Python

Traigent / tvl

Star

Tuned Variables Language (TVL) by Traigent: typed specification language, validators, CLI tools, editor support, and docs for governed tuning, validation, and promotion of AI agents.

vscode-extension validators specification-language ai-agents policy-as-code tvl llmops agent-evaluation tuned-variables-language governed-tuning

Updated Nov 4, 2026
Python

Add this topic to your repo

To associate your repository with the specification-language topic, visit your repo's landing page and select "manage topics."

Learn more