runtimeverification/javamop external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

runtimeverification/javamop

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/runtimeverification/javamop)

Close

runtimeverification / javamopView on GitHubMore

• External links
• Readme badge

Runtime verification system for Java, using AspectJ for instrumentation.

☆51Jan 6, 2023Updated 3 years ago

Alternatives and similar repositories for javamop

Users that are interested in javamop are comparing it to the libraries listed below

• runtimeverification / rv-monitor

  View on GitHub
  RV-Monitor core system code
  ☆16Apr 26, 2021Updated 4 years ago
• Formal-Systems-Laboratory / ROSRV

  View on GitHub
  ☆15Apr 26, 2021Updated 4 years ago
• shlokk / object-cropping-ssl

  View on GitHub
  This repo contains the code for the paper "Object-cropping for SSL".
  ☆18Feb 14, 2023Updated 3 years ago
• nuscr / nuscr

  View on GitHub
  A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
  ☆29Oct 20, 2025Updated 4 months ago
• EngineeringSoftware / jattack

  View on GitHub
  Compiler Testing using Template Java Programs
  ☆27Jan 15, 2024Updated 2 years ago
• moonwell-fi / temporal-governance

  View on GitHub
  Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities
  ☆11Oct 22, 2023Updated 2 years ago
• verifereum / verifereum

  View on GitHub
  Prove functional correctness of Ethereum smart contracts in higher-order logic
  ☆34Updated this week
• xlab-uiuc / cdep-fse-ae

  View on GitHub
  Configuration dependency analysis for cloud software
  ☆23Jan 4, 2022Updated 4 years ago
• SDNNetSim / FUSION

  View on GitHub
  FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…
  ☆13Feb 18, 2026Updated last week
• prapr / prapr

  View on GitHub
  Practical Program Repair via Bytecode Mutation
  ☆65Jun 20, 2022Updated 3 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• GT-NucleicAcids / pnab

  View on GitHub
  ☆13Mar 26, 2024Updated last year
• DEIS-Tools / AalWiNes

  View on GitHub
  ☆11Sep 8, 2022Updated 3 years ago
• lishuhuakai / Regular-Expression

  View on GitHub
  一个简易的正则表达式引擎!
  ☆10Apr 9, 2017Updated 8 years ago
• nikoonia / gem5v

  View on GitHub
  A Modified gem5 for Simulating Virtualized Systems
  ☆11Mar 1, 2015Updated 11 years ago
• ytoyoyama / interface_trykernel_2

  View on GitHub
  Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム
  ☆11Sep 30, 2024Updated last year
• LumaKernel / coqpit.vim

  View on GitHub
  Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.
  ☆10Nov 1, 2022Updated 3 years ago
• clustertech / cpfs-os

  View on GitHub
  ClusterTech Parallel Filesystem
  ☆12May 18, 2018Updated 7 years ago
• jasinb / sha1

  View on GitHub
  Simple implementation of SHA1 in C
  ☆12Apr 26, 2017Updated 8 years ago
• ksen007 / janala2

  View on GitHub
  a concolic testing engine for Java
  ☆105Feb 20, 2018Updated 8 years ago
• viperproject / smt-scope

  View on GitHub
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆58Dec 10, 2025Updated 2 months ago
• ntkme / jekyll-local-theme

  View on GitHub
  Jekyll plugin for building Jekyll sites with any local theme.
  ☆13Jan 28, 2026Updated last month
• kokororin / typecho-theme-Twitter

  View on GitHub
  A twitter liked typecho theme.
  ☆11Sep 29, 2015Updated 10 years ago
• OSH-2023 / osh-2023.github.io

  View on GitHub
  USTC OSH 2023 course homepage
  ☆13Jul 27, 2023Updated 2 years ago
• xygengcn / typecho

  View on GitHub
  魔改typecho，开源项目typecho官方不怎么更新，就按照自己喜欢的部分去魔改
  ☆10May 1, 2020Updated 5 years ago
• dinamite-toolkit / dinamite

  View on GitHub
  DINAMITE LLVM Pass
  ☆11May 24, 2017Updated 8 years ago
• wangluting / CMU-18640-Foundations-of-Computer-Architecture

  View on GitHub
  This is the course taught by Prof.John Shen and Prof. Onur Mutlu from CMU
  ☆11May 13, 2016Updated 9 years ago
• bfirsh / funker-go

  View on GitHub
  Funker for Go
  ☆12Dec 31, 2016Updated 9 years ago
• kory33 / s2mc-test

  View on GitHub
  Scala-to-Minecraft testing framework.
  ☆16Updated this week
• scenaristeur / solidarity

  View on GitHub
  chat on Solid with @Julian-Cole use of Shighl https://github.com/scenaristeur/shighl
  ☆16Jan 7, 2023Updated 3 years ago
• NoelDeMartin / autonomous-data

  View on GitHub
  An open standard to build applications that respect data ownership.
  ☆10Sep 17, 2021Updated 4 years ago
• joeshaw / json-lossless

  View on GitHub
  Lossless JSON encoding/decoding package in Go
  ☆18Dec 4, 2018Updated 7 years ago
• oomori / WordNetJP_ObjC

  View on GitHub
  日本語WordNet
  ☆12Nov 19, 2011Updated 14 years ago
• wilbowma / scribble-coq

  View on GitHub
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Oct 3, 2019Updated 6 years ago
• Saammaa / Citizen

  View on GitHub
  美观、简洁、细腻、高性能、响应灵敏，最初是为 Star Citizen Wiki 创建的。
  ☆16Nov 24, 2025Updated 3 months ago
• Siro256 / ConfineChickens

  View on GitHub
  「世の鶏よ、働け」
  ☆10Nov 23, 2021Updated 4 years ago
• iot-lab / iot-lab-yocto

  View on GitHub
  IoT-LAB Yocto repository
  ☆14Aug 31, 2022Updated 3 years ago
• kungliet / okl4

  View on GitHub
  okl4 git for porting to realview_eb RTSM platform
  ☆15Oct 17, 2012Updated 13 years ago
• dbis-ilm / pipefabric

  View on GitHub
  Stream processing engine
  ☆13Apr 7, 2021Updated 4 years ago