Mediator Team @ SMS, PKU
related resources of the code generation paper is stored in codegen-proposal
Pinned Repositories
codegen-proposal
mediator
a formal modeling tool that helps build reliable models and codes
mediator-ide
the official IDE of mediator language, based on Electron framework
mediator-proposal
Mediator Team @ SMS, PKU's Repositories
mediator-team/mediator
a formal modeling tool that helps build reliable models and codes
mediator-team/codegen-proposal
mediator-team/mediator-ide
the official IDE of mediator language, based on Electron framework
mediator-team/mediator-proposal