Skip to content
@murcia-cs4215

Murcia

Popular repositories Loading

  1. ocontract ocontract Public

    A spin-off of OCaml that supports higher-order contract-based assertions.

    TypeScript

  2. frontend frontend Public

    Frontend repository for OContract.

    JavaScript

Repositories

Showing 2 of 2 repositories
  • ocontract Public

    A spin-off of OCaml that supports higher-order contract-based assertions.

    murcia-cs4215/ocontract’s past year of commit activity
    TypeScript 0 0 0 0 Updated Apr 17, 2022
  • frontend Public

    Frontend repository for OContract.

    murcia-cs4215/frontend’s past year of commit activity
    JavaScript 0 Apache-2.0 0 0 0 Updated Apr 16, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…