トピック · lambda-calculus
lambda-calculus
lambda-calculus がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。
リポジトリ
4
総スター数
6,478
平均スター数
1,620
シェア
0.00%
関連トピック
lambda-calculus と同じリポジトリに頻繁に登場するトピック。
最近の急上昇
直近 90 日以内に作成され、lambda-calculus がタグ付けされたリポジトリ。
直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。
- #1★ 3,764-3直近 7 日のスター増減
- #2
Rust 向け関数型プログラミングライブラリ
★ 1,428+0直近 7 日のスター増減 - #3
HOL4定理証明システムの公式ソース。developブランチは「メインライン開発」を行う場所であり、developが回帰テストに合格すると、masterが前方マージされて追いつきます。
★ 755+0直近 7 日のスター増減 - #4
A Flock of Functions: JS におけるコンビネータ、ラムダ計算、チャーチ数エンコーディング
★ 532+0直近 7 日のスター増減
