ocharles/agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
Public GitHub Catalog
Discovered Oct 14, 2026
ocharles / EpiVM
Epic - a Supercombinator Compiler
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.
#37317996GitHub System ID
ocharlesOrganization / User
PublicVisibility
ActiveCatalog Status
More from ocharles
ocharles/HaskellerZ
Notes and files from HaskellerZ meetups.
ocharles/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
ocharles/foreign-var
Foreign variables and settings for libraries such as SDL2, OpenGL, etc.