Giovanni Berti

robusta. Easy interop between Rust and Java

moderncv.typst. A typst template inspired by LaTeX moderncv

logicamente. A first-order logic theorem prover with SLD resolution.

phone_finder. A simple program to look through Android phones' specs and generate an HTML report

sndcld. A C soundcloud music downloader

radish. Java

rps. Simple Rock-Paper-Scissors server implemented in Django

dbench. dbench is a simple database query benchmarker

kropki_gen_fe. TypeScript