Projects in Awesome Lists by Average-user
A curated list of projects in awesome lists by Average-user .
https://github.com/average-user/adventofcode-pl-2017
solutions to http://adventofcode.com/2017 puzzles in Prolog
advent-of-code advent-of-code-2017 adventofcode adventofcode2017 aoc aoc2017 prolog
Last synced: 05 Feb 2026
https://github.com/average-user/mazegen
Implementation of different Maze Generation algorithms in Haskell
Last synced: 09 Jul 2025
https://github.com/average-user/lec
Transformer of propositional logic expressions to CNF and DNF
cnf cnf-encoding haskell logic
Last synced: 07 Sep 2025
https://github.com/average-user/chess960
A generator of random positions of chess 960, also known as Fischer Random Chess.
chess clojure clojurescript fischer-random-chess
Last synced: 09 Jul 2025
https://github.com/average-user/adventofcode-clj-2017
solutions to http://adventofcode.com/2017 written Clojure
advent-of-code advent-of-code-2017 adventofcode adventofcode2017 aoc2017
Last synced: 09 Jul 2025
https://github.com/average-user/adventofcode-clj-2018
Solutions of advent of code 2018-edition problems in Clojure
advent-of-code advent-of-code-2018 aoc aoc2018
Last synced: 09 Jul 2025
https://github.com/average-user/fruchterman-reingold
Implementation of Fruchterman-Reingold algorithm for directed force Graph Drawing
algortihm graph-drawing graph-visualisation graph-visualization graphdrawing
Last synced: 14 Oct 2025
https://github.com/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.
Last synced: 09 Jul 2025
https://github.com/average-user/happy-ending
Implementation of the algorithm described in Computer solution to the 17-point Erdős-Szekeres problem
Last synced: 09 Jul 2025
https://github.com/average-user/busybeaver
Implementation of "Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo)" (https://arxiv.org/abs/1610.03184)
Last synced: 24 Jul 2025