All Git Users → metaborg

2 open source projects by metaborg

[ Open user page on Github ]

The Stratego program transformation language

✭ 27

A library and case-study for linear, intrinsically-typed interpreters in Agda

✭ 32

1-2 of 2 user projects