kpich/ace2004parse
Java library for programmatic access to parses of the ACE 2004 Dataset
Public GitHub Catalog
Discovered Sep 24, 2026
kpich / acl2-pdl
Proofs in ACL2 of some properties of Propositional Dynamic Logic
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.
#1001158GitHub System ID
kpichOrganization / User
PublicVisibility
ActiveCatalog Status
More from kpich
kpich/algorithms_notes
Some personal notes for an algorithms class
kpich/pgmnotes
PGM class notes
kpich/accompanibot
a simple little program intended to create aleatoric musical accompaniment