nikita-leonov/DependentType
Experiment: Compile time proved expressions by simulating DependentType behaviors.
Public GitHub Catalog
Discovered Oct 1, 2026
nikita-leonov / pixate-associated-objects-issue
Sample project to reproduce an issue with associated objects in Pixate Freestyle (https://github.com/Pixate/pixate-freestyle-ios/issues/125)
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.
#21086059GitHub System ID
nikita-leonovOrganization / User
PublicVisibility
ActiveCatalog Status
More from nikita-leonov
nikita-leonov/FP101x-Content-2015
FP101x - Functional Programming MOOC 2015 Content Repository
nikita-leonov/gocd-docker-material-poller
go-docker-registry-poller
nikita-leonov/gocd-script-executor-plugin
Go task plugin to run Shell scripts