Popular repositories Loading

1. MTGPrograms MTGPrograms Public

   A collection of programs to analyse a specific MTG deck.

   Go 2

2. stuff stuff Public

   Go

3. Iijils-bb-challenge Iijils-bb-challenge Public

   Go

4. Bruteforce-CTL Bruteforce-CTL Public

   An attempt to proof that a turing machine doesn't halt by finding a closed tape language using bruteforce

   Go

5. Bouncers Bouncers Public

   A bouncer decider. Proving that some turing machines don't halt.

   Go

6. MITMWFAR MITMWFAR Public

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

   Go 1