nikita-leonov/FP101x-Content-2015
FP101x - Functional Programming MOOC 2015 Content Repository
Public GitHub Catalog
Discovered Nov 1, 2026
nikita-leonov / DependentType
Experiment: Compile time proved expressions by simulating DependentType behaviors.
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.
#46163471GitHub 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.