Mala1180 / PPS-22-satify
A pure functional Scala SAT solver
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for PPS-22-satify
- A game based on building, trading and farming resources☆9Updated last year
- Appunti in LaTex di metodi numerici: aa 2020/2021☆11Updated 3 years ago
- ☆11Updated 3 weeks ago
- Software for the Tablut Students Competition☆27Updated 7 months ago
- Repositório público do semestre de Verão de 2016/2017☆0Updated 7 years ago
- File Based Assertions for Java☆10Updated 10 months ago
- A library for generating plantuml from Kotlin code☆23Updated this week
- Resume for Software Engineers 👨🏻💻☆95Updated 6 months ago
- Servizio gratuito che consente a tutti gli studenti Unibo di aggiungere l'orario delle lezioni al proprio calendario, filtrando solo quel…☆21Updated 9 months ago
- Git but is rewritten in python☆30Updated 5 months ago
- Web Application Development - Spring 2018☆27Updated 6 years ago
- JaKtA is a Kotlin internal DSL for the definition of BDI agents.☆7Updated this week
- Probably the sharpest git repository organizer & rebase/merge workflow automation tool you've ever seen☆135Updated this week
- ☆21Updated 10 months ago
- A boilerplate-free Kotlin config library for loading configuration files as data classes☆923Updated last week
- Our deep learning for computer vision related project for nostalgic poke weebs (Sistemi digitali, Unibo).☆22Updated 9 months ago
- Building applications with LLMs through composability, in Kotlin, Scala, ...☆178Updated last month
- DPCM interpretati per chi (come me) non li capisce.☆34Updated 2 years ago
- A Template Repository for quickly creating more specific LaTeX templates with Continuous Integration in place☆13Updated 3 weeks ago
- ZIO — A type-safe, composable library for async and concurrent programming in Scala☆4,106Updated this week
- Sistema tenuto su con lo scotch per registrare le lezioni unibo in automatico, nella speranza che teams non cambi troppo spesso l'inter…☆11Updated 2 years ago
- Un libro open source dalla community per la community.☆348Updated this week
- Semplicemente la migliore Repo del mondo☆16Updated last year
- Docker containers for testing in scala☆636Updated 2 weeks ago
- Programming Language written for Compilers class☆15Updated 4 years ago
- A bot that helps you keep your projects up-to-date☆1,149Updated this week
- A library to serialize/deserialize Json fast and safely without reflection or generators☆82Updated this week
- Repository for computational geometry classes☆11Updated 3 years ago
- An implementation of the java pet store using FP techniques in scala☆1,068Updated 3 months ago