#

categorical-abstract-machine

Here are 3 public repositories matching this topic...

kkd26 / cam

Categorical Abstract Machine: Theory, Formalisation, Extensions

category-theory agda categorical-abstract-machine

Updated Jun 2, 2024
Agda

svenssonjoel / Sense-VM

Sense-VM has changed name to SynchronVM and is available in a new repository https://github.com/SynchronVM/SynchronVM

iot bytecode virtual-machine concurrency stm32f4 chibios nrf52 concurrent-ml zephyr-rtos categorical-abstract-machine

Updated May 14, 2022
C

remexre / stahl_bootstrap

The bootstrapping compiler for Stahl.

compiler stahl categorical-abstract-machine

Updated Jul 22, 2019
Makefile

Improve this page

Add a description, image, and links to the categorical-abstract-machine topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the categorical-abstract-machine topic, visit your repo's landing page and select "manage topics."