Isweet/checkedc-lua Isweet/checkedc-lua

  • Stars
    star
    2
  • Language
    C
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Isweet/checkedc-lua
github

Isweet

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

This repository contains a mirror of the Lua interpreter. Various branches contain attempted ports of the Lua source to Checked C.

More Repositories

1

ppa

Principles of Program Analysis (Nielson, Nielson, Hankin)
Haskell
5
star
2

sym-while

Symbolic Execution of `while` language
OCaml
2
star
3

sym-stack

Symbolic Execution of Stack Machine
Haskell
1
star