koreiklein/promise-training
Public repository.
Public GitHub Catalog
Discovered Sep 26, 2026
koreiklein / fantasia
Fantasia is an interactive proof tool with an embedded program extraction engine. This repository is a read-only mirror; it does not answer pull requests. Contact Korei Klein <korei.klein - [at] - gmail.com> to inquire about becoming a contributor.
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.
#8362319GitHub System ID
koreikleinOrganization / User
PublicVisibility
ActiveCatalog Status
More from koreiklein
koreiklein/broken-general-riak
A outlearn repository with a broken riak path
koreiklein/general-riak
Public repository.
koreiklein/active_model_serializers
ActiveModel::Serializer implementation and Rails hooks