nikita-leonov/DependentType
Experiment: Compile time proved expressions by simulating DependentType behaviors.
Public GitHub Catalog
Discovered Oct 21, 2026
nikita-leonov / ReactiveCocoa
Streams of values over time
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.
#42618010GitHub 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