Block or report user



Pinned repositories

  1. Iosevka

    Spatial efficient monospace font family for programming. Built from code.

    JavaScript 1.7k 63

  2. caryll/otfcc

    Optimized OpenType builder and inspector.

    C 84 16

  3. caryll/ideohint

    Optimized hinter for Ideographs

    JavaScript 254 23

  4. Microsoft/vscode

    Visual Studio Code

    TypeScript 23.2k 3.2k

  5. idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell 1.6k 410

  6. vscode-iconset

    Icon set for vscode-icons

    13 7

1,654 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created a pull request in zjhmale/vscode-idris that received 1 comment

Update idris.tmLanguage with 0.99 syntax

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