My git repositories
In this page you can find all my public git repositories. It is a collection
of programs, tutorials, configuration files and more. All my repositories
are also mirrored on my GitHub page.
Here are some highlights; for a full list, see the index.
Programs
- ancient-projects is a collection of my early coding
projects (2006-2010), mostly written in Java.
- nissy-core is my biggest hobby project. It is a Rubik’s
cube solver focused on finding optimal solutions. It uses a standard A*
search method supported by a custom set of pruning tables. It can be
included as a library in your C, C++ or Python projects, and it can build
to WebAssembly.
- nissy-classic is another Rubik’s cube solver, focused
on assisting the user in exploring domino
reduction
solutions.
- minesweeper is an unremarkable attempt at building a
graphical application with raylib and
Hare.
- zmodn is a small library for integers modulo
N written in
modern C++. I also ported it to Rust, see zmodn-rs.
Configuration, scripts and website sources
- config contains the configuration files (a.k.a. dotfiles) for
my Alpine Linux laptop setup, as well as a collection of scripts for my
daily desktop use.
- sebastiano.tronto.net contains the source code
(Markdown) for my personal website,
including template HTML and CSS files, and build scripts.
- cgit-config contains the configuration files for this
cgit page.
Programming challenges
Math
Tutorials and proofs of concept