Pinned Repositories
adventofcode-clj-2017
solutions to http://adventofcode.com/2017 written Clojure
adventofcode-clj-2019
adventofcode-pl-2017
solutions to http://adventofcode.com/2017 puzzles in Prolog
BusyBeaver
Implementation of "Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo)" (https://arxiv.org/abs/1610.03184)
fruchterman-reingold
Implementation of Fruchterman-Reingold algorithm for directed force Graph Drawing
gozar
Software to practice Go
hydra-game
Implementation of the Hydra Game described in the paper Accessible independence results for Peano Arithmetic by L. Kirby and J. Paris.
LEC
Transformer of propositional logic expressions to CNF and DNF
MazeGen
Implementation of different Maze Generation algorithms in Haskell
Average-user's Repositories
Average-user/gozar
Software to practice Go
Average-user/adventofcode-pl-2017
solutions to http://adventofcode.com/2017 puzzles in Prolog
Average-user/MazeGen
Implementation of different Maze Generation algorithms in Haskell
Average-user/LEC
Transformer of propositional logic expressions to CNF and DNF
Average-user/adventofcode-clj-2019
Average-user/adventofcode-clj-2017
solutions to http://adventofcode.com/2017 written Clojure
Average-user/adventofcode-clj-2018
Solutions of advent of code 2018-edition problems in Clojure
Average-user/aoc2020
Average-user/Chess960
A generator of random positions of chess 960, also known as Fischer Random Chess.
Average-user/fruchterman-reingold
Implementation of Fruchterman-Reingold algorithm for directed force Graph Drawing
Average-user/BusyBeaver
Implementation of "Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo)" (https://arxiv.org/abs/1610.03184)
Average-user/hydra-game
Implementation of the Hydra Game described in the paper Accessible independence results for Peano Arithmetic by L. Kirby and J. Paris.
Average-user/average-user.github.io
Average-user/game-of-ur
Average-user/happy-ending
Implementation of the algorithm described in Computer solution to the 17-point Erdős-Szekeres problem