issues Search Results · language:Dune language:JavaScript language:Python language:JavaScript language:Java language:Java
Filter by
55.1M results
Problem
Critical invariants (no negative balances, claimed ≤ credited, reserve solvency) deserve machine-checked proofs.
Complements property tests (#362) and audit prep (#316).
Scope
- [ ] Encode ...
area: smart-contract
difficulty: hard
enhancement
mainnet
security
joelpeace48-cell
The Problem
Based on #17, frame-based architecture solves a nice problem, albeit in a terms of relocating it to somewhere else:
state management. It neatly wraps the entire codebase into a frame-based ...
design discussion
medium priority
BFUR64
🐛 Bug Report
Description
website/src/pages/explore/ExplorePage.jsx line 447 uses window.location.href for navigation:
window.location.href = url;
This causes a full browser page reload instead of a ...
assigned
bug
good first issue
GSSoC'26
level:beginner
mentor:Ayushh-Sharmaa
needs-labels
priority:medium
valid-issue
website
KaparthyReddy
Problem
There is no automated, tested backup/restore for Postgres. Extends docs/RUNBOOK.md.
Scope
- [ ] Scheduled encrypted backups to object storage (reuse backend/src/storage).
- [ ] Documented ...
difficulty: medium
enhancement
infra
security
Background
Currently, when a user calls `run_udf(runtime= EOAP-CWL , udf= cwl_url , context={...})`, they must manually provide
every CWL input parameter name and type in `context`. If they miss one or ...
feature
Yuvraj198920
bepalen hoe de plus en minpunten verschillen van level 1 en die implementeren in level 2
Marit57
Description
GUIDE depends on a Windows overlay that can guide the user without taking control away from them.
This issue focuses on Windows-specific desktop behavior, overlay safety, backend launch behavior, ...
application
security
Yajush-afk
Feature Request: UI Localization / Russian Language Support
Summary
Please add localization support to the Claude Code desktop app, starting with Russian.
Current behavior
All UI elements (menus, buttons, ...
area:desktop
area:ui
duplicate
enhancement
platform:windows
AllegatorBTC
Bug Description
The Contact support link on the 404 (Not Found) page points to /contact, but the actual contact page route in this
project is /contactus. Clicking the link from the 404 page leads to a ...
gssoc:approved
mentor:PankajSingh34
type:bug
keerthanakh89
Expected result: Deleting a preset should display one confirmation toast.
Actual result: Two toasts are displayed for a single preset deletion.
Recommended fix: Ensure the success toast is triggered ...
invalid
mike16345
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.