syohex/pony-snippets
YASnippet Pony snippets for Emacs
Public GitHub Catalog
Discovered Nov 2, 2026
syohex / lean
Lean Theorem Prover
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.
#49562028GitHub System ID
syohexOrganization / User
PublicVisibility
ActiveCatalog Status
More from syohex
syohex/cbm.el
Cycle by major - Cycle through buffers with the same major-mode
syohex/gotignore
Public repository.
syohex/fix-input
Make input methods play nicely with alternative keyboard layout on OS level