Pinned Repositories
flint
The Flint Programming Language for Smart Contracts
verona
Research programming language for concurrent ownership
encore
The Encore compiler.
HolisticSpecifications
pcminer
PC-miner tool for program chairs
pony-savina
Pony: Savina Benchmark Suite (Actor Benchmarks)
ponylang
SimplePonyPrograms
solidity-truffle-testrpc
verona
Research programming language for concurrent ownership
sophiaIC's Repositories
sophiaIC/HolisticSpecifications
sophiaIC/pcminer
PC-miner tool for program chairs
sophiaIC/pony-savina
Pony: Savina Benchmark Suite (Actor Benchmarks)
sophiaIC/ponylang
sophiaIC/SimplePonyPrograms
sophiaIC/solidity-truffle-testrpc
sophiaIC/verona
Research programming language for concurrent ownership