Manuel's repositories
BookingBot
A simple Telegram bot to check the status of the classrooms of the UniPd's Mathematic Department.
nvim-config
My evolving Neovim setup
cargo-run-script
Bringing `npm run-script` to Rust
core
:house_with_garden: Open source home automation that puts local control and privacy first.
cw-plus
Production Quality contracts under open source licenses
desmos-contracts
A collection of cosmWASM contracts for desmos network
flipper-zero-evil-portal
Evil portal app for the flipper zero + WiFi dev board
go-owasm
Go-binding for Oracle WebAssembly (Owasm) execution with Wasmer
ihc-badge-esp32
IHC 2018 Badge - ESP32 Firmware
oandbackupx
backup manager for android
porkbun-ddns
Porkbun client capable of updating the provided subdomains DNS records and download the SSL certificates
nvim-lsp-file-operations
Neovim plugin that adds support for file operations using built-in LSP
specs
Onvif Specifications
test-tube
Test tube for cosmos-sdk chains integration test, written in Rust!