Nimblesite/osprey

GitHub で見る

A modern functional programming language designed for elegance, safety, and performance. Written in Rust, outputs to LLVM.

Nimblesite/osprey は初心者に優しい？

Nimblesite/osprey への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。初心者向けの issue が現在 1 件オープンです。

スター: 60
フォーク: 5
オープンの初心者向け issue: 1
索引済み issue: 63
平均マージ: 1日 7時間
マージ済み PR（30日）: 7

主要言語: Rust
ライセンス: ライセンスのデータがありません
最終 GitHub push: 2026年9月26日
最新の索引: 2026年9月19日
コントリビューションガイド: コントリビューションガイド
行動規範: 行動規範がありません
初心者向けラベル: 初心者向けラベルは索引されていません

Nimblesite/osprey にコントリビュートするには

まずコントリビューションガイドを読みましょう。変更の提案、テスト、レビューの進め方が書かれています。
このプロジェクトには dev container があります。Codespaces で開くと、ブラウザですぐに開発環境が手に入ります。
下にある初心者向けのオープンな issue を選び、作業を始める前に取り組みたいとコメントしましょう。

初心者向けすべて

オープンすべて

誰かが対応中かもしれないイシューは最後に並べています。すべて日付順に表示

[SHOWSTOPPER] Five gates claim guarantees they do not enforce — Rust coverage covers 9 of 12 crates, deslop states three ceilings, branch-protection has a dead trap check
オープン
- 何か問題がありますか？
critical showstopper

難易度 5/5 1週間以上初心者へのやさしさ 35/100

Nimblesite/osprey#232 · 2026年8月27日に作成
[SHOWSTOPPER] Land plan 0027 (arithmetic as an effect) before the `?:` tax compounds further — 6,401 of 6,408 sites appeared in the last five weeks
オープン
- 何か問題がありますか？
critical showstopper

難易度 5/5 1週間以上初心者へのやさしさ 35/100

Nimblesite/osprey#231 · 2026年8月27日に作成
[SHOWSTOPPER] `?: 0` fabricates a value on arithmetic overflow — silent wrong answers, taught by the flagship showcase (3,405 sites)
オープン
- 何か問題がありますか？
bug critical showstopper

難易度 5/5 1週間以上初心者へのやさしさ 35/100

Nimblesite/osprey#230 · コメント 1 件 · 2026年8月27日に作成
No Windows parity suite for [BUILTIN-PROCESS-FAILURE]: the Win32 spawn unwind is source-only and no CI job executes it
オープン
- 何か問題がありますか？
bug

難易度 4/5 3〜5日初心者へのやさしさ 42/100

Nimblesite/osprey#228 · 2026年8月26日に作成
Channel element ABI metadata is lost on returns, function-value parameters and generic/anonymous fields — recv() silently drops the nested descriptor
オープン
- 何か問題がありますか？
bug

難易度 5/5 1週間以上初心者へのやさしさ 35/100

Nimblesite/osprey#227 · 2026年8月26日に作成
random_runtime coverage is 91.43% on Linux vs 100% on macOS: the /dev/urandom fallback path is glibc-only
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 58/100

Nimblesite/osprey#226 · 2026年8月26日に作成
effects_coro coverage is 92.78% on Linux vs ~100% on macOS: forked death tests never flush gcov under GNU ld
オープン
- 何か問題がありますか？
難易度 3/5 1〜2日初心者へのやさしさ 68/100

Nimblesite/osprey#225 · 2026年8月26日に作成
The redundant-annotation gate enforces return types only, not parameters or lambdas
オープン
- 何か問題がありますか？
難易度 3/5 1〜2日初心者へのやさしさ 76/100

Nimblesite/osprey#220 · 2026年8月17日に作成
Inferred parameter types miss the second of two module functions sharing a leaf name
オープン
- 何か問題がありますか？
bug

難易度 4/5 3〜5日初心者へのやさしさ 55/100

Nimblesite/osprey#217 · 2026年8月17日に作成
ML signature arity is graded one way only: a curried signature on a flat binding is accepted silently
オープン
- 何か問題がありますか？
bug

難易度 4/5 3〜5日初心者へのやさしさ 65/100

Nimblesite/osprey#216 · 2026年8月17日に作成
The redundant-annotation gate does not sweep ML (.ospml) sources
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 68/100

Nimblesite/osprey#215 · 2026年8月17日に作成
An instantiated generic record renders without its type arguments: Box<int> reports as Box
オープン
- 何か問題がありますか？
bug

難易度 5/5 1週間以上初心者へのやさしさ 38/100

Nimblesite/osprey#214 · コメント 2 件 · 2026年8月17日に作成
HTTP status-only builtins return bare int, so a failed httpListen bind is silently ignorable — program prints "server up" and exits 0
オープン
- 何か問題がありますか？
bug

難易度 4/5 3〜5日初心者へのやさしさ 52/100

Nimblesite/osprey#213 · 2026年8月17日に作成
listGet/mapGet silently return the raw storage word for string, record, float and bool elements
オープン
- 何か問題がありますか？
bug

