Block or report user

Report or block Kheldar

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. sudoku-solver

    A DPLL-based Sudoku solver

    Haskell 1

  2. proof-assistant

    A proof assistant for first-order logic.


  3. Thesis

    End to End Encryption Thesis


  4. TurtleDuck

    A Turtle -> PDPlot-2 Compiler


  5. Wax-Demo


  6. Risk

992 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

February 2019

Created a pull request in arbor/asif that received 2 comments

44 contributions in private repositories Feb 4 – Feb 14

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