Repositories list

• fsl.cs.illinois.edu

  Public
  TeX

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 17, 2026Apr 17, 2026

• matching-logic-mm0

  Public
  Formalisation of Matching Logic in Metamath 0

  Python

  •

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

  •22 forks•00 stars•66 issues•22 pull requests•Updated Sep 25, 2024Sep 25, 2024

• www.matching-logic.org

  Public
  22 forks•00 stars•00 issues•22 pull requests•Updated Jul 10, 2024Jul 10, 2024

• ROSRV

  Public
  C++

  •

  Other

  •44 forks•1515 stars•11 issue•44 pull requests•Updated Apr 26, 2021Apr 26, 2021

• rosmop

  Public
  Monitor Oriented Programming for ROS

  Java

  •44 forks•44 stars•00 issues•22 pull requests•Updated Apr 26, 2021Apr 26, 2021

• hybrid-programs-semantics

  Public
  Semantics of Hybrid Programs (Differential Dynamic Logic) in K

  Python

  •00 forks•22 stars•00 issues•00 pull requests•Updated May 25, 2020May 25, 2020

• coinduction

  Public
  language-independent program verification by coinduction

  Coq

  •11 fork•22 stars•11 issue•00 pull requests•Updated Mar 5, 2020Mar 5, 2020

• javamop-linked-lists

  Public
  Simple Linked Lists

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 6, 2019Dec 6, 2019

• rvm-parser

  Public
  Parsing RVM and MOP specifications using K framework

  Shell

  •22 forks•22 stars•00 issues•11 pull request•Updated May 12, 2016May 12, 2016

• replaymop

  Public
  Deterministic replay of concurrent Java programs using monitoring oriented programming

  Java

  •44 forks•00 stars•00 issues•00 pull requests•Updated Apr 2, 2015Apr 2, 2015