Popular repositories Loading

1. master_thes_code master_thes_code Public

   A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.

   C++ 3

2. CDCL-support-by-BDD-methods CDCL-support-by-BDD-methods Public

   Exchange information between SAT solvers

   Makefile 1

3. Krympa Krympa Public

   Krympa: A tool for minimizing equational proofs by combining subproofs generated by automatic theorem provers.

   Lean 1 1

4. manipulation_simulation manipulation_simulation Public

   This project is a computer simulation of a multi-agent extended prisoner’s dilemma using manipulation. The aim is to investigate if the outcome for all agents is better with or without the possibil…

   Python

5. cov_check cov_check Public

   CovCheck is a WebApp implemented in Haskell. It provides real time informations about the current situation of COVID-19 Worldwide and enables an automatic test (Quiz) to check whether someones is i…

   Haskell

6. kondylidou.github.io kondylidou.github.io Public template

   Forked from alshedivat/al-folio

   HTML