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

babb517

Discovered public repositories for babb517 in the GitHub catalog.

↗

babb517/as2transition

An answer set processor intended to provide a nicer format for answer sets which represent transition systems and/or contain multi-valued atoms.

↗

babb517/F2LP

Formula to Logic Program host repository. Please see the webpage at http://reasoning.eas.asu.edu/f2lp/ for more details.

↗

babb517/uupg-extension

A UUPG Browser Extension based off the Stanford PwdHash Project (http://crypto.stanford.edu/PwdHash)

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.