#

mobile-ambients

Here are 2 public repositories matching this topic...

aphelionz / ambients

LR(1) Parser for the Ambients Protocol

rust lalrpop ambients ambients-protocol lr1-parser mobile-ambients

Updated Jun 17, 2022
Rust

pisc

sjbiaga / pisc

Pi-calculus to Scala translator

scala parser-combinators metaprogramming stochastic scalameta cancellation shell-scripting scalafmt pi-calculus cats-effect ambient-calculus mobile-ambients bio-transactions

Updated Nov 11, 2024
Scala

Improve this page

Add a description, image, and links to the mobile-ambients 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 mobile-ambients topic, visit your repo's landing page and select "manage topics."