foxyseta

formal sciences addict

@unibo @devdeptBologna, Italy

Pinned Repositories

animal-house
Project for the University of Bologna Web Technology course (a.y. 2021-22).
Language:TypeScript1 0 00
app-oriani
A mobile app for the students at Liceo Scientifico "Alfredo Oriani" in Ravenna.
Language:C#0 1 00
astro-catalog
Statistical analysis on a catalog of galaxies.
Language:Python0 1 01
birdazzone
Project for the University of Bologna Software Engineering course (a.y. 2022-23).
Language:Vue1 1 04
fadbula
Project for the University of Bologna Databases course (a.y. 2022-23).
Language:SQL1 1 51
mastro-nando
A Visual Studio Code extension for Nand2Tetris development based on Zohar Lee's "Nand2Tetris Tools".
Language:TypeScript5 0 04
monkey
Project for the University of Bologna Data Structure and Algorithms course (a.y. 2020-21).
Language:Java3 2 161
pandos-plus
PandOS+ is a simple operating system for the MIPS architecture.
Language:C0 0 00
telegrindr
A Telegram bot to bring a Grindr-like experience to your groups. Except for the freemium policy, that is.
Language:Java7 1 00
unibo-00819-programming
Exercises for the University of Bologna Programming course (a.y. 2020-21).
Language:C++1 0 10

foxyseta's Repositories

foxyseta/mastro-nando
A Visual Studio Code extension for Nand2Tetris development based on Zohar Lee's "Nand2Tetris Tools".
Language:TypeScript5 0 04
foxyseta/monkey
Project for the University of Bologna Data Structure and Algorithms course (a.y. 2020-21).
Language:Java3 2 161
foxyseta/animal-house
Project for the University of Bologna Web Technology course (a.y. 2021-22).
Language:TypeScript1 0 00
foxyseta/birdazzone
Project for the University of Bologna Software Engineering course (a.y. 2022-23).
Language:Vue1 1 04
foxyseta/fadbula
Project for the University of Bologna Databases course (a.y. 2022-23).
Language:SQL1 1 51
foxyseta/astro-catalog
Statistical analysis on a catalog of galaxies.
Language:Python0 1 01
foxyseta/overengineered
Project for the University of Bologna Programming course (a.y. 2020-21).
Language:C++0 0 01
foxyseta/pandos-plus
PandOS+ is a simple operating system for the MIPS architecture.
Language:C0 0 00
foxyseta/.dotfiles
Ricing, dotfiles, wallpapers and more from my current setups.
Language:Lua1 0
foxyseta/codingame
My submissions for Codingame competitions.
Language:C++1 0
foxyseta/coriana
A Telegram bot interpreter who can work with a finite number of states. They're currently impersonating Coriana, a virtual assistant for families visiting my old high school.
Language:Python1 0
foxyseta/foxyseta
The repository containing my public profile's README.
Language:Markdown1 1
foxyseta/foxyseta.github.io
My personal webpage on GitHub Pages.
Language:TeX1 3
foxyseta/Idris2
A purely functional programming language with first class types
foxyseta/image-restoration
Project for the University of Bologna Numerical Computing course (a.y. 2021-22).
Language:Python2 0
foxyseta/informabot
A Telegram bot to assist other undergraduate Computer Science students at the University of Bologna.
Language:JavaScript0 0
foxyseta/mason-registry
Core registry for mason.nvim.
0 0
foxyseta/mm-hott
Repository for the Spring 2024 run of the Mastermath HoTT course
Language:Coq0 0
foxyseta/nvim-lspconfig
Fork of https://github.com/neovim/nvim-lspconfig.
Language:Lua0 0
foxyseta/polar-express
Project for the University of Bologna Introductory Machine Learning course (a.y. 2022-23).
Language:Jupyter Notebook1 0
foxyseta/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
foxyseta/reddish-fox.nvim
A Lua rewrite of Niko Humalamäki's "Redish" Nvim colorscheme.
Language:Lua0 0
foxyseta/smcdel
A symbolic model checker for Dynamic Epistemic Logic.
Language:Haskell0 0
foxyseta/tis-100
My own solutions and custom puzzles for TIS-100.
Language:Assembly1 0
foxyseta/unibo-11925-computer-architecture
Exercises and projects for the University of Bologna Computer Architecture course (a.y. 2020-21).
Language:C1 0
foxyseta/unibo-90106-software-engineering
Exercises for the University of Bologna Software Engineering course (a.y. 2022-23).
Language:TeX2 0
foxyseta/unibo-90107-databases
Exercises for the University of Bologna Databases course (a.y. 2022-23).
Language:SQL1 0
foxyseta/unibo-93319-introduction-to-machine-learning
Exercises for the University of Bologna Introduction to Machine Learning course (a.y. 2022-23).
Language:Python1 0
foxyseta/which-key.nvim
💥 Create key bindings that stick. WhichKey is a lua plugin for Neovim 0.5 that displays a popup with possible keybindings of the command you started typing.
foxyseta/wordpress-activitypub
ActivityPub for WordPress
Language:PHP0 0