❤
npm
Sign UpSign In

jsimeon

Jerome Simeon

Packages 12

  • qcert

    The Q*cert compiler

    jsimeon
    published version 3.0.0-alpha.5, 3 years ago

  • jura-compiler

    Jura Compiler

    jsimeon
    published version 0.0.32, 7 years ago

  • jura-cli

    Jura CLI

    jsimeon
    published version 0.0.32, 7 years ago

  • jura-engine

    Jura Engine

    jsimeon
    published version 0.0.32, 7 years ago

  • composer-concerto

    Concerto

    dselman
    published version 0.71.6, 6 years ago

  • composer-concerto-tools

    Concerto Tools

    dselman
    published version 0.61.1, 6 years ago

  • concerto-form-react

    This project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).

    mttrbrts
    published version 0.5.0, 6 years ago

  • concerto-form-core

    This project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).

    mttrbrts
    published version 0.5.0, 6 years ago

  • qcert-compiler

    The Q*cert compiler API

    jsimeon
    published version 3.0.0-alpha.5, 3 years ago

  • qcert-runtime-js

    The Q*cert compiler JavaScript runtime

    jsimeon
    published version 3.0.0-alpha.5, 3 years ago

  • qcert-cli

    The Q*cert compiler

    jsimeon
    published version 3.0.0-alpha.4, 3 years ago

  • qcert-runtime-wasm

    The Q*cert compiler WASM runtime

    jsimeon
    published version 3.0.0-alpha.5, 3 years ago