Built something? We create video reels & spotlights for GitHub projects.Promote your project →
>GitHubRepo
Promote your project
Catalog / janekdb / type-level-programming
Public GitHub Catalog Discovered Oct 21, 2026

janekdb / type-level-programming

An exploration of type level programming in Scala

View repository on GitHub ↗ View creator profile Browse directory

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.

#40892821GitHub System ID
janekdbOrganization / User
PublicVisibility
ActiveCatalog Status

More from janekdb

↗

janekdb/ntropa

Automatically exported from code.google.com/p/ntropa

Discovered
↗

janekdb/rocoto

Automatically exported from code.google.com/p/rocoto

Discovered
↗

janekdb/mwclient

mwclient is a Python framework to interface with the MediaWiki API.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

Promote your project
SPONSORED Sponsored Partner