Repositories list

• Core-Erlang-Formalization

  Public
  coqformalizationcore-erlang+ 3big-step-semanticssmall-step-semanticsprogram-equivalence

  Rocq Prover

  •

  Other

  •1•10•10•1•Updated Aug 6, 2025Aug 6, 2025

• AML-Formalization

  Public
  Coq

  •

  GNU Lesser General Public License v2.1

  •5•11•62•2•Updated Aug 4, 2025Aug 4, 2025

• 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

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated May 8, 2025May 8, 2025

• EquivcheckEr

  Public
  Equivalence checking of refactorings for Erlang

  Erlang

  •

  BSD 3-Clause "New" or "Revised" License

  •1•3•11•2•Updated Jan 31, 2025Jan 31, 2025

• deep-learning-based-erlang-refactoring

  Public
  Jupyter Notebook

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 10, 2025Jan 10, 2025

• Core-Erlang-mini

  Public
  Coq

  •

  GNU Lesser General Public License v2.1

  •0•0•1•0•Updated Mar 27, 2023Mar 27, 2023

• Semantics-comparison

  Public
  Coq

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jan 18, 2023Jan 18, 2023

• erlang-semantics

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

  Erlang

  •

  Other

  •1•3•0•0•Updated Sep 27, 2021Sep 27, 2021

• FOL-in-ML

  Public
  Embedding FOL into Matching Logic

  Coq

  •

  GNU Lesser General Public License v2.1

  •0•1•0•0•Updated Aug 30, 2021Aug 30, 2021

• quickcheck-retrie

  Public
  Rewrite correctness test for the Retrie tool utilizing QuickCheck.

  Haskell

  •0•0•0•0•Updated Jun 3, 2021Jun 3, 2021

• RefJava

  Public
  A DSL for defining executable and verifiable Java refactorings

  Xtend

  •

  MIT License

  •2•0•0•0•Updated Nov 10, 2020Nov 10, 2020

• Reflexive-Parsing

  Public
  C++

  •0•0•0•0•Updated Jun 7, 2020Jun 7, 2020