specialfish9 Goto Github PK

.github

Il manifesto pubblico di CSunibo

animal-house

Project for the University of Bologna Web Technology course (a.y. 2021-22)

animated_splash_screen

The easiest way to create your animated splash screen in a fully customizable way.

babbo-db

Project for the Bologna university course 90107 databases (AY 2022/2023)

bfc-brain-fuck-interpreter

BFC brain fuck interpreter

birdazzone

Project for the University of Bologna Software Engineering course (a.y. 2022-23).

bright-misery

A brightness controller for Intel laptops using Linux

confuso

A simple go project to read config

curry-howard

Presentation for a peer-to-peer seminar at the University of Bologna as part of Logical Methods for Philosophy course.

dedukti

Implementation of the λΠ-calculus modulo rewriting

dots

:)

dragonball

A simple game made just for fun

fungo

hyprland

Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

image-deblur

Project for the 2021/2022 unibo course 02023

introduzione-apprendimento-automatico

Una raccolta di risorse per l'insegnamento di Introduzione all'apprendimento automatico (93319) del Corso di Laurea in Informatica.

laboratorio-sicurezza-informatica

Una raccolta di risorse per l'insegnamento di Laboratorio di Sicurezza Informatica (B0833) del Corso di Laurea in Ingegneria Informatica.

little-man

(m,n,k) game playing AI for the Algorithms and Data Structures course at the University of Bologna a.a. 2020/2021

maolibrary

A c++ library designed for cats

matita

An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions

metodi-logici-per-la-filosofia

Una raccolta di risorse per l'insegnamento di Metodi logici per la filosofia (85001) del Corso di Laurea in Filosofia.

newtabnewlife

Personal startup page for chrome

overcomplicated-mess

A super-duper-overcomplicated way to read temperature and humidity from sensors and push them into Influxdb

pypacman

randomcat

A random location generator based on you current geoposition

redesigned-octo-computing-machine

University project for UNIBO Operating System 2021-22 course

reimagined-lollipop

sistemi-operativi

Una raccolta di risorse per l'insegnamento di Sistemi operativi (08574) del Corso di Laurea in Informatica.

specialfish9

srp

A simple and useless reverse proxy made just for fun