mirror of
https://github.com/cpm-cmake/CPM.cmake.git
synced 2026-01-18 17:21:33 +01:00
Add AALTITOAD to "Built with CPM.cmake" (#463)
This commit is contained in:
committed by
GitHub
parent
a02a9601da
commit
1b59cb6b16
@@ -324,7 +324,14 @@ If you know others, feel free to add them here through a PR.
|
||||
<p align="center"><b>JNGL - easy to use cross-platform 2D game library</b></p>
|
||||
</a>
|
||||
</td>
|
||||
<td/>
|
||||
<td>
|
||||
<a href="https://github.com/sillydan1/aaltitoad">
|
||||
<p align="center">
|
||||
<img src="https://github.com/sillydan1/aaltitoad/raw/v1.1.0/.github/resources/logo/toad_only.svg" alt="aaltitoad" width="100pt" />
|
||||
</p>
|
||||
<p align="center"><b>AALTITOAD - verifier and simulator for Tick Tock Automata</b></p>
|
||||
</a>
|
||||
</td>
|
||||
<td/>
|
||||
</tr>
|
||||
</table>
|
||||
|
||||
Reference in New Issue
Block a user