Post's Correspondence Problem Solver
-
Updated
Apr 1, 2021 - Go
Post's Correspondence Problem Solver
Software Engineering Ontology app to create pedagogical course project
Implementation of recursion of tasks using the rate monotonic and resource sharing using priority ceiling protocol
Collectd plugin for obtaining connection metrics from PgPool-II
This project implements a solver for the PCP (Post Correspondence Problem)
Forked to improve the PCP/NAT-PMP client library
cronografo para aire comprimido basado en Arduino
squeezelite for picoreplayer compiled by different GAN chargers
"Theoretical tool bridging cell polarities with development of robust morphologies" published in eLife (2018)
Add a description, image, and links to the pcp topic page so that developers can more easily learn about it.
To associate your repository with the pcp topic, visit your repo's landing page and select "manage topics."