sscoble/speckl
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

Expand features from 4 to 5 cards: split Reference into Compiler + Reference Tools
Some checks failed
Deploy Landing Page to Storj / deploy (push) Failing after 0s
Details

Browse source
This commit is contained in:
Scott Scoble 2026-04-30 20:17:30 -07:00
parent 567d85e9b4
commit aaf89d7d18
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
landing/index.html
View file

@ -220,8 +220,12 @@
<p>A methodology where every behavior traces back to its source — a regulation, a design decision, a conversation. The provenance graph is always present, materialized on demand for audits or debugging.</p>
</div>
<div class="feature-card">
<h3>Reference Implementations</h3>
<p>Minimal reference tools for SpeckDL parsing, Z3 constraint verification, and provenance graph generation. The building blocks for tooling, not a production system.</p>
<h3>Compiler</h3>
<p>Compiles SpeckDL directly to Wasm through a deterministic pipeline — Z3 constraint solving, then code generation. No LLMs, no non-determinism. Same input, same output, every time.</p>
</div>
<div class="feature-card">
<h3>Reference Tools</h3>
<p>Minimal implementations for SpeckDL parsing, Z3 verification, and provenance graph generation. The building blocks for tooling, not a production system.</p>
</div>
<div class="feature-card">
<h3>Ecosystem-First</h3>