dabrady/LittleLogicLangs
Project files for my paper, "Little Logic Languages for Relational Programming"
Public GitHub Catalog
Discovered Oct 1, 2026
dabrady / typEd
A simple text editor, written in Java.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#21594886GitHub System ID
dabradyOrganization / User
PublicVisibility
ActiveCatalog Status
More from dabrady
dabrady/PokemonJava
a graphical reboot of a text-based version of Pokemon I started a few years back
dabrady/alife
A-life simulation for Q400
dabrady/srwaggon_caffeine
implementation of srwaggon's caffeine