Mala1180 / PPS-22-satifyLinks
A pure functional Scala SAT solver
☆10Updated last year
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 7 months ago
- ☆111Updated last year
- A template repository for submitting a job to the Slurm Cluster installed at the DISI - University of Bologna☆24Updated last year
- A list of remote-friendly or full-remote companies that targets Italian talents.☆2,545Updated 2 months ago
- Software Archetype for Timed Availability☆77Updated 6 months ago
- Definitions of DDD and fundamental concepts to reduce the learning curve and confusion☆1,440Updated 3 years ago
- Aggregate Computing in Kotlin Multiplatform☆21Updated last week
- a galactic reverse interview guide, simple!☆188Updated 11 months ago
- Servizio gratuito che consente a tutti gli studenti Unibo di aggiungere l'orario delle lezioni al proprio calendario, filtrando solo quel…☆29Updated this week
- ☆24Updated last month
- A galactice guide to successfully handling a technical interview☆38Updated last year
- The Orione Team Learning Path☆345Updated 4 years ago
- Resume for Software Engineers 👨🏻💻☆120Updated last year
- Punto di aggregazione per materiale (esami, appunti, suggerimenti, ecc.) utile agli studenti per la vita universitaria.☆244Updated last month
- ☆1,719Updated 3 months ago
- Italian tech communities (telegram groups, podcasts, Yt channels, other)☆205Updated 4 months ago
- If you're new to DDD and not sure where to start, this process will guide you step-by-step☆5,370Updated last month
- PyRCODIO - Python Routines for COsmology and Data Input/Output☆204Updated 4 years ago
- An implementation of the java pet store using FP techniques in scala☆1,076Updated last year
- A practical and opinionated guide to CV typography and layout for developers, helping your resume survive human eyes.☆21Updated 2 months ago
- The published version of all repositories maintained by the ddd-crew☆114Updated 5 years ago
- Tips & Tricks to write a great CV☆489Updated 2 months ago
- A structured approach to designing and documenting each of your bounded contexts☆1,978Updated 3 months ago
- A collection of resources for learning DDD. All are free to access.☆715Updated 2 years ago
- Awesome EventStorming☆2,337Updated 11 months ago
- Web Application Development - Spring 2020 Semester☆24Updated 4 years ago
- A list of jobs that I'm managing with welyk.tech (former forloop.tech)☆106Updated last month
- Italian Open-Source is the first platform dedicated to Italian open-source world☆310Updated this week