Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / threonorm / mpri13
Public GitHub Catalog Discovered Sep 29, 2026

threonorm / mpri13

ML type inference in presence of type classes

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#15563518GitHub System ID
threonormOrganization / User
PublicVisibility
ActiveCatalog Status

More from threonorm

↗

threonorm/lpnbysat

A small test of solving LPN by SAT-solver in Sage. It works only with toy parameters

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.