An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
-
Updated
Sep 28, 2026 - TypeScript
#
specification-language
Here are 46 public repositories matching this topic...
Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
-
Updated
Aug 25, 2026 - OCaml
The Hoa\Praspel library.
testing php library constraint-solver hoa praspel contract-based-testing contract-coverage-criteria specification-language realistic-domains
-
Updated
Jan 10, 2017 - PHP
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
-
Updated
Sep 10, 2026 - Java
A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.
rust distributed-systems model-checking formal-verification specification-language concurrent-systems tla-plus
-
Updated
Jun 26, 2026 - Rust
Spek Behavior-Driven-Development extensions
-
Updated
Oct 12, 2020 - Kotlin
A Universal Modeling Language for Metabolic Flux Analysis
modeling-language specification-language metabolic-models metabolic-network metabolic-engineering metabolic-flux-analysis 13c-mfa
-
Updated
Aug 10, 2026 - C++
The Spex specification language and toolkit
-
Updated
Jan 30, 2025 - Haskell
Local-first code navigation index and feature-to-evidence chain for AI coding agents: tree-sitter symbol index, project memory, YAML feature specs, an operations journal and PROVEN/FAILED proof from test runs. Rust CLI.
rust code-navigation cli tree-sitter sqlite bdd code-search developer-tools specification-language ai-agents code-index test-evidence feature-driven-development requirements-traceability llm-agents coding-agents agent-memory fdml
-
Updated
Sep 17, 2026 - Rust
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
MimiSpec language — a high-information-density intent specification language with parser CLI, AST, and LaTeX rendering
rust dsl pratt-parser rust-lang language-parser specification-language formal-specification progressive-refinement human-ai-collaboration intent-language fragment-architecture
-
Updated
Jul 19, 2026 - Rust
[WIP] Mya language specification
-
Updated
May 22, 2025 - Makefile
A declarative specification language for human-agent collaboration. Define what and what constraints, not how. Built with Rust + PEG grammar (pest). 🤖 Co-developed with Claude (Anthropic).
programming-language rust parser dsl ast intermediate-representation formal-verification pest semantic-analysis specification-language type-checker design-by-contract declarative-programming ai-collaboration human-agent-collaboration peg-grammar
-
Updated
Mar 9, 2026 - Rust
An assistant built to be trusted by proof, not by sounding right: a small language model trained from random weights on one machine, running with nothing behind it, whose programs carry specifications checked by seven provers (Dafny, Verus, SPARK, Frama-C, Lean 4, Rocq, F*), each also refuting a sabotaged twin. It learns only from what was proved.
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 2, 2026 - Python
Z/Alloy formal specification for client identifying data regulation for banks in Switzerland
finance switzerland specification banks cid formal-verification banken specification-language z-notations schweiz finanzen alloy-analyzer finma client-identifying-data jaza rundschreiben regulierung z-notation czt kundendaten
-
Updated
Jul 4, 2020 - Alloy
Logic programming language used for controlled, incremental modelling of complex systems, motivated by its application to federated data exchange.
-
Updated
Apr 29, 2025 - Rust
OrgScript is a human-readable, AI-friendly description language for business logic, workflows, rules, and operational systems.
rules automation ai developer-tools business-logic state-machines domain-specific-language workflows workflow-automation process-modeling specification-language workflow-language ai-tools business-logic-layer
-
Updated
Jul 20, 2026 - JavaScript
High-Level Property Specification Language
behavior specification properties safety specification-pattern domain-specific-language message-passing specification-language liveness
-
Updated
Sep 28, 2026 - Python
SDL process specification and simulation in Go (golang)
-
Updated
Apr 14, 2021 - Go
A toy specification language designed for my high school's senior capstone project.
presentation specification formal-methods formal-verification design-document specification-language presentation-slides
-
Updated
Aug 14, 2023 - HTML
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."