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 27, 2026
caylee-hogg / sf-in-isabelle
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.
#9065502GitHub System ID
caylee-hoggOrganization / User
PublicVisibility
ActiveCatalog Status
More from caylee-hogg
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
caylee-hogg/javascript-interpreter
A small interpreter for the Good Parts of javascript, written in Haskell. Mostly for learning javascript by implementation.