cosmo-kramer/lam-wasm cosmo-kramer/lam-wasm

  • Stars
    star
    6
  • Rank 2,524,650 (Top 51 %)
  • Language
    OCaml
  • Created about 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cosmo-kramer/lam-wasm
github

cosmo-kramer

Reviews

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

Repository Details

Lambda calculus (refs + refinement types) to web assembly compiler with cool security guarantees.

More Repositories

1

JSParser

A JavaScript Parser in Scala using fastparse
Scala
3
star
2

Glue

Python code optimizer which converts Python code to C++ based on type annotations
C++
1
star