mizchi/dspec external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mizchi/dspec

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mizchi/dspec)

Close

mizchi / dspecView on GitHubMore

• External links
• Readme badge

Executable specification toolkit prototype

☆35Aug 13, 2026Updated 2 months ago

Alternatives and similar repositories for dspec

Users that are interested in dspec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• NyxFoundation / docs2formalspec

  View on GitHub
  Docs → RFC2119 spec + Lean4 formal verification, via local-class LLMs
  ☆19Sep 14, 2026Updated last month
• mizchi / pkfire

  View on GitHub
  Typed task runner with Bazel-style incremental caching, configured in Pkl.
  ☆53Oct 3, 2026Updated 3 weeks ago
• uhyo / maze-ad

  View on GitHub
  ☆17Mar 31, 2026Updated 6 months ago
• J-Tech-Japan / intent-system

  View on GitHub
  ☆110Oct 21, 2026Updated last week
• mizchi / explainer

  View on GitHub
  ☆458Oct 10, 2026Updated 2 weeks ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• mkazutaka / wasm-barcode-reader

  View on GitHub
  barcode reader is written by Rust/
  ☆37Dec 4, 2020Updated 5 years ago
• kazupon / vite-plugin-makefile

  View on GitHub
  Vite plugin that converts Makefile targets into vite-plus tasks
  ☆13Oct 22, 2026Updated last week
• mizchi / chaosbringer

  View on GitHub
  Chaos engineering for Playwright tests
  ☆49Updated this week
• lance-digital / gear-ui

  View on GitHub
  要件文から画面UI定義書とHTMLモックをAIで生成するオープンソースプロジェクト
  ☆20Sep 7, 2026Updated last month
• ryoppippi / nix-secure-enclave-key

  View on GitHub
  Nix-packaged Secure Enclave-backed SSH authentication and Git SSH signing for macOS.
  ☆15Oct 3, 2026Updated 3 weeks ago
• hajimehoshi / ebitenginegamejam2022

  View on GitHub
  Ebitengine Game Jam 2022
  ☆10Jun 30, 2022Updated 4 years ago
• moonbit-community / moonbit-overlay

  View on GitHub
  Reproducible nix overlay of binary distributed MoonBit toolchains and LSP
  ☆26Updated this week
• Andyyyy64 / hono-typed-rest

  View on GitHub
  library for building type-safe REST clients from Hono's application type
  ☆19Jan 7, 2026Updated 9 months ago
• coji / natural-japanese

  View on GitHub
  仕事の日本語を、読みやすくわかりやすく書く・直すための Agent Skill です。
  ☆1,987Updated this week
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• mizchi / kagura

  View on GitHub
  2D-first game engine for MoonBit inspired by Ebiten
  ☆20Oct 17, 2026Updated last week
• ubugeeei-prod / ox-content

  View on GitHub
  all-in-one markdown toolchain ― fastest, tiniest, framework agnostic, powerful, customizable
  ☆256Updated this week
• sushichan044 / cc-hooks-ts

  View on GitHub
  Define Claude Code hooks with full type safety.
  ☆39Updated this week
• qnighy / ts-syntax-spec

  View on GitHub
  Unofficial, Detailed TypeScript Syntax and Runtime Semantics
  ☆36Apr 29, 2026Updated 6 months ago
• ohs30359-nobuhara / react-starter

  View on GitHub
  https://qiita.com/ohs30359-nobuhara/items/bdc06b2db1bef7af2439
  ☆11Feb 28, 2023Updated 3 years ago
• ruccho / SerializableReadonlyStruct

  View on GitHub
  An IL Post-processor to make "readonly" structs serializable.
  ☆16Sep 23, 2024Updated 2 years ago
• jfeng45 / gtransaction

  View on GitHub
  A Go Database Trasnaction Managemnet Lib
  ☆11Jun 1, 2020Updated 6 years ago
• igrep / crispy

  View on GitHub
  Test Spy for Any Object in Ruby.
  ☆22May 5, 2015Updated 11 years ago
• laiso / cman

  View on GitHub
  Agentic Memory for Claude Code
  ☆37Sep 25, 2026Updated last month
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• mizchi / markdown.mbt

  View on GitHub
  Markdown Parser for incremental update
  ☆103Oct 19, 2026Updated last week
• mattn / entgo-openapi-echo

  View on GitHub
  ☆21Nov 13, 2022Updated 3 years ago
• ssssota / chapplin

  View on GitHub
  chapplin is a MCP Apps and ChatGPT Apps framework.
  ☆16Updated this week
• nyosegawa / spark-banana

  View on GitHub
  ☆27Mar 8, 2026Updated 7 months ago
• minorun365 / minorun-marp-skill

  View on GitHub
  Marpで登壇スライドを作るための、ストーリー・図・デザインバランスのスキル集と黒地テーマ、検査ツール
  ☆412Updated this week
• takahirom / takahirom-claude-code-marketplace

  View on GitHub
  Plugins such as Quality Gate and Skill Extractor
  ☆17Sep 26, 2026Updated last month
• digital-go-jp / machine_readability_rule

  View on GitHub
  行政データにおける機械可読性に関するルールの掲載およびルールを用いたチェックツール「Harunobu」
  ☆60Updated this week
• MaryCache / imozuru

  View on GitHub
  知らない分野を、原文にたどりつくまで芋づる式に掘る Claude Code のスキル
  ☆1,349Updated this week
• sadnessOjisan / gochann

  View on GitHub
  Go でサーバー立てる練習
  ☆11Aug 18, 2023Updated 3 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• 1amageek / database-framework

  View on GitHub
  Backend-neutral Swift database execution framework with pluggable storage, indexes, graph, RDF/OWL, SPARQL, and Embedded/WASM support.
  ☆19Updated this week
• libroworks / CSSkumihan_samples

  View on GitHub
  CSS組版のサンプル集
  ☆12May 13, 2023Updated 3 years ago
• alexku / blt-github-actions

  View on GitHub
  Github Actions integration for Acquia BLT.
  ☆10Aug 31, 2022Updated 4 years ago
• laiso / site2skill

  View on GitHub
  ☆78Jun 4, 2026Updated 4 months ago
• ttrace / bunko-galley-action

  View on GitHub
  文庫本スタイルのゲラをテキストファイルから作る、github actionsのワークフローです。
  ☆11Sep 29, 2021Updated 5 years ago
• mizchi / luna.mbt

  View on GitHub
  Experimental: Declarative UI Framework for Moonbit
  ☆173Oct 21, 2026Updated last week
• lostandfound / textlint-rule-ja-hiragana-hojodoushi

  View on GitHub
  Check easy-to-read Hojodoushi(auxiliary verbs) written in Hiragana than Kanji.
  ☆11Mar 8, 2023Updated 3 years ago