Nimblesite/osprey

View on GitHub

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

Stars: 60
Forks: 5
Open beginner issues: 0
Indexed issues: 63
Avg merge: 4h 42m
Merged PRs (30d): 8

Dominant language: Rust
License: No license data
Last GitHub push: Sep 16, 2026
Latest indexed: Sep 19, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

63 open issues indexed

[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 Open

critical showstopper

Difficulty 5/5 Over a week Newbie friendliness 35/100

Nimblesite/osprey#232 · Opened Aug 27, 2026
[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 Open

critical showstopper

Difficulty 5/5 Over a week Newbie friendliness 35/100

Nimblesite/osprey#231 · Opened Aug 27, 2026
[SHOWSTOPPER] `?: 0` fabricates a value on arithmetic overflow — silent wrong answers, taught by the flagship showcase (3,405 sites) Open

bug critical showstopper

Difficulty 5/5 Over a week Newbie friendliness 35/100

Nimblesite/osprey#230 · 1 comment · Opened Aug 27, 2026
No Windows parity suite for [BUILTIN-PROCESS-FAILURE]: the Win32 spawn unwind is source-only and no CI job executes it Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 42/100

Nimblesite/osprey#228 · Opened Aug 26, 2026
Channel element ABI metadata is lost on returns, function-value parameters and generic/anonymous fields — recv() silently drops the nested descriptor Open

bug

Difficulty 5/5 Over a week Newbie friendliness 35/100

Nimblesite/osprey#227 · Opened Aug 26, 2026
random_runtime coverage is 91.43% on Linux vs 100% on macOS: the /dev/urandom fallback path is glibc-only Open

Difficulty 4/5 3-5 days Newbie friendliness 58/100

Nimblesite/osprey#226 · Opened Aug 26, 2026
effects_coro coverage is 92.78% on Linux vs ~100% on macOS: forked death tests never flush gcov under GNU ld Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

Nimblesite/osprey#225 · Opened Aug 26, 2026
The redundant-annotation gate enforces return types only, not parameters or lambdas Open

Difficulty 3/5 1-2 days Newbie friendliness 76/100

Nimblesite/osprey#220 · Opened Aug 17, 2026
Inferred parameter types miss the second of two module functions sharing a leaf name Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 55/100

Nimblesite/osprey#217 · Opened Aug 17, 2026
ML signature arity is graded one way only: a curried signature on a flat binding is accepted silently Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 65/100

Nimblesite/osprey#216 · Opened Aug 17, 2026
The redundant-annotation gate does not sweep ML (.ospml) sources Open

Difficulty 4/5 3-5 days Newbie friendliness 68/100

Nimblesite/osprey#215 · Opened Aug 17, 2026
An instantiated generic record renders without its type arguments: Box<int> reports as Box Open

bug

Difficulty 5/5 Over a week Newbie friendliness 38/100

Nimblesite/osprey#214 · 2 comments · Opened Aug 17, 2026
HTTP status-only builtins return bare int, so a failed httpListen bind is silently ignorable — program prints "server up" and exits 0 Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 52/100

Nimblesite/osprey#213 · Opened Aug 17, 2026
listGet/mapGet silently return the raw storage word for string, record, float and bool elements Open

bug

Difficulty 5/5 Over a week Newbie friendliness 35/100

Nimblesite/osprey#211 · Opened Aug 15, 2026
Default flavor silently splits ML-style juxtaposition "f x" into two statements instead of rejecting it Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 52/100

Nimblesite/osprey#206 · Opened Aug 12, 2026
String interpolation of a function value prints raw pointer bytes instead of failing to compile Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 45/100

Nimblesite/osprey#205 · Opened Aug 12, 2026
Website E2E's zero-console-errors assertion depends on a third-party script, so CI flakes red at random Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 68/100

Nimblesite/osprey#204 · Opened Aug 12, 2026
Linux: all 8 lldb-dap debugger E2E tests time out on the gpu branch (they pass on main in ~600ms) Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

Nimblesite/osprey#203 · 2 comments · Opened Aug 12, 2026
wasm corpus: Node's WASI host aborted with "Check failed: storage_.is_populated_" running stress.test.ospml on CI Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

Nimblesite/osprey#202 · 4 comments · Opened Aug 11, 2026
failscompilation: recursive_generic_needs_annotation was retargeted; genfn's re-entry diagnostic lost its corpus case Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

Nimblesite/osprey#201 · Opened Aug 11, 2026
Effects soundness umbrella: one operation ABI, one dispatcher, one context carrier (fixes 9 open effect bugs) Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

Nimblesite/osprey#200 · Opened Aug 11, 2026
Duplication: 4.29% -> 4% — the remaining mass is inline #[cfg(test)] modules the path-based exclude cannot reach Open

Difficulty 4/5 3-5 days Newbie friendliness 55/100

Nimblesite/osprey#199 · Opened Aug 11, 2026
C coverage: term_runtime and test_runtime report 0% because fork-harness children never flush gcov counters Open

Difficulty 3/5 1-2 days Newbie friendliness 74/100

Nimblesite/osprey#198 · Opened Aug 11, 2026
C runtime: 11 libraries are below the 90% coverage floor (websocket_server 24%, websocket_client 37%, random 47%) Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

Nimblesite/osprey#197 · 1 comment · Opened Aug 11, 2026
test_http_length_validation writes ~4KB into a 2000-byte stack buffer (and asserted a wrong constant) Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 25/100

Nimblesite/osprey#196 · Opened Aug 11, 2026
profiler: OspProfSlot.fiber_id/label are never populated — every self-slot consumer reads 0/"" Open

bug

Difficulty 1/5 Under an hour Newbie friendliness 35/100

Nimblesite/osprey#195 · Opened Aug 11, 2026
websocket: parse_websocket_frame rejected every 128–255 byte payload (signed char sign-extension) Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 88/100

Nimblesite/osprey#194 · Opened Aug 11, 2026
websocket: two connections opened in the same second send an IDENTICAL Sec-WebSocket-Key nonce Open

bug showstopper

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

Nimblesite/osprey#193 · Opened Aug 11, 2026
websocket: base64_encode emits no RFC 4648 padding — handshake keys/accept tokens are undecodable Open

bug showstopper

Difficulty 1/5 Under an hour Newbie friendliness 25/100

Nimblesite/osprey#192 · Opened Aug 11, 2026
string: toString on a float silently printed a different value (%.10g truncation + fabricated ".0") Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 20/100

Nimblesite/osprey#191 · Opened Aug 11, 2026
[SHOWSTOPPER] Plain integer arithmetic silently overflows outside Result/effect safety Open

showstopper

Difficulty 5/5 Over a week Newbie friendliness 35/100

Nimblesite/osprey#187 · 2 comments · Opened Jul 26, 2026
CRITICAL: algebraic-effect LSP hover and implementation navigation are broken Open

bug showstopper

Difficulty 4/5 3-5 days Newbie friendliness 55/100

Nimblesite/osprey#186 · Opened Jul 26, 2026
CRITICAL: resuming handlers leak string continuation results under ARC Open

bug showstopper

Difficulty 4/5 3-5 days Newbie friendliness 52/100

Nimblesite/osprey#185 · Opened Jul 26, 2026
CRITICAL: four-argument curried ML functions can silently skip handled effects Open

bug showstopper

Difficulty 5/5 Over a week Newbie friendliness 45/100

Nimblesite/osprey#184 · Opened Jul 26, 2026
CRITICAL: direct effect handlers corrupt Result operation values with pointer-like integers Open

bug showstopper

Difficulty 4/5 3-5 days Newbie friendliness 52/100

Nimblesite/osprey#183 · Opened Jul 26, 2026
Language: `mut` is a free-for-all imperative variable — design intent is mutation only through algebraic-effect handlers (checker + specs + examples disagree) Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

Nimblesite/osprey#180 · Opened Jul 25, 2026
Effects: re-performing the same effect inside its own handler arm hangs (infinite loop) instead of forwarding to an outer handler or failing Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 52/100

Nimblesite/osprey#179 · Opened Jul 25, 2026
ML flavor: handler-owned `mut` state not updated when the effect is performed from a nested function (Default works) — [FLAVOR-IR-EQUIV] violation Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 48/100

Nimblesite/osprey#178 · Opened Jul 25, 2026
Effects: handler resumption mode inferred per-handler (resume-keyword scan), not per-arm — non-compositional, deviates from spec 0017 and the algebraic-effects literature Open

bug

Difficulty 5/5 Over a week Newbie friendliness 45/100

Nimblesite/osprey#177 · Opened Jul 25, 2026
LSP `textDocument/completion` returns a bare array (isIncomplete:false); context-sensitive results get client-cached and leak declaration keywords into value positions Open

showstopper

Difficulty 3/5 1-2 days Newbie friendliness 45/100

Nimblesite/osprey#174 · 1 comment · Opened Jul 24, 2026
VS Code extension never restarts the language server when `osprey.server.compilerPath` changes (serves a silently stale compiler) Open

showstopper

Difficulty 3/5 1-2 days Newbie friendliness 72/100

Nimblesite/osprey#173 · 1 comment · Opened Jul 24, 2026
typical installation - error Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

Nimblesite/osprey#168 · 1 comment · Opened Jul 12, 2026
ML flavor: layout lexer rejects multi-line string literals ("unterminated string literal" at newline) — Default flavor accepts them Open

Difficulty 3/5 1-2 days Newbie friendliness 78/100

Nimblesite/osprey#164 · Opened Jun 30, 2026
Arithmetic '-> int' return is load-bearing (Result auto-unwrap) but looks redundant — redundant-symbol autofix would silently corrupt output Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

Nimblesite/osprey#163 · Opened Jun 30, 2026
HTTP twin examples flaky in differential harness: .ospml binds same fixed port its .osp twin just released (no SO_REUSEADDR) Open

Difficulty 4/5 3-5 days Newbie friendliness 58/100

Nimblesite/osprey#162 · Opened Jun 30, 2026
Curry-by-default: multi-param ML functions lower to closures, drifting LLVM IR from flat Default twins (violates [FLAVOR-IR-EQUIV]) Open

showstopper

Difficulty 4/5 3-5 days Newbie friendliness 45/100

Nimblesite/osprey#161 · Opened Jun 30, 2026
codegen: polymorphic curried / partial-applied functions fail with "closure value with a still-generic type" Open

Difficulty 5/5 Over a week Newbie friendliness 48/100

Nimblesite/osprey#160 · Opened Jun 30, 2026
Spec clarity audit: align all specs (0001–0024 + README) to the flavors model (curry-by-default, no-main, no-redundant-types) Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

Nimblesite/osprey#159 · Opened Jun 30, 2026
Codegen: iterating a List of records (map/fold + field access) emits invalid LLVM IR (both flavors) Open

Difficulty 4/5 3-5 days Newbie friendliness 52/100

Nimblesite/osprey#158 · Opened Jun 30, 2026
Synthesised main emits a stray trailing space vs explicit main (breaks byte-exact goldens) Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

Nimblesite/osprey#157 · Opened Jun 30, 2026

Nimblesite/osprey

Get new issues in your inbox