Development of the CafeOBJ interpreter
-
Updated
Nov 18, 2024 - Common Lisp
#
cafeobj
Here are 5 public repositories matching this topic...
CafeOBJ proof of Key Secrecy of PACE with OTS/CafeOBJ.
-
Updated
Apr 1, 2021 - AMPL
JAIST I217E 関数プログラミング(E) · CaféOBJ 交互学习系统：可执行的项重写引擎 + 17 章讲义要点 + 测验/闪卡/作业/模拟卷 (browser-runnable CafeOBJ subset engine)
education functional-programming term-rewriting cafeobj jaist algebraic-specification learning-tool structural-induction proof-score
-
Updated
Nov 12, 2026 - JavaScript
CafeOBJ Algebraic Specification of Quantum Computation
-
Updated
Aug 14, 2026 - Jupyter Notebook
Add this topic to your repo
To associate your repository with the cafeobj topic, visit your repo's landing page and select "manage topics."