Giters
Petar Maksimović (PetarMax)

PetarMax

Geek Repo

6

followers

0

following

0

stars

Company:@runtimeverification / Imperial College London

Location:United Kingdom

Github PK Tool:Github PK Tool

Petar Maksimović's repositories

aws-encryption-sdk-javascript

AWS Encryption SDK for Javascript and Node.js

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

petarmax.github.io

Petar Maksimović

Stargazers:0Issues:1Issues:0

test262

Official ECMAScript Conformance Test Suite

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

understanding-k-framework

Language:MakefileStargazers:0Issues:0Issues:0