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 game based on building, trading and farming resources☆9Updated last year
- A distributed real-time system for video surveillance☆9Updated last week
- 🚀 Vue 3 MultiLanguage Portfolio Template! 🌍 Built with Vite, Quasar, and Pinia for a smooth, high-performance experience. CI/CD powere…☆12Updated 4 months ago
- Appunti in LaTex di metodi numerici: aa 2020/2021☆11Updated 4 years ago
- ☆20Updated this week
- Software for the Tablut Students Competition☆25Updated last year
- The QMates learning path☆13Updated 11 months ago
- ☆13Updated this week
- 📖 A thesis LaTeX template that complies with the University of Aveiro's guidelines and provides a simple CLI workflow around make and co…☆110Updated 6 months ago
- An esoteric programming language, come se fosse antani.☆1,364Updated 7 months ago
- Strong type constraints for Scala☆525Updated 2 weeks ago
- Servizio gratuito che consente a tutti gli studenti Unibo di aggiungere l'orario delle lezioni al proprio calendario, filtrando solo quel…☆26Updated last year
- A list of remote-friendly or full-remote companies that targets Italian talents.☆2,505Updated 2 months ago
- An implementation of the java pet store using FP techniques in scala☆1,070Updated 11 months ago
- Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala☆1,385Updated this week
- Docker containers for testing in scala☆649Updated 3 weeks ago
- A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers☆825Updated this week
- Introduction to concepts of asynchronous and concurrent programming in Scala, based on the Cats Effect library.☆470Updated 3 years ago
- Scala library that detects and extracts URLs from text.☆16Updated this week
- Dockerized integration test tool for Kafka Environment☆25Updated this week
- Rapid development of self-documenting APIs☆1,418Updated this week
- Refinement types for Scala☆1,722Updated last week
- Scala library for boilerplate-free, type-safe data transformations☆1,222Updated this week
- MongoDB Java client wrapper for Cats Effect & FS2 and ZIO☆119Updated last month
- Optics library for Scala☆1,678Updated last week
- Asynchronous, Reactive Programming for Scala and Scala.js.☆1,933Updated 11 months ago
- A bot that helps you keep your projects up-to-date☆1,179Updated this week
- If you're new to DDD and not sure where to start, this process will guide you step-by-step☆5,264Updated 5 months ago
- ☆10Updated 7 months ago
- A data access library for Scala + Postgres.☆1,610Updated this week