Code repositories
Repositories of bbchallenge.org contributors
Deciders
| Creator | Link | Notes |
|---|---|---|
| bbchallenge | https://github.com/bbchallenge/bbchallenge-deciders | Official bbchallenge deciders |
| @mxdys | https://github.com/ccz181078/Coq-BB5 | |
| @mei | https://github.com/meithecatte/busycoq | A hybrid Coq/Rust/OCaml repo implementing very fast deciders plus verified proofs |
| Georgi Georgiev (Skelet) | https://skelet.ludost.net/bb/ | See bbfind and Skelet's 43 holdouts
Wrapped via bbfind-stdin by @wizord |
| @Mateon1 | https://gist.github.com/mateon1/6cdad07e15f6acf992b79dc2baf0492c | Accelerated TM simulators in Python utilizing memoization (like HashLife) |
| @Mateon1 |
- The official bbchallenge deciders repo
- Coq-BB5 by @mxdys
- A hybrid Coq/Rust/OCaml repo implementing very fast deciders plus verified proofs, by @mei
- bbfind by Skelet wrapped via bbfind-stdin by @wizord
- Accelerated TM simulators in Python utilizing memoization (like HashLife), by @Mateon1
- Forward segment TM decider by @Mateon1 (variant of Halting Segment)
- Closed Position Set (CPS) TM decider by @Mateon1
- SAT Solver CTL code by @Mateon1; TODO dependencies still in Discord posts
- The closed position set decider, reverse-engineered from Skelet's program, by @savask
- Bouncers decider, by @savask
- Reproduction of mxdys' repeated blocks decider, by @savask
- Collection of deciders by @savask
- The first SAT-based CTL/FAR decider, by @djmati1111
- An early CTL verifier (regex-based) by Frans Faase
- Bouncers decider, by @Iijil
- Bruteforce-CTL decider, by @Iijil
- Meet-in-the-Middle Weighted Finite Automata... Reduction... by @Iijil
- https://gist.github.com/Iijil1/d325da33be74a86ac2399c161a57166a
- Some progress toward a FAR verifier checked by Lean, by @-d
- An accelerated simulator for the "Bigfoot" TM, by @LegionMammal978
- Deciders formally verified using Dafny, by @nathanf
- CTL decider by @nathanf
- A dramatic simplification of CPS (much less resource-intensive and not as strong) by @nathanf
- A formally verified CTL checker by @nathanf
- https://github.com/nickdrozd/busy-beaver-stuff
- https://github.com/phinanix/busy-beavers
- https://github.com/sligocki/busy-beaver
- https://github.com/TonyGuil/bbchallenge
- https://github.com/uncombedcoconut/bbchallenge
- https://github.com/UncombedCoconut/bbchallenge-deciders/tree/FARther/decider-finite-automata-reduction
- https://github.com/UncombedCoconut/bbchallenge-nfa-verification
- https://github.com/univerz/bbc