Pinned

1. gozar gozar Public

   Software to practice Go

   Clojure 11 1

2. adventofcode-pl-2017 adventofcode-pl-2017 Public

   solutions to http://adventofcode.com/2017 puzzles in Prolog

   Prolog 9

3. fruchterman-reingold fruchterman-reingold Public

   Implementation of Fruchterman-Reingold algorithm for directed force Graph Drawing

   Clojure 1 1

4. BusyBeaver BusyBeaver Public

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

   Lua

5. 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

6. 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