Pinned Repositories
CellularAutomataFramework
Framework for cellular automata
CompetitiveProgramming
Dafny-Exercises
Computer-aided Program Verification @ UCM
Data-Mining-on-tennis-matches
Data mining project on Tennis matches dataset @ UNIPI
hofl-typing-in-prolog
higher order functional language typing in prolog
microc-compiler
Lab of the course Languages, Compilers and Interpreters @ UNIPI
NNpy
Neural Network framework for Machine Learning course @ UniPi
tlsCertificateInspector
Detect invalid and self-signed TLS certificates
Umbra
Easly control your pc via smartphone using WIFI
UmbraServer
89oinotna's Repositories
89oinotna/tlsCertificateInspector
Detect invalid and self-signed TLS certificates
89oinotna/Umbra
Easly control your pc via smartphone using WIFI
89oinotna/UmbraServer
89oinotna/CompetitiveProgramming
89oinotna/NNpy
Neural Network framework for Machine Learning course @ UniPi
89oinotna/pr2
89oinotna/retiP
reti progetto
89oinotna/sol
89oinotna/CellularAutomataFramework
Framework for cellular automata
89oinotna/Dafny-Exercises
Computer-aided Program Verification @ UCM
89oinotna/Data-Mining-on-tennis-matches
Data mining project on Tennis matches dataset @ UNIPI
89oinotna/hofl-typing-in-prolog
higher order functional language typing in prolog
89oinotna/microc-compiler
Lab of the course Languages, Compilers and Interpreters @ UNIPI
89oinotna/89oinotna
89oinotna/AdvancedProgramming
89oinotna/compiler-course-unipi
Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
89oinotna/dotfiles
Eric Lee's Dotfiles for MacOS and Neovim
89oinotna/IDM-VTON
IDM-VTON : Improving Diffusion Models for Authentic Virtual Try-on in the Wild
89oinotna/JavaParallelCrawlerJS
Simple Java parallel crawler using selenium to support JS websites
89oinotna/liquidhaskell-exercises
Exercises on liquidhaskell Computer-aided Program Verification @ UCM
89oinotna/mac-dotfiles
89oinotna/PromptForge
This is an AI assistant for prompt engineers.
89oinotna/robot-factory
89oinotna/rodin-exercises
Rodin exercises for the course Correctness by Construction @ UPM
89oinotna/scrapp
Android library for automating user interaction
89oinotna/slio
SLIO implementation and examples
89oinotna/solitaire
A minimal golfed web version of the MOLEK-SYNTEZ solitaire by Zachtronics
89oinotna/streetmerchant
🤖 The world's easiest, most powerful stock checker
89oinotna/vscode-latex-input
LaTeX-style unicode input for Visual Studio Code
89oinotna/x-editable
In-place editing with Twitter Bootstrap, jQuery UI or pure jQuery