Skip to content
@harp-project

High-Assurance Refactoring Project

Popular repositories Loading

  1. AML-Formalization AML-Formalization Public

    Coq 10 5

  2. Core-Erlang-Formalization Core-Erlang-Formalization Public

    Coq 10 1

  3. erlang-semantics erlang-semantics Public

    Executable formal semantics for a subset of the Erlang programming language defined in the K Framework

    Erlang 3 1

  4. EquivcheckEr EquivcheckEr Public

    Equivalence checking of refactorings for Erlang

    Erlang 3 1

  5. FOL-in-ML FOL-in-ML Public

    Embedding FOL into Matching Logic

    Coq 1

  6. RefJava RefJava Public

    A DSL for defining executable and verifiable Java refactorings

    Xtend 2

Repositories

Showing 10 of 12 repositories
  • Core-Erlang-Formalization Public
    Coq 10 1 10 (3 issues need help) 0 Updated Apr 8, 2025
  • AML-Formalization Public
    Coq 10 LGPL-2.1 5 62 (5 issues need help) 2 Updated Apr 4, 2025
  • EquivcheckEr Public

    Equivalence checking of refactorings for Erlang

    Erlang 3 BSD-3-Clause 1 11 2 Updated Jan 31, 2025
  • deep-learning-based-erlang-refactoring Public
    Jupyter Notebook 0 Apache-2.0 0 0 0 Updated Jan 10, 2025
  • Core-Erlang-mini Public
    Coq 0 LGPL-2.1 0 1 0 Updated Mar 27, 2023
  • Semantics-comparison Public
    Coq 0 GPL-3.0 0 0 0 Updated Jan 18, 2023
  • erlang-semantics-testing Public

    This project implements property-based cross-testing for formal semantics of Erlang (defined in the K framework), Core Erlang (defined in Coq).

    Erlang 0 GPL-3.0 0 0 0 Updated May 6, 2022
  • erlang-semantics Public

    Executable formal semantics for a subset of the Erlang programming language defined in the K Framework

    Erlang 3 1 0 0 Updated Sep 27, 2021
  • FOL-in-ML Public

    Embedding FOL into Matching Logic

    Coq 1 LGPL-2.1 0 0 0 Updated Aug 30, 2021
  • quickcheck-retrie Public

    Rewrite correctness test for the Retrie tool utilizing QuickCheck.

    Haskell 0 0 0 0 Updated Jun 3, 2021
View all repositories

People

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