2026-06-19 –, A113 (capacity 64)
I would like to talk about my personal project that is a compiler from WebAssembly to lambda calculus. I started it for fun, and have learned quite a lot about WebAssembly along the way. I will discuss how I implemented key data structures and algorithms that are needed to run WebAssembly in lambda calculus. Those include numbers, random-access memory, mutual function recursion, and control flow instructions, all with reasonable space/time complexity considerations.
The compiler supports almost the entire WebAssembly 1.0 standard (except floats) and can easily compile Rust/C/C++ programs, which can then be interpreted.
I also plan to briefly mention other projects related to esoteric programming, like the C to BrainF*ck compiler or the EsoLangVM Compiler Infrastructure.
Source code: https://github.com/MarkLagodych/walc
I am an undergraduate IT student at Brno University of Technology who genuinely loves all things programming. I am passionate about creating different kinds of things, but surprisingly my most used projects are Visual Basic macros for Excel.
Also, I am a Linux user and a Rust enthusiast.