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:
- 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 6 months ago
- Web Application Development - Spring 2019 Semester☆14Updated 2 years ago
- The QMates learning path☆13Updated last year
- ☆111Updated last year
- The published version of all repositories maintained by the ddd-crew☆114Updated 5 years ago
- Aggregate Computing in Kotlin Multiplatform☆20Updated this week
- ☆123Updated 6 months ago
- ☆29Updated 11 months ago
- If you're new to DDD and not sure where to start, this process will guide you step-by-step☆5,347Updated last week
- Software for the Tablut Students Competition☆25Updated last year
- λ🎯 Hexagonal Architecture + DDD + CQRS applied in Scala using Akka HTTP☆139Updated last year
- ☆10Updated 3 years ago
- ARM64 compatible images of confluent-platform☆31Updated 3 years ago
- ☆13Updated last year
- JaKtA is a Kotlin internal DSL for the definition of BDI agents.☆12Updated this week
- Architecture Weekly - links and resources to boost your knowledge and developer skills☆1,450Updated last year
- Notes taken during university.☆20Updated 2 years ago
- OpenTour: Sistema para la creación y gestión de torneos y ligas universitarias☆11Updated 4 years ago
- ☆32Updated last year
- ☆13Updated 2 months ago
- Building applications with LLMs through composability, in Kotlin☆191Updated 11 months ago
- Definitions of DDD and fundamental concepts to reduce the learning curve and confusion☆1,434Updated 3 years ago
- 🧬🌱 Scala Basic Skeleton: Template for bootstrapping your new Scala project following idiomatic best practices powered by Giter 8.☆22Updated last month
- ☆29Updated 4 years ago
- Skrzynka narzędziowa☆100Updated 3 years ago
- Redes de Computadores☆21Updated 4 years ago
- Scala library that detects and extracts URLs from text.☆16Updated last week
- Website rewrite of hknpolito.org☆15Updated this week
- Collection of oral questions and exam material☆31Updated 2 years ago