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

Developer Profile

ltbinsbe

Discovered public repositories for ltbinsbe in the GitHub catalog.

↗

How to explain the benefits Functional Programming to your imperative co-worker

↗

Verification of the algorithm described in "On building trees of minimal height" by Richard S. Bird, using Coq

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.