wenkokke/NLQ
A framework for natural language syntax and semantics based on type theory.
Public GitHub Catalog
Discovered Sep 29, 2026
wenkokke / FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
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.
#14496224GitHub System ID
wenkokkeOrganization / User
PublicVisibility
ActiveCatalog Status
More from wenkokke
wenkokke/Excitement-Open-Platform
wherein we added Pelican to EOP
wenkokke/unlit
Tool to convert literate code between styles or to code.
wenkokke/dep2con
several algorithms for converting dependency structures into constituency structures.