uncombedcoconut Goto Github PK

bbchallenge

Tools for attacking the Busy Beaver challenge (https://bbchallenge.org)

bbchallenge-ctl-benchmark

bbchallenge-deciders

Here we give programs that check if Turing machines halt or not.

bbchallenge-nfa-verification

Tentative DeciderInfo format for NFA proofs.

bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

bbchallenge-py-library

Python tooling to manipulate and visualise the Turing Machines of the bbchallenge project.

bbchallenge-tonyg

Busy Beaver Challenge code and results

bbchallenge-undecided-index

Keeps track of the successive versions of the undecided machines index file of the busy beaver challenge.

bbchallenge-website

Frontend of https://bbchallenge.org

busycoq

Busy Beaver deciders backed by Coq proof

cat_solver

Rust bindings for the Kissat SAT Solver

corrode

C to Rust translator

cpython

The Python programming language

geany

A fast and lightweight IDE

lua-repl

A Lua REPL implemented in Lua for embedding in other programs

meson

The Meson Build System

mitmwfar

Testing the feasability of using weighted automatons to describe non-regular languages that solve the halting problem for some turing machines

naev

Naev is a 2d action/rpg space game that combines elements from the action, rpg and simulation genres.

naev-lane-generator

Temporary(ish): Python code to explore "safe lane" generation for Naev. Started by @nenau-again.

node_crunch

Allows to distribute computations across several nodes

pre-commit

A framework for managing and maintaining multi-language pre-commit hooks.

r_math_nt4o10

stackimport

A command line tool that reads a HyperCard stack and generates a folder with XML and PBM files from it containing a more easily readable representation of its contents. Based on Tyler Vano's and Rebecca Bettencourt's code from http://creysoft.com/xtalk/