Pinned Loading

1. happy-ending happy-ending Public

   Implementation of the algorithm described in Computer solution to the 17-point Erdős-Szekeres problem

   Rust

2. BusyBeaver BusyBeaver Public

   Implementation of "Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo)" (https://arxiv.org/abs/1610.03184)

   Lua

3. Search to prove the nonexistence of ... Search to prove the nonexistence of a 4-states minimal time solution to the Firing Squad Synchronization Problem.

   1

   -- Computer search to prove the nonexistence of minimal time solutions

   2

   -- to the FSSP with 4-(non-boundary)states.

   3

   -- States *,g,s,f,h... are represented by 0,1,2,3,4... respectively.

   4

   -- Hosted at: https://gist.github.com/Average-user/4241ca84777ae6ed38326710d8b47da4

   5

4. hydra-game hydra-game Public

   Implementation of the Hydra Game described in the paper Accessible independence results for Peano Arithmetic by L. Kirby and J. Paris.

   Haskell

5. gozar gozar Public

   Software to practice Go

   Clojure 12 1

6. fruchterman-reingold fruchterman-reingold Public

   Implementation of Fruchterman-Reingold algorithm for directed force Graph Drawing

   Clojure 1 1