Pinned Loading

1. aristowrap aristowrap Public

   Docker-first aristowrap CLI around Harmonic aristotle (Lean 4 + Mathlib)

   Python

2. pickmydegree pickmydegree Public

   Tournament-Based Degree Chooser A mobile-first web application that helps undecided high school students choose their university degree through structured tournament-style comparisons.

   HTML

3. Ubuntu-Hardening Ubuntu-Hardening Public

   Forked from AndyHS-506/Ubuntu-Hardening

   Ubuntu 24.04 CIS Benchmark Hardening Script

   Python 4

4. deck-lovers deck-lovers Public

   Markdown-to-HTML deck with live audience likes and projector sync

   Python

5. collective-starship-game collective-starship-game Public

   A live, multiplayer interactive conference game designed to demonstrate the effects and challenges of collective behavior.

   TypeScript 1 1

6. Script SQL per la memorizzazione dei... Script SQL per la memorizzazione dei Comuni, delle Province e delle Regioni d’Italia: usare la nuova versione su https://github.com/carlok/comuni_sql

   1

   --- 

   2

   --- Usare la nuova versione su https://github.com/carlok/comuni_sql

   3

   ---

   4

   5

   CREATE TABLE IF NOT EXISTS regioni (