Hello! I'm River. I'm interested in, among other things:
+ programming languages, compilers
+ proof assistants, automatic theorem proving, program synthesis
+ independent video games
+ computer music
Right now, I'm working on a live audio programming environment inspired by Orca:
store.steampowered.com/app/3614060/...
.... and a web version (which I collab'ed on) coming v v v soon....
store.steampowered.com/app/3614060/...
.... and a web version (which I collab'ed on) coming v v v soon....
Hello! I'm River. I'm interested in, among other things:
+ programming languages, compilers
+ proof assistants, automatic theorem proving, program synthesis
+ independent video games
+ computer music
Right now, I'm working on a live audio programming environment inspired by Orca:
Hello! I'm River. I'm interested in, among other things:
+ programming languages, compilers
+ proof assistants, automatic theorem proving, program synthesis
+ independent video games
+ computer music
Right now, I'm working on a live audio programming environment inspired by Orca: