Reproduction of RepWL_ES

Reproduction of savask's and mei's bouncers

Coq-BB5

Coq-BB5 - Repeated block decider (RepWL_ES)

Coq-BB5 - Reproduction and improvements on NGramCPS

Reproduction of Halting Segment

Reproduction of Backward Reasoning

Meet-in-the-Middle Weighted FAR (MITMWFAR)

Reproduction, optimization, formal verification of savask's bouncers

Coq verification of Backward Reasoning

Coq verification of Translated Cyclers

Coq verification of Cyclers

busycoq

Reproduction and variations on Bouncers (Iijil)

Reproduction and variations on Bouncers (savask)

Reproduction of FAR

n-GRAM Closed Position Set

Reproduction of FAR

Implementation of Closed Position Set (CPS)

Bouncers

Reproduction of Halting Segment

Reproduction of Halting Segment

SAT-based FAR implementation

Reverse engineering of Skelet's CPS

Finite Automata Reduction (FAR)

Reproduction and debugging of Backward Reasoning

Bruteforce Closed Tape Language (CTL)

Reproduction of Cyclers

Reproduction of Translated Cyclers

Closed Tape Language (CTL) verifier

Dafny verification of Halting Segment

Reproduction of Halting Segment and forward implem

Halting Segment (HS)

Closed Tape Language (CTL) SAT Solver

Cyclers

Backward Reasoning (BR)

Translated Cyclers (TCs)

bbfind - Closed Position Set (CPS)

(external) bbfind