Block or report user

Organizations

@obtiva

Popular repositories

  1. Serpukhov-15

    A tic-tac-toe game inspired by Wargames and set in Russia.

    Ruby 3

  2. Magic-Hat

    A personal task management tool focused on Plans and Habits.

    Ruby 3

  3. Project-Euler

    Work on Project Euler

    Python 2

  4. wedding

    Wedding Website in Elm

    Elm 2

  5. Mars-Rover

    The mars rover project developed at Obtiva

    Ruby 1

  6. sample_app

    Sample App for Michael Hartl's Ruby on Rails Tutorial

    Ruby 1

208 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2017

Created a pull request in pezra/rspec-mode that received 1 comment

Set safe function for string defcustom variables

Using the following .dir-locals.el file... ;;; Directory Local Variables ;;; For more information see (info "(emacs) Directory Variables") ((nil (r…

Created an issue in tlaplus/tlaplus that received 4 comments

Model Checker does not run on macOS High Sierra (10.13)

I'm attempting to follow LearnTLA+ and when I reach the linked section and attempt the run the model by clicking the green circle-arrow icon on the…

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