petermarks/blender-scratch
My messing about with Blender
Public GitHub Catalog
Discovered Sep 24, 2026
petermarks / Typechecker
An extension of Oleg's "Typed compilation via GADTs"
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.
#2287572GitHub System ID
petermarksOrganization / User
PublicVisibility
ActiveCatalog Status
More from petermarks
petermarks/hoodlums-sessions
Code from Hoodlums Meetups
petermarks/FDL
A language for describing animated pictures
petermarks/record-access
Simple records in Haskell using Template Haskell