darkf/stlc
Simple Simply-Typed Lambda Calculus interpreter in Haskell
Public GitHub Catalog
Discovered Sep 25, 2026
darkf / python-type-contracts
Simple typechecking for Python in the form of runtime contracts
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.
#3465787GitHub System ID
darkfOrganization / User
PublicVisibility
ActiveCatalog Status
More from darkf
darkf/ecs-pong
An over-engineered Pong[-like] game using an Entity-Component-System engine in C++11
darkf/possum4
Possums are quadrupedals. Fourth time's the charm.
darkf/microecs
A C++11 Entity-Component-System microframework