Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

edwinb/Yaffle

A core language and API for dependently typed languages
Source code at GitHub https://github.com/edwinb/Yaffle
edwinb/Yaffle.json
{
  "createdAt": "2022-02-19T18:11:00Z",
  "defaultBranch": "main",
  "description": "A core language and API for dependently typed languages",
  "fullName": "edwinb/Yaffle",
  "homepage": "",
  "language": "Idris",
  "name": "Yaffle",
  "pushedAt": "2025-02-19T14:02:03Z",
  "stargazersCount": 96,
  "topics": [],
  "updatedAt": "2025-10-19T15:21:23Z",
  "url": "https://github.com/edwinb/Yaffle"
}

Yaffle

Section titled “Yaffle”

Yaffle

A core language of quantitative dependent types and an elaborator for an intermediate language, and an API, intended as a core language for dependently typed languages (primarily, and initially, for Idris 2).