nikita-leonov/DependentType
Experiment: Compile time proved expressions by simulating DependentType behaviors.
Public GitHub Catalog
Discovered Sep 30, 2026
nikita-leonov / loopback
LoopBack is an open source API framework built on top of Express optimized for mobile and web. Connect to multiple data sources, write business logic in Node.js, glue on top of your existing services and data, connect using JS, iOS & Android SDKs.
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.
#17304552GitHub 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