Average-user

Lucas Polymeris's repositories

Software to practice Go

Language:ClojureMIT11 20

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

Language:PrologMIT9 40

Implementation of different Maze Generation algorithms in Haskell

Language:HaskellMIT8 30

Transformer of propositional logic expressions to CNF and DNF

Language:HaskellMIT4 20

Language:ClojureMIT2 20

solutions to http://adventofcode.com/2017 written Clojure

Language:ClojureMIT1 20

Solutions of advent of code 2018-edition problems in Clojure

Language:ClojureMIT1 20

Language:Common Lisp1 20

A generator of random positions of chess 960, also known as Fischer Random Chess.

Language:ClojureMIT1 20

Implementation of Fruchterman-Reingold algorithm for directed force Graph Drawing

Language:ClojureMIT1 20

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

Language:LuaMIT000

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

Language:HaskellMIT020

Language:HTML010

Language:ClojureMIT010

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

Language:RustMIT020