#

cesk

Here are 3 public repositories matching this topic...

ilyasergey / typechecker-transformations

An implementation of the mechanical correspondence between algorithms for type checking

ml reduction type-checking secd abstract-machine cesk

Updated Oct 12, 2012
Standard ML

FrenkPetr / SmashingFour

https://link.smashingfour.com/friend/request/?c=g&t=l3aNh

cesk hra legrace bezruc frenk2802 petr-vlasak frenkpetr

Updated Nov 19, 2019

stefanopalmieri / kamea-machine

Rust host for the Kamea machine: certified CESK core, Lean-upstream, metacircular tower on top.

scheme lisp magma homoiconic cesk lean4 metacircular-evaluator

Updated Aug 4, 2026
Rust

Improve this page

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