トピック · refinement-types
refinement-types
refinement-types がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。
リポジトリ
6
総スター数
7,774
平均スター数
1,296
シェア
0.00%
関連トピック
refinement-types と同じリポジトリに頻繁に登場するトピック。
最近の急上昇
直近 90 日以内に作成され、refinement-types がタグ付けされたリポジトリ。
直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。
- #1★ 2,337+2直近 7 日のスター増減
- #2★ 1,733+0直近 7 日のスター増減
- #3
Haskellのためのリキッド型付けシステム
★ 1,334+1直近 7 日のスター増減 - #4★ 910+1直近 7 日のスター増減
- #5
🤝 Python向けの契約プログラミング（Design by contract）。バグのないコードを作成。いくつかのデコレータを追加するだけで、静的解析とテストが無料で手に入ります。
★ 909+4直近 7 日のスター増減 - #6★ 554+0直近 7 日のスター増減
