krcz/zygote
View on GitHub ↗ ★ 18 Racket
Explorations in area of programming languages: concepts, typing, formal verification
4 mentions on Hacker News by 1 person: 0 stories, 4 comments · first 2019-12-03 · latest 2021-01-09
20082026
-
…where control is needed over how abstractions are translated into the low level code. [1] https://github.com/krcz/zygote
comment by krcz · 2021-01-09 · in Ask HN: Show me your half baked project -
…language concepts implemented using macros (as in Turnstile+ does with dependent typing [2]). [1] https://github.com/krcz/zygote [2] https://www.ccs.neu.edu/home/stchang/popl2020/index.html
comment by krcz · 2020-12-28 · in A Tiny Lispy Transpiler -
…translation"). I've recently started exploring that topic as a part of Zygote project [1]. [1] https://github.com/krcz/zygote
comment by krcz · 2020-02-16 · in Transpiling between any programming languages (2019) -
…with gradual verification. I'm in early exploration phase, but I have some ideas written down: https://github.com/krcz/zygote .
comment by krcz · 2019-12-03 · in Microsoft is creating a new Rust-based programming language for secure coding