Mala1180 / PPS-22-satify
A pure functional Scala SAT solver
β9Updated 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
- A game based on building, trading and farming resourcesβ9Updated last year
- π Vue 3 MultiLanguage Portfolio Template! π Built with Vite, Quasar, and Pinia for a smooth, high-performance experience. CI/CD powereβ¦β12Updated last month
- A distributed real-time system for video surveillanceβ9Updated this week
- A microservices chat app, kotlin based.β11Updated this week
- Appunti in LaTex di metodi numerici: aa 2020/2021β11Updated 3 years ago
- β18Updated this week
- Servizio gratuito che consente a tutti gli studenti Unibo di aggiungere l'orario delle lezioni al proprio calendario, filtrando solo quelβ¦β27Updated last year
- Software for the Tablut Students Competitionβ25Updated last year
- scafi (Scala with computational Fields): a Scala framework for Aggregate Computingβ25Updated this week
- A Play Framework library for Bootstrapβ701Updated 5 years ago
- Scala library for boilerplate-free, type-safe data transformationsβ1,210Updated last week
- "Sossoldi" is a wealth management / personal finance / Net Worth tracking app, made with Flutter.β1,147Updated this week
- A bot that helps you keep your projects up-to-dateβ1,169Updated this week
- Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glβ¦β420Updated last week
- Machine Learning support course for ESI, Algiers, Algeriaβ24Updated 2 months ago
- β10Updated 3 years ago
- Strong type constraints for Scalaβ508Updated 3 weeks ago
- Beautiful Text-based User Interfaces for Scalaβ215Updated last year
- Telegram Bot API Wrapper for Scalaβ420Updated this week
- A machine learning based Intrusion Detection Systemβ137Updated 5 years ago
- Hotel management appβ13Updated last year
- Un template per il piano di lavoro utile per gli studenti della laurea triennale in Computer Science @Unipadova che devono iniziare lo stβ¦β8Updated 6 years ago
- Notes taken during university.β19Updated last year
- A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and serversβ821Updated this week
- A super sus AI app to order Sushi with AI and Blockchain and Cryptographyβ12Updated last year
- Tool che scarica tutti materiali (slide e simili) e le videolezioni di un corso da un certo sito didattico online di una certa universitΓ β¦β32Updated 2 years ago
- A boilerplate-free library for loading configuration filesβ1,506Updated this week
- The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"β539Updated 3 weeks ago
- π A ranked list of awesome Scala projects. Updated weekly.β262Updated this week
- β10Updated last year