難易度 5/5 1週間以上初心者へのやさしさ 35/100

Nimblesite/osprey#211 · 2026年8月15日に作成
Default flavor silently splits ML-style juxtaposition "f x" into two statements instead of rejecting it
オープン
- 何か問題がありますか？
bug

難易度 4/5 3〜5日初心者へのやさしさ 52/100

Nimblesite/osprey#206 · 2026年8月12日に作成
String interpolation of a function value prints raw pointer bytes instead of failing to compile
オープン
- 何か問題がありますか？
bug

難易度 4/5 3〜5日初心者へのやさしさ 45/100

Nimblesite/osprey#205 · 2026年8月12日に作成
Website E2E's zero-console-errors assertion depends on a third-party script, so CI flakes red at random
オープン
- 何か問題がありますか？
bug

難易度 3/5 1〜2日初心者へのやさしさ 68/100

Nimblesite/osprey#204 · 2026年8月12日に作成
Linux: all 8 lldb-dap debugger E2E tests time out on the gpu branch (they pass on main in ~600ms)
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 45/100

Nimblesite/osprey#203 · コメント 2 件 · 2026年8月12日に作成
wasm corpus: Node's WASI host aborted with "Check failed: storage_.is_populated_" running stress.test.ospml on CI
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 48/100

Nimblesite/osprey#202 · コメント 4 件 · 2026年8月11日に作成
failscompilation: recursive_generic_needs_annotation was retargeted; genfn's re-entry diagnostic lost its corpus case
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 48/100

Nimblesite/osprey#201 · 2026年8月11日に作成
Effects soundness umbrella: one operation ABI, one dispatcher, one context carrier (fixes 9 open effect bugs)
オープン
- 何か問題がありますか？
難易度 5/5 1週間以上初心者へのやさしさ 25/100

Nimblesite/osprey#200 · 2026年8月11日に作成
Duplication: 4.29% -> 4% — the remaining mass is inline #[cfg(test)] modules the path-based exclude cannot reach
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 55/100

Nimblesite/osprey#199 · 2026年8月11日に作成
C coverage: term_runtime and test_runtime report 0% because fork-harness children never flush gcov counters
オープン
- 何か問題がありますか？
難易度 3/5 1〜2日初心者へのやさしさ 74/100

Nimblesite/osprey#198 · 2026年8月11日に作成
C runtime: 11 libraries are below the 90% coverage floor (websocket_server 24%, websocket_client 37%, random 47%)
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 48/100

Nimblesite/osprey#197 · コメント 1 件 · 2026年8月11日に作成
test_http_length_validation writes ~4KB into a 2000-byte stack buffer (and asserted a wrong constant)
オープン
- 何か問題がありますか？
bug

難易度 2/5 1〜3時間初心者へのやさしさ 25/100

Nimblesite/osprey#196 · 2026年8月11日に作成
profiler: OspProfSlot.fiber_id/label are never populated — every self-slot consumer reads 0/""
オープン
- 何か問題がありますか？
bug

難易度 1/5 1時間未満初心者へのやさしさ 35/100

Nimblesite/osprey#195 · 2026年8月11日に作成
websocket: parse_websocket_frame rejected every 128–255 byte payload (signed char sign-extension)
オープン
- 何か問題がありますか？
bug

難易度 2/5 1〜3時間初心者へのやさしさ 88/100

Nimblesite/osprey#194 · 2026年8月11日に作成
websocket: two connections opened in the same second send an IDENTICAL Sec-WebSocket-Key nonce
オープン
- 何か問題がありますか？
bug showstopper

難易度 2/5 1〜3時間初心者へのやさしさ 35/100

Nimblesite/osprey#193 · 2026年8月11日に作成
websocket: base64_encode emits no RFC 4648 padding — handshake keys/accept tokens are undecodable
オープン
- 何か問題がありますか？
bug showstopper

難易度 1/5 1時間未満初心者へのやさしさ 25/100

Nimblesite/osprey#192 · 2026年8月11日に作成
string: toString on a float silently printed a different value (%.10g truncation + fabricated ".0")
オープン
- 何か問題がありますか？
bug

難易度 3/5 1〜2日初心者へのやさしさ 20/100

Nimblesite/osprey#191 · 2026年8月11日に作成
[SHOWSTOPPER] Plain integer arithmetic silently overflows outside Result/effect safety
オープン
- 何か問題がありますか？
showstopper

難易度 5/5 1週間以上初心者へのやさしさ 35/100

Nimblesite/osprey#187 · コメント 2 件 · 2026年7月26日に作成
CRITICAL: algebraic-effect LSP hover and implementation navigation are broken
オープン
- 何か問題がありますか？
bug showstopper

難易度 4/5 3〜5日初心者へのやさしさ 55/100

Nimblesite/osprey#186 · 2026年7月26日に作成
CRITICAL: resuming handlers leak string continuation results under ARC
オープン
- 何か問題がありますか？
bug showstopper

難易度 4/5 3〜5日初心者へのやさしさ 52/100

Nimblesite/osprey#185 · 2026年7月26日に作成
CRITICAL: four-argument curried ML functions can silently skip handled effects
オープン
- 何か問題がありますか？
bug showstopper

難易度 5/5 1週間以上初心者へのやさしさ 45/100

Nimblesite/osprey#184 · 2026年7月26日に作成
CRITICAL: direct effect handlers corrupt Result operation values with pointer-like integers
オープン
- 何か問題がありますか？
bug showstopper

難易度 4/5 3〜5日初心者へのやさしさ 52/100

Nimblesite/osprey#183 · 2026年7月26日に作成
Language: `mut` is a free-for-all imperative variable — design intent is mutation only through algebraic-effect handlers (checker + specs + examples disagree)
オープン
- 何か問題がありますか？
難易度 5/5 1週間以上初心者へのやさしさ 35/100

Nimblesite/osprey#180 · 2026年7月25日に作成
Effects: re-performing the same effect inside its own handler arm hangs (infinite loop) instead of forwarding to an outer handler or failing
オープン
- 何か問題がありますか？
bug

難易度 4/5 3〜5日初心者へのやさしさ 52/100

Nimblesite/osprey#179 · 2026年7月25日に作成
ML flavor: handler-owned `mut` state not updated when the effect is performed from a nested function (Default works) — [FLAVOR-IR-EQUIV] violation
オープン
- 何か問題がありますか？
bug

難易度 4/5 3〜5日初心者へのやさしさ 48/100

Nimblesite/osprey#178 · 2026年7月25日に作成
Effects: handler resumption mode inferred per-handler (resume-keyword scan), not per-arm — non-compositional, deviates from spec 0017 and the algebraic-effects literature
オープン
- 何か問題がありますか？
bug

難易度 5/5 1週間以上初心者へのやさしさ 45/100

Nimblesite/osprey#177 · 2026年7月25日に作成
LSP `textDocument/completion` returns a bare array (isIncomplete:false); context-sensitive results get client-cached and leak declaration keywords into value positions
オープン
- 何か問題がありますか？
showstopper

難易度 3/5 1〜2日初心者へのやさしさ 45/100

Nimblesite/osprey#174 · コメント 1 件 · 2026年7月24日に作成
VS Code extension never restarts the language server when `osprey.server.compilerPath` changes (serves a silently stale compiler)
オープン
- 何か問題がありますか？
showstopper

難易度 3/5 1〜2日初心者へのやさしさ 72/100

Nimblesite/osprey#173 · コメント 1 件 · 2026年7月24日に作成
typical installation - error
オープン
- 何か問題がありますか？
難易度 3/5 1〜2日初心者へのやさしさ 55/100

Nimblesite/osprey#168 · コメント 1 件 · 2026年7月12日に作成
ML flavor: layout lexer rejects multi-line string literals ("unterminated string literal" at newline) — Default flavor accepts them
オープン
- 何か問題がありますか？
難易度 3/5 1〜2日初心者へのやさしさ 78/100

Nimblesite/osprey#164 · 2026年6月30日に作成
Arithmetic '-> int' return is load-bearing (Result auto-unwrap) but looks redundant — redundant-symbol autofix would silently corrupt output
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 45/100

Nimblesite/osprey#163 · 2026年6月30日に作成
HTTP twin examples flaky in differential harness: .ospml binds same fixed port its .osp twin just released (no SO_REUSEADDR)
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 58/100

Nimblesite/osprey#162 · 2026年6月30日に作成
Curry-by-default: multi-param ML functions lower to closures, drifting LLVM IR from flat Default twins (violates [FLAVOR-IR-EQUIV])
オープン
- 何か問題がありますか？
showstopper

難易度 4/5 3〜5日初心者へのやさしさ 45/100

Nimblesite/osprey#161 · 2026年6月30日に作成
codegen: polymorphic curried / partial-applied functions fail with "closure value with a still-generic type"
オープン
- 何か問題がありますか？
難易度 5/5 1週間以上初心者へのやさしさ 48/100

Nimblesite/osprey#160 · 2026年6月30日に作成
Spec clarity audit: align all specs (0001–0024 + README) to the flavors model (curry-by-default, no-main, no-redundant-types)
オープン
- 何か問題がありますか？
難易度 5/5 1週間以上初心者へのやさしさ 25/100

Nimblesite/osprey#159 · 2026年6月30日に作成
Codegen: iterating a List of records (map/fold + field access) emits invalid LLVM IR (both flavors)
オープン
- 何か問題がありますか？
難易度 4/5 3〜5日初心者へのやさしさ 52/100

Nimblesite/osprey#158 · 2026年6月30日に作成
Synthesised main emits a stray trailing space vs explicit main (breaks byte-exact goldens)
オープン
- 何か問題がありますか？
難易度 3/5 1〜2日初心者へのやさしさ 68/100

Nimblesite/osprey#157 · 2026年6月30日に作成

Nimblesite/osprey

Nimblesite/osprey は初心者に優しい？

Nimblesite/osprey にコントリビュートするには

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

新しい issue をメールで受け取る