Built something? We create video reels & spotlights for GitHub projects.Promote your project →

Home / Developers / miguelpagano

Developer Profile

miguelpagano

Discovered public repositories for miguelpagano in the GitHub catalog.

↗

Poset typeclass for Haskell

↗

yahc is a checker for derivations of propositional calculus. Its main goal is to help first year students.

↗

Chequeador de demostraciones de lógica ecuacional

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.