Block or report user
  • Madrid, Spain



Pinned repositories

  1. rust-lang/rust

    A safe, concurrent, practical language.

    Rust 21.1k 4k

  2. ponylang/ponyc

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

    C++ 2.2k 181

  3. NixOS/nixpkgs

    Nix Packages collection

    Nix 1.6k 2k

  4. NixOS/nix

    Nix, the purely functional package manager

    C++ 1.2k 233

  5. FStarLang/FStar

    An ML-like language aimed at program verification

    OCaml 773 66

132 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

Created a pull request in AngryLawyer/rust-sdl2 that received 2 comments

Fix use-after-free in Renderer::fill_rect()

The Rect structure was being freed before the raw pointer was passed to SDL_RenderFillRect(), leading to garbage rect values, which caused SDL to n…

Created an issue in dracula/visual-studio-code that received 3 comments

Unable to install via git

Your web page says: Install using Git If you are a git user, you can install the theme and keep up to date by cloning the repo: $ git clone https:/…

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