caylee-hogg/linearlambda
A typechecker and interpreter for the linear lambda calculus as presented in the Pfenning course on linear logic
Public GitHub Catalog
Discovered Sep 24, 2026
caylee-hogg / pdx-ruby-course
Public repository discovered through GitHub real-time crawl.
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.
#2212129GitHub System ID
caylee-hoggOrganization / User
PublicVisibility
ActiveCatalog Status
More from caylee-hogg
caylee-hogg/sf-in-isabelle
Public repository.
caylee-hogg/isabelle-semantics
A home for my various bits of work on isabelle & denotational semantics
caylee-hogg/agdalicious
A compiler and associate libraries for compiling a simple functional language to LLVM