Pinned Repositories
dawntime
https://reddeadrecovery.gitlab.io/dawntime/ In dawntime we implement a volumetric light scattering effect based on the postprocessing technique described by Kenny Mitchell.
dbench
dbench is a simple database query benchmarker
kropki_gen_fe
logicamente
A first-order logic theorem prover with SLD resolution.
moderncv.typst
A typst template inspired by LaTeX moderncv
phone_finder
A simple program to look through Android phones' specs and generate an HTML report
robusta
Easy interop between Rust and Java
sndcld
A C soundcloud music downloader
Gutenberg
Gutenberg is a pipeline for training a neural network in segmenting and recognising frequent words in early printed books, in particular we focus on Gutenberg’s Bible.
Segway
We implement a control system that stabilize the robot in its vertical position, which corresponds to the unstable equilibrium state. The hardware board used to develop the robot is a LEGO MINDSTORM. We develop also an Android app for remote control.
giovanniberti's Repositories
giovanniberti/robusta
Easy interop between Rust and Java
giovanniberti/moderncv.typst
A typst template inspired by LaTeX moderncv
giovanniberti/logicamente
A first-order logic theorem prover with SLD resolution.
giovanniberti/phone_finder
A simple program to look through Android phones' specs and generate an HTML report
giovanniberti/sndcld
A C soundcloud music downloader
giovanniberti/dbench
dbench is a simple database query benchmarker
giovanniberti/kropki_gen_fe
giovanniberti/radish
giovanniberti/rps
Simple Rock-Paper-Scissors server implemented in Django
giovanniberti/attachme
IntelliJ plugin for auto-attaching the debugger to JVM applications
giovanniberti/awesome-typst
Awesome Typst Links
giovanniberti/base_media_file_parser
giovanniberti/eternal_foo
eternal_foo
giovanniberti/giovanniberti.github.io
My personal blog 😃
giovanniberti/HdrHistogram_rust
A port of HdrHistogram to Rust
giovanniberti/HubGraph
Grab the latest events from the boring GitHub's API and build an entertaining graph upon them!
giovanniberti/hugo-theme-stack
Card-style Hugo theme designed for bloggers
giovanniberti/jni-rs
Rust bindings to the JNI
giovanniberti/Kanbanion
A Kanban board. Simple, digital and local.
giovanniberti/kropki_gen
giovanniberti/MarkovText
A simple Markov Chain text generator written in C++.
giovanniberti/monitorapa
Progetto per monitoraggio e notifica di non compliance GDPR alle PA con input da IndicePA
giovanniberti/octoberprness
giovanniberti/openapi-gen-java-bug
giovanniberti/packages
Packages for Typst.
giovanniberti/ReactivePlayBilling
An RxJava wrapper for the Google Play Billing Library [work-in-progress]
giovanniberti/spazio_alfieri_bot
Telegram bot that forwards Spazio Alfieri newsletter
giovanniberti/typst
A new markup-based typesetting system that is powerful and easy to learn.
giovanniberti/V4Hero
Client for PatafourV4, the fourth and final version of Patafour, a Patapon fangame.
giovanniberti/wsdl-inline-imports
Inline external schema imports into a WSDL file.