sakabar/haskell_poker_copying
「Haskellでポーカーを作ろう〜第一回 リストのシャッフルとカードの定義〜」( http://tune.hateblo.jp/entry/2015/05/12/023112 )の写経
Public GitHub Catalog
Discovered Sep 30, 2026
sakabar / lazyKoq
interpreter of lazy K written by Coq
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#17816850GitHub System ID
sakabarOrganization / User
PublicVisibility
ActiveCatalog Status
More from sakabar
sakabar/Negation_focus_resolver_Matsuyoshi2014
Public repository.
sakabar/Negation_focus_resolver
"否定の焦点コーパスの構築と自動検出器の試作" (言語処理学会 2013) の実装
sakabar/parro_typing
parro_typing (ぱろタイ)