Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / prabh-t
Developer Profile

prabh-t

Discovered public repositories for prabh-t in the GitHub catalog.

↗

prabh-t/lvars

A collection of prototype LVar implementations, tools, and mechanized semantics.

↗

prabh-t/pardata

A number of advanced evaluation strategies for tree-like data structures.

↗

prabh-t/ralist

Alternative representation of Haskell's widely used list data structure based on Chris Okasaki's implementation of random-access list. This representation is intended to expose parallelism using a structure built around trees which is better suited for parallel processing.

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.