Repositories list

• contract-chameleon

  Public
  Java

  •

  GNU General Public License v3.0

  •33 forks•00 stars•99 issues•33 pull requests•Updated Jul 17, 2026Jul 17, 2026

• contract-chameleon-key

  Public
  KeY adapters for contract-chameleon

  Java

  •

  GNU General Public License v3.0

  •00 forks•00 stars•66 issues•22 pull requests•Updated Jul 16, 2026Jul 16, 2026

• jmlparser

  Public
  A Parser for JML and Java.

  Java

  •

  GNU Lesser General Public License v3.0

  •1.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated Jun 23, 2026Jun 23, 2026

• contract-lib-java

  Public
  Contract-LIB proposal and tool-chain

  Java

  •

  MIT License

  •11 fork•33 stars•00 issues•00 pull requests•Updated Apr 26, 2025Apr 26, 2025

• contract-lib-exporter

  Public
  Experimental tool to export contract-lib specifications to a variety of oop verification frameworks.

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 20, 2024Dec 20, 2024

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 20, 2024Dec 20, 2024

• contract-lib.github.io

  Public
  Repository of the Contract-LIB website

  Ruby

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 20, 2024Dec 20, 2024

• contract-lib-jml-converter

  Public
  Converter from Contract-LIB to JML

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 16, 2024Dec 16, 2024