Owner

flyingrobots

登入後關注

已索引 2 個儲存庫 · 在 GitHub 檢視

edict
Edict language specifications, Core IR, canonicalization, and conformance fixtures

Rust · 0 個 star
AI-TTS
Local text-to-speech for macOS with a synthesis queue, a serialized playback queue, and menu-bar transport controls. Built for agents tha...

Python · 0 個 star

適合新手全部

未關閉全部

可能已有人在做的 issue 排在最後。全部依時間排序

Compare the projection semantic closure by its canonical identity
未關閉
- 哪裡不對？
bug

難度 2/5 1-3 小時新手友好度 76/100

flyingrobots/edict#306 · 2026年11月8日建立
Drive a public build of a structured v3 operation through a v3 adapter fixture
未關閉
- 哪裡不對？
enhancement release:target-ir

難度 4/5 3-5 天新手友好度 49/100

flyingrobots/edict#305 · 1 則留言 · 1 個 reaction · 2026年11月8日建立
Claim Match-arm binders as fresh identities in the v3 order judgment
未關閉
- 哪裡不對？
bug enhancement release:target-ir

難度 4/5 3-5 天新手友好度 52/100

flyingrobots/edict#304 · 2026年11月8日建立
project: a source function the compiler accepts can fail Core encoding with a CLI failure (CoreDigest NestingLimitExceeded) between 62 and 128 nested calls
未關閉
- 哪裡不對？
bug

難度 4/5 3-5 天新手友好度 48/100

flyingrobots/edict#302 · 2026年11月8日建立
Library callers on small threads can still overflow before MAX_SOURCE_NESTING_DEPTH is reached in debug builds
未關閉
- 哪裡不對？
bug

難度 4/5 3-5 天新手友好度 45/100

flyingrobots/edict#301 · 2026年11月8日建立
Replace Python tooling and enforce Rust/TypeScript-only development
未關閉
- 哪裡不對？
enhancement type: goalpost

難度 4/5 3-5 天新手友好度 22/100

flyingrobots/edict#298 · 1 則留言 · 1 個 reaction · 2026年11月1日建立
Compose the demonstrated optics without losing basis or support
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 8/100

flyingrobots/edict#296 · 2026年11月1日建立
Compile collection membership operations into one validated candidate
未關閉
- 哪裡不對？
enhancement type: goalpost

難度 5/5 一週以上新手友好度 8/100

flyingrobots/edict#295 · 2026年11月1日建立
Compile bounded snapshot traversal with complete selection support
未關閉
- 哪裡不對？
enhancement type: goalpost

難度 5/5 一週以上新手友好度 8/100

flyingrobots/edict#294 · 2026年11月1日建立
Compile one witnessed optional-slot optic and guarded candidate
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 12/100

flyingrobots/edict#293 · 2026年11月1日建立
Demonstrate a pure optic description on the existing flat text operation
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 8/100

flyingrobots/edict#292 · 2026年11月1日建立
Define typed immutable content references and semantic value identity
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 8/100

flyingrobots/edict#291 · 2026年11月1日建立
Roadmap (tracking container): bounded collections, witnessed optics, and authored rope execution
未關閉
- 哪裡不對？
type: goalpost

難度 5/5 一週以上新手友好度 3/100

flyingrobots/edict#288 · 1 則留言 · 1 個 reaction · 2026年11月1日建立
Signed addition is refused with the unsigned-overflow diagnostic, even when bounded
未關閉
- 哪裡不對？
bug

難度 3/5 1-2 天新手友好度 58/100

flyingrobots/edict#276 · 2026年10月26日建立
Offer Pocket TTS and VibeVoice in guided model setup
未關閉
- 哪裡不對？
enhancement

難度 4/5 3-5 天新手友好度 48/100

flyingrobots/AI-TTS#166 · 2026年10月25日建立
COOL IDEA: spell out numbers before synthesis for engines that misread digits
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 38/100

flyingrobots/AI-TTS#165 · 2026年10月25日建立
Installed model runtimes keep a stale worker adapter after a daemon upgrade
未關閉
- 哪裡不對？
enhancement

難度 4/5 3-5 天新手友好度 54/100

flyingrobots/AI-TTS#164 · 2026年10月25日建立
Report output latency with playback position so word highlighting matches what is heard
未關閉
- 哪裡不對？
enhancement

難度 4/5 1-2 天新手友好度 58/100

flyingrobots/AI-TTS#163 · 2026年10月25日建立
Bounded state-carrying iteration (fold)
未關閉
- 哪裡不對？
難度 5/5 一週以上新手友好度 25/100

flyingrobots/edict#268 · 2026年10月21日建立
Lower bounded for loops that emit effects to Target IR
未關閉
- 哪裡不對？
難度 4/5 3-5 天新手友好度 48/100

flyingrobots/edict#267 · 2026年10月20日建立
Byte primitives: at, count, isUtf8
未關閉
- 哪裡不對？
難度 3/5 1-2 天新手友好度 56/100

flyingrobots/edict#266 · 2026年10月20日建立
Typed failures in pure functions
未關閉
- 哪裡不對？
難度 5/5 一週以上新手友好度 25/100

flyingrobots/edict#265 · 2026年10月20日建立
Function preconditions and flow-sensitive proofs for subtraction and slice
未關閉
- 哪裡不對？
難度 5/5 一週以上新手友好度 35/100

flyingrobots/edict#264 · 2026年10月20日建立
Checked arithmetic, min and max in Edict source
未關閉
- 哪裡不對？
難度 2/5 1-3 小時新手友好度 65/100

flyingrobots/edict#263 · 2 則留言 · 2026年10月20日建立
Bounded recursion over depth-bounded variants
未關閉
- 哪裡不對？
難度 5/5 一週以上新手友好度 25/100

flyingrobots/edict#262 · 1 則留言 · 2026年10月20日建立
Variant and Option types in Edict source
未關閉
- 哪裡不對？
難度 5/5 一週以上新手友好度 35/100

flyingrobots/edict#261 · 2 則留言 · 2026年10月20日建立
Expose ContentAddressV1 identity inputs to Edict source
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 35/100

flyingrobots/edict#260 · 1 則留言 · 2026年10月20日建立
Add dictation to the menu-bar application
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 35/100

flyingrobots/AI-TTS#156 · 2026年10月12日建立
Add the listen and dictate commands
未關閉
- 哪裡不對？
enhancement

難度 4/5 3-5 天新手友好度 38/100

flyingrobots/AI-TTS#155 · 2026年10月12日建立
Replace the floor with turn-taking
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 28/100

flyingrobots/AI-TTS#154 · 2026年10月12日建立
Add listening to the daemon
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 35/100

flyingrobots/AI-TTS#153 · 2026年10月12日建立
Remove the Python daemon and the output process
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 28/100

flyingrobots/AI-TTS#152 · 2026年10月12日建立
Cut over to the Rust daemon
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 25/100

flyingrobots/AI-TTS#151 · 2026年10月12日建立
Install the Rust binaries and launch agents
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 25/100

flyingrobots/AI-TTS#150 · 2026年10月12日建立
Run the Rust daemon beside the Python daemon
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 25/100

flyingrobots/AI-TTS#149 · 2026年10月12日建立
Complete the operation set of the Rust daemon
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 38/100

flyingrobots/AI-TTS#148 · 2026年10月12日建立
Add the doctor command
未關閉
- 哪裡不對？
enhancement

難度 4/5 1-2 天新手友好度 34/100

flyingrobots/AI-TTS#147 · 2026年10月12日建立
Add the player with in-process audio
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 35/100

flyingrobots/AI-TTS#146 · 2026年10月12日建立
Add the conductor and synthesis to the daemon
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 20/100

flyingrobots/AI-TTS#145 · 2026年10月12日建立
Add the transcript model and store
未關閉
- 哪裡不對？
enhancement

難度 4/5 3-5 天新手友好度 35/100

flyingrobots/AI-TTS#144 · 2026年10月12日建立
Create the daemon binary with read-only operations
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 35/100

flyingrobots/AI-TTS#143 · 2026年10月12日建立
Add the recognizer interface and the FunASR worker
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 25/100

flyingrobots/AI-TTS#142 · 2026年10月12日建立
Test a native Kokoro engine against the reference worker
未關閉
- 哪裡不對？
難度 5/5 一週以上新手友好度 20/100

flyingrobots/AI-TTS#141 · 2026年10月12日建立
Port the terminal dashboard to Rust
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 25/100

flyingrobots/AI-TTS#140 · 2026年10月12日建立
Port the MCP adapter to Rust
未關閉
- 哪裡不對？
enhancement

難度 4/5 3-5 天新手友好度 45/100

flyingrobots/AI-TTS#139 · 2026年10月12日建立
Port the command-line client to Rust
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 32/100

flyingrobots/AI-TTS#138 · 2026年10月12日建立
Add listen operations and transcript events to the protocol
未關閉
- 哪裡不對？
enhancement

難度 4/5 3-5 天新手友好度 35/100

flyingrobots/AI-TTS#137 · 2026年10月12日建立
Create the artifacts crate
未關閉
- 哪裡不對？
enhancement

難度 4/5 3-5 天新手友好度 35/100

flyingrobots/AI-TTS#136 · 2026年10月12日建立
Create the store crate on the same SQLite file
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 42/100

flyingrobots/AI-TTS#135 · 2026年10月12日建立
Add the duplex audio adapter
未關閉
- 哪裡不對？
enhancement

難度 5/5 一週以上新手友好度 28/100

flyingrobots/AI-TTS#134 · 2026年10月12日建立

只顯示最新的 100 筆

這個頁面只列出最近收錄的部分。完整清單在進階篩選裡，可以依語言、難度和預計耗時篩選。

前往進階篩選

flyingrobots

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

哪裡不對？

只顯示最新的 100 筆

把新 issue 寄到你的電子郵件信箱