GitHub - Mesabloo/fugue: 🎼 A compiler to native Go code for Distributed PlusCal, an extension of Lamport's PlusCal featuring channels and other distributed features.

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
.github/workflows		.github/workflows
Extra		Extra
PlusCalCompiler		PlusCalCompiler
ProgressBar		ProgressBar
VerifiedCompiler		VerifiedCompiler
tests		tests
.gitignore		.gitignore
CustomPrelude.lean		CustomPrelude.lean
Main.lean		Main.lean
PlusCalCompiler.lean		PlusCalCompiler.lean
ProgressBar.lean		ProgressBar.lean
VerifiedCompiler.lean		VerifiedCompiler.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
pcvc.sh		pcvc.sh