nikita-leonov/DependentType
Experiment: Compile time proved expressions by simulating DependentType behaviors.
Public GitHub Catalog
Discovered Oct 31, 2026
nikita-leonov / FP101x-Content-2015
FP101x - Functional Programming MOOC 2015 Content Repository
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.
#45521857GitHub System ID
nikita-leonovOrganization / User
PublicVisibility
ActiveCatalog Status
More from nikita-leonov
nikita-leonov/gocd-docker-material-poller
go-docker-registry-poller
nikita-leonov/gocd-script-executor-plugin
Go task plugin to run Shell scripts
nikita-leonov/IBGenerics
Sample project of how to use generics in IB.