jff/1314-TEES-PDD
Repository for PDD 2013/2014
Public GitHub Catalog
Discovered Sep 24, 2026
jff / hip-examples
Examples of programs verified with HIP/SLEEK
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1401810GitHub System ID
jffOrganization / User
PublicVisibility
ActiveCatalog Status
More from jff
jff/TeLLer
TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
jff/Hotot
A Twitter Client
jff/rationals-python
Python class implementing the algorithm that I and Roland Backhouse created in 2008 to enumerate the positive rational numbers in two different ways.