larrytheliquid/plclub-expless
PL Club talk on Expressionless Weak-Head Normal Forms
Public GitHub Catalog
Discovered Sep 25, 2026
larrytheliquid / gtt12
Galois Tech Talk: http://corp.galois.com/blog/2012/8/21/tech-talk-abstract-anything-theory-and-proof-reuse-via-dtp.html
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.
#5556273GitHub System ID
larrytheliquidOrganization / User
PublicVisibility
ActiveCatalog Status
More from larrytheliquid
larrytheliquid/gpcl
Genetic Programming using Combinatory Logic
larrytheliquid/agda
Agda is a dependently typed programming language / interactive theorem prover.
larrytheliquid/sbe
Accompanying source code for technical report "Hereditary Substitution by Canonical Evaluation (SbE)".