Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
The Plutus language implementation and tools
Project for Software Engineering 2017-18 course at NTUA
Solutions for the programming assignments in Programming Languages course
Forked from input-output-hk/plutus
The Plutus language reference implementation and tools
Seeing something unexpected? Take a look at the
GitHub profile guide.