test type checker

オープン

#69 2019年11月5日に作成コメント 1 件リアクション 0 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

まず、BioScript の型チェッカーのエントリーポイントを特定し、OOPSLA 論文の型検査要件を確認します。論文に基づいて一連のチェックを作成し、実装の動作と比較します。型チェッカーが論文との同等性を検証できれば完了です。

索引モデルが issue の本文から書いたものです。

Verify the type checking meets parity with OOPSLA paper.

このリポジトリのコントリビューションガイドは索引されていません

update readme オープン

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

lilott8/BioScript#70 · 2019年11月5日に作成
Functions are broken オープン

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

lilott8/BioScript#87 · 2020年9月30日に作成
MFSim target does not appropriately translate while conditionals オープン

bug

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

lilott8/BioScript#85 · 2020年9月14日に作成
VolumeTracker to track set of all possible volumes オープン

enhancement

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

lilott8/BioScript#80 · 2020年2月4日に作成
VolumeTracker should deal with Phi nodes appropriately オープン

bug good first issue

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

lilott8/BioScript#79 · 2020年2月4日に作成

[Bug] reef-hermes tells me to resume with hermes --resume, which does not work from my shell オープン

area: harness bug status: needs-triage

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

Human-Agent-Society/reef#625 · 2026年9月24日に作成
Bump transitive axios to >=1.18.0 to address GHSA-hcpx-6fm6-wx23 オープン

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

coinbase/cdp-sdk#828 · 2026年9月24日に作成
AccessibleResourceCard/AccessibleChannelCard crash when a resource has more than one learning activity (getActivityTags returns an object instead of an array) オープン

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

learningequality/kolibri#15351 · コメント 2 件 · 2026年9月24日に作成
audeer.path(): optionally expand environment variables オープン

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

audeering/audeer#212 · コメント 1 件 · 2026年9月24日に作成
Name consistency オープン

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

eellak/triplestore#65 · コメント 1 件 · 2026年9月24日に作成