Skip to content
View Average-user's full-sized avatar
  • Concepción, Chile

Organizations

@exercism

Block or report Average-user

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  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