Repository Issues

racket/typed-racket

Typed Racket

GitHub で見る
Stars
 (576 個のスター)
Forks
 (106 件のフォーク)
Indexed issues
 (10 件の索引済み Issue)
open beginner issues
 (10 件のオープンな初心者向け Issue)
最終索引
2026/08/11
最終 GitHub push
2026/07/14
ライセンス
Other
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
Racket
PR merge metrics
 (平均マージ 11d 14h) (30 日間に 1 件のマージ済み PR)
初心者向けラベル
good first issue

Issue

10 件のオープンな索引 Issue

オープン
Unsound complex `exp` optimization
good first issueoptimizerunsound
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり

racket / typed-racket · #969 · 2020/09/01 · Racket · 576 個のスター

3 件のコメント0 件のリアクション0 人の担当者
オープン
Clean up the "utils" directory
good first issue
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり

racket / typed-racket · #725 · 2018/05/16 · Racket · 576 個のスター

1 件のコメント0 件のリアクション0 人の担当者
オープン
refinement type runs into an endless loop
good first issueinferencerefinement
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり

racket / typed-racket · #672 · 2018/02/28 · Racket · 576 個のスター

1 件のコメント0 件のリアクション0 人の担当者
オープン
tooltips missing sometimes
enhancementgood first issue
おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルあり

racket / typed-racket · #667 · 2018/02/16 · Racket · 576 個のスター

0 件のコメント0 件のリアクション0 人の担当者
オープン
case-lambda allows multiple cases with the same arity
arrowgood first issue
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり

racket / typed-racket · #517 · 2017/03/24 · Racket · 576 個のスター

5 件のコメント0 件のリアクション0 人の担当者
オープン
internal error type-checking a dot type program
good first issue
おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルあり

racket / typed-racket · #509 · 2017/03/13 · Racket · 576 個のスター

0 件のコメント0 件のリアクション0 人の担当者
オープン
TR should provide a Dictionary type
good first issue
おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルあり

racket / typed-racket · #31 · 2015/02/21 · Racket · 576 個のスター

0 件のコメント0 件のリアクション0 人の担当者