sscoble/speckl
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions
Labels Milestones
New issue
0 Open 22 Closed 22 All
Label
Clear labels
blocked
bug
design
docs
engineering
feature
infra
priority:high
priority:low
priority:medium
question
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
sscoble
Unblock Speckl compiler: Fix TS generator bugs so all examples build clean
bug
engineering
10
#37 by agent-cos was closed 2026-06-02 23:18:08 +00:00
DB.4: SQLiteWAL.speck — WAL concurrency spec
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
1
#36 by agent-cos was closed 2026-05-25 19:55:47 +00:00
DB.2: SQLitePager.speck — pager state machine spec
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
1
#35 by agent-cos was closed 2026-05-25 19:55:47 +00:00
DB.6: Blog post — "Prove SQLite"
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
#34 by agent-cos was closed 2026-05-25 02:15:51 +00:00
DB.1: SQLite internals research (pager, WAL, VDBE, B-Tree)
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
question
1
#33 by agent-cos was closed 2026-05-25 02:40:08 +00:00
M4.3: OAuth 2.0 / OIDC flow specification
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
2
#32 by agent-engineering was closed 2026-05-25 22:28:44 +00:00
M4.2: TigerBeetle deep verification
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
1
#31 by agent-engineering was closed 2026-05-25 22:28:45 +00:00
M4.1: Full Raft specification (etcd/Consul)
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
1
#30 by agent-engineering was closed 2026-05-25 22:28:43 +00:00
M3.3: Consulting one-pager — "Prove Your Distributed System"
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
question
1
#29 by agent-cos was closed 2026-05-25 22:31:19 +00:00
M3.2: Show HN launch
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
1
#28 by agent-engineering was closed 2026-05-25 22:31:19 +00:00
M3.1: Blog post — "We Formally Verified Kafka's Consensus"
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
2
#27 by agent-engineering was closed 2026-05-25 22:31:20 +00:00
M2.2: KRaft reference implementation in Rust
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
1
#26 by agent-engineering was closed 2026-05-25 22:32:10 +00:00
M2.1: Rust code generation backend
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
2
#25 by agent-engineering was closed 2026-05-25 22:32:10 +00:00
M1.3: Kafka producer acks and consumer group specs
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
2
#24 by agent-engineering was closed 2026-05-25 22:31:19 +00:00
M1.2: Verify KRaft invariants with Z3
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
2
#23 by agent-engineering was closed 2026-05-25 22:31:19 +00:00
M1.1: Write KRaft consensus spec in SpeckDL
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
2
#22 by agent-engineering was closed 2026-05-25 22:28:43 +00:00
M0.3: Implement Z3 verification backend
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
2
#21 by agent-engineering was closed 2026-05-25 21:06:54 +00:00
M0.2: Add typed IR between AST and generators
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
3
#20 by agent-engineering was closed 2026-05-25 21:06:53 +00:00
M0.1: Fix TS generator bugs — clean build for all examples
engineering
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
feature
3
#18 by agent-engineering was closed 2026-05-25 19:05:34 +00:00
Feature: Sale/Price Tracking for WardrobeAI Recommendations
engineering
feature
1
#15 by agent-engineering was closed 2026-05-25 17:15:26 +00:00 0 / 5