Mala1180 / PPS-22-satifyLinks
A pure functional Scala SAT solver
☆10Updated 2 years ago
Alternatives and similar repositories for PPS-22-satify
Users that are interested in PPS-22-satify are comparing it to the libraries listed below
Sorting:
- A distributed real-time system for video surveillance☆10Updated last week
- Appunti in LaTex di metodi numerici: aa 2020/2021☆11Updated 4 years ago
- 🚀 Vue 3 MultiLanguage Portfolio Template! 🌍 Built with Vite, Quasar, and Pinia for a smooth, high-performance experience. CI/CD powere…☆12Updated 10 months ago
- Servizio gratuito che consente a tutti gli studenti Unibo di aggiungere l'orario delle lezioni al proprio calendario, filtrando solo quel…☆33Updated 2 months ago
- Collezione di codice LaTex di dispense scritte per alcuni corsi della Laurea in Informatica dell'Università di Verona☆89Updated 2 years ago
- A template repository for submitting a job to the Slurm Cluster installed at the DISI - University of Bologna☆25Updated last year
- A list of remote-friendly or full-remote companies that targets Italian talents.☆2,573Updated 2 months ago
- Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).☆39Updated last year
- ☆27Updated last week
- ☆14Updated last month
- Una piccola raccolta di dispense utili alla sopravvivenza presso UNIVR.☆25Updated 3 years ago
- Software for the Tablut Students Competition☆24Updated last year
- Un posto dove lasciare i miei appunti fatti (più o meno) bene per i posteri, e permettere ai posteri di sistemare eventuali errori. :)☆36Updated last year
- Die wichtigsten APIs Deutschlands in einem Python Paket.☆1,358Updated 4 months ago
- ☆27Updated 4 years ago
- The QMates learning path☆14Updated 2 months ago
- If you're new to DDD and not sure where to start, this process will guide you step-by-step☆5,544Updated last week
- Open Data su consegna e somministrazione dei vaccini anti COVID-19 in Italia - Commissario straordinario per l'emergenza Covid-19☆525Updated this week
- Guida esercizi per l'esame di Ottimizzazione Lineare Intera del Cdl Triennale di Informatica Unimore☆13Updated 3 years ago
- The published version of all repositories maintained by the ddd-crew☆116Updated 5 years ago
- A Telegram bot that can be used to stamp the card on that horrible platform called Zucchetti☆13Updated 3 years ago
- File e dettagli in merito al corso "Hard Python", presentato su Twitch da Enkk e StudyTme. Corso introduttivo a python mirato al tema del…☆116Updated 3 years ago
- A list of jobs that I'm managing with welyk.tech (former forloop.tech)☆106Updated 4 months ago
- A simple tool for a simple task: remove filler sounds ("ehm") from pre-recorded speeches. AI powered.☆232Updated last year
- Our deep learning for computer vision related project for nostalgic poke weebs (Sistemi digitali, Unibo).☆25Updated last year
- Generative Adversarial Network to generate malware to evade detection☆15Updated 2 years ago
- Definitions of DDD and fundamental concepts to reduce the learning curve and confusion☆1,464Updated 3 years ago
- This project aims to detect Distributed Denial of Service (DDoS) attacks within a Software-Defined Network (SDN) using an SVM framework f…☆26Updated 6 years ago
- Punto di aggregazione per materiale (esami, appunti, suggerimenti, ecc.) utile agli studenti per la vita universitaria.☆249Updated last month
- Repository del gruppo di lavoro data-driven per l’emergenza covid-19☆124Updated 5 years ago