NextPilot
nextpilot
a powerfull, scalable and advanced autopilot, which is designed to be easily used in education, research, and industry.
China
Potassco
potassco
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam
Potsdam, Germany
Typst
typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Berlin
KRR@UP
krr-up
Knowledge Representation and Reasoning Group at the University of Potsdam, Germany
Potsdam, Germany