verse-lab/hippodrome verse-lab/hippodrome

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Java
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
verse-lab/hippodrome
github

verse-lab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An automatic program repair tool for data races in Java programs.

More Repositories

1

ceramist

Verified hash-based AMQ structures in Coq
Coq
122
star
2

toychain

A minimalistic blockchain consensus implemented and verified in Coq
Coq
111
star
3

ego

EGraphs in OCaml
OCaml
56
star
4

rem

Contributing the `extract method` refactoring for Rust.
Rust
4
star
5

sisyphus

Mostly Automated Proof Repair for Verified Libraries
OCaml
4
star
6

fun-SuSLik

OOPSLA draft
TeX
2
star
7

coq-lgtm

Framework for Hyper-safety proofs about structured data
Coq
1
star