Skip to content
@mediator-team

Mediator Team @ SMS, PKU

related resources of the code generation paper is stored in codegen-proposal

Popular repositories Loading

  1. mediator mediator Public

    a formal modeling tool that helps build reliable models and codes

    Java 1 3

  2. mediator-ide mediator-ide Public

    the official IDE of mediator language, based on Electron framework

  3. mediator-proposal mediator-proposal Public

    Forked from liyi-david/Mediator-Proposal

    TeX

  4. codegen-proposal codegen-proposal Public

    TeX

Repositories

Showing 4 of 4 repositories
  • mediator Public

    a formal modeling tool that helps build reliable models and codes

    mediator-team/mediator’s past year of commit activity
    Java 1 MIT 3 0 0 Updated Feb 26, 2018
  • codegen-proposal Public
    mediator-team/codegen-proposal’s past year of commit activity
    TeX 0 Apache-2.0 0 0 0 Updated Dec 18, 2017
  • mediator-ide Public

    the official IDE of mediator language, based on Electron framework

    mediator-team/mediator-ide’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Nov 30, 2017
  • mediator-proposal Public Forked from liyi-david/Mediator-Proposal
    mediator-team/mediator-proposal’s past year of commit activity
    TeX 0 1 0 0 Updated Jul 29, 2017

Top languages

Loading…

Most used topics

Loading…