bollu

bollu

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
79 Stars
4 Forks
79 Watchers

Repositories (2)

timi bollu/timi Rust

A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages

73
elide bollu/elide C++

Elide: Elegant Metamodal Lean4 IDE.

6