nikita-leonov/DependentType
Experiment: Compile time proved expressions by simulating DependentType behaviors.
Public GitHub Catalog
Discovered Oct 23, 2026
nikita-leonov / ReactiveCocoaApply
ReactiveCocoa Singal and SignalProducer extensions for RAC4 alpha-4 for applying operators similar to |> from RAC3.
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.
#42846646GitHub 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