konn/safe-printf
Well-typed, flexible and variadic printf in Haskell.
Public GitHub Catalog
Discovered Sep 26, 2026
konn / lk-proof-assistant
Simple Proof assistant for LK Calculus (First-Order 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.
#6018946GitHub System ID
konnOrganization / User
PublicVisibility
ActiveCatalog Status
More from konn
konn/polyfunctor
An attempt to generalize Functors or Bifunctors to n-ary funtors.
konn/yapan
Yet another attempt to a universal document converter
konn/pandoc-japanese-filters
Pandoc filters to treat Japanese-specific markups