Hugo Musso Gualandi's repositories
lua-aot-5.4
An ahead-of-time compiler for Lua 5.4
lua-aot-5.3
Ahead of time compiler for Lua 5.3
ftl-cheatsheet
Cheatsheet for FTL game
Coq-Unboxing
Formalization for the unboxing paper
DailyPillAssets
Images and store pages for Daily Pill
forecastie
A simple, opensource weather app for Android.
lua-aot
LuaAOT
pallene
Pallene Compiler
parser-gen
A parser generator in Lua using PEG syntax.
pharaoh-charts
Pharaoh game info
plfa.github.io
Introduction to programming language theory in Agda
privacy-friendly-sudoku
Privacy Friendly App to play Sudoku on Android.
server-config
Configuration for PRL-PRG servers
share_to_clipboard
Android share to clipboard
Simple-Commons
Some helper functions and shared resources to be used only by the simple apps suite.
Simple-Gallery
A gallery for viewing photos and videos without ads.
tasks
Bringing Astrid Tasks back from the dead
twitch-chat-filter
Twitch chat filter; primarily for TwitchPlaysPokemon
warmup_experiment
Experiment designed to investigate JIT warmup times.