edwinb/Yaffle

A core language and API for dependently typed languages

Idris

335 commits

updated Feb 19, 2025

README

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).

Contributors

304 commits

14 commits

7 commits

3 commits

Similar repos

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

same org

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

dunhamsteve/newt

A toy dependent typed language.

argumentcomputer/yatima-lang-alpha

A programming language for the decentralized web

445

aya-prover/aya-dev

A proof assistant and a dependently-typed language

363

gitnumbe/yika

digital-asset/daml

The Daml smart contract language

917

HigherOrderCO/Kind

A modern proof language

3,762

Languages

Idris

95.1%

3.0%

edwinb/Yaffle

A core language and API for dependently typed languages

Idris

335 commits

updated Feb 19, 2025

See the code

README

Yaffle

Similar repos

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

same org

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

dunhamsteve/newt

A toy dependent typed language.

argumentcomputer/yatima-lang-alpha

A programming language for the decentralized web

445

aya-prover/aya-dev

A proof assistant and a dependently-typed language

363

gitnumbe/yika

digital-asset/daml

The Daml smart contract language

917

HigherOrderCO/Kind

A modern proof language

3,762

Contributors

304 commits

14 commits

7 commits

3 commits

Languages

Idris

95.1%

3.0%