Skip to content
Avatar

Achievements

Achievements

Highlights

  • Pro

Organizations

@exercism
Block or Report

Block or report Average-user

Block user

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

Report abuse

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

Report abuse

Pinned

  1. Software to practice Go

    Clojure 11 1

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

    Prolog 9

  3. Implementation of Fruchterman-Reingold algorithm for directed force Graph Drawing

    Clojure 1 1

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

    Lua

  5. 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. Implementation of the Hydra Game described in the paper Accessible independence results for Peano Arithmetic by L. Kirby and J. Paris.

    Haskell

75 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Activity overview
Contributed to Average-user/hydra-game, Average-user/aoc2020, Average-user/BusyBeaver and 4 other repositories

Contribution activity

May 2021

Average-user has no activity yet for this period.

April 2021

Created 6 commits in 1 repository
Created 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.