Skip to content

ankushdas/Nomos

About

This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.

Resources

License

Code of conduct

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published