Google Go language IDE built using the IntelliJ Platform

A Unix domain socket library for Java

A converter for And-Inverter Graphs (AIG) to Quantified Boolean Formulars (QBF) using Simple Path as reduction method.

"Anything with SMS" Android App https://play.google.com/store/apps/details?id=org.toilelibre.libe.athg2sms

These are examples to test drive "symflower" and "symflower-server".

Test für Symflower

Schlafdödel - An novel alarm clock which wakes you up in non-deep sleeping phases

Something like a learning management system

This repository holds a test repository for Kotlin to test drive "symflower" and "symflower-server".