leque/skk-jisyo
Public repository.
Public GitHub Catalog
Discovered Oct 2, 2026
leque / coq-to-lisp
Coq to Emacs Lisp / Common Lisp Extraction
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.
#23703449GitHub System ID
lequeOrganization / User
PublicVisibility
ActiveCatalog Status
More from leque
leque/SLC-Implementation
Filinski, A, 1989. Declarative continuations and categorical duality, Appendix A のSLC実装をF#で
leque/Gauche-qq
quasiquotify list-constructing expressions
leque/gauche-mode
An Emacs major mode for Gauche Scheme