Toots for aramya@pandasemi.co account

Written by aramya on 2025-02-01 at 01:47

note that i'm deeply unaware of standard practices and that I especially tried to do this by reading mltt presentation in HoTT, TAPL and a few existing examples on github

don't hesitate to let me know if some cases wouldn't work :)

=> More informations about this toot | View the thread

Written by aramya on 2025-02-01 at 01:42

https://github.com/thamugadi/mltt-c

it's the first time i implement a dependent type theory and the language i've chosen to do this is obviously C :rpog:

=> More informations about this toot | View the thread

Written by aramya on 2024-11-25 at 19:30

or should i say JRM (java real machine)

=> More informations about this toot | View the thread

Written by aramya on 2024-11-25 at 19:29

JVM bytecode natively running on the Wii 🥰

https://github.com/thamugadi/jazelle-wii

=> View attached media

=> More informations about this toot | View the thread

=> This profile with reblog | Go to aramya@pandasemi.co account