An implementation of the mechanical correspondence between algorithms for type checking
-
Updated
Oct 12, 2012 - Standard ML
#
cesk
Here are 4 public repositories matching this topic...
-
Updated
Nov 19, 2019
An ECMAScript Abstract Interpreter
-
Updated
Aug 13, 2026 - C++
Rust host for the Kamea machine: certified CESK core, Lean-upstream, metacircular tower on top.
-
Updated
Aug 16, 2026 - Rust
Add this topic to your repo
To associate your repository with the cesk topic, visit your repo's landing page and select "manage topics."