#

cafeobj

Here are 3 public repositories matching this topic...

CafeOBJ / cafeobj

Development of the CafeOBJ interpreter

verification specification cafeobj algebraic-specification

Updated Nov 18, 2024
Common Lisp

BSI-Bund / CafeOBJ-PACE

CafeOBJ proof of Key Secrecy of PACE with OTS/CafeOBJ.

formal-methods cafeobj formal-proofs

Updated Apr 1, 2021
AMPL

canhminhdo / cafeobj-vscode-extension

Language CafeOBJ Support for VS Code

cafeobj vscode-extension-cafeobj-language

Updated Jul 13, 2022

Improve this page

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