Block or report user

Organizations

@flycheck @boogie-org @mit-plv @ProofGeneral @realgud

Popular repositories

  1. company-coq

    IDE extensions for Proof General's Coq mode

    Emacs Lisp 137 12

  2. monospacifier

    Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)

    Python 35 3

  3. biblio.el

    Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs

    Emacs Lisp 24 1

  4. easy-escape

    Improve readability of escape characters in ELisp regular expressions

    Emacs Lisp 6 2

  5. dBoost

    TeX 4 2

  6. esh

    Use Emacs to highlight source code listings in LaTeX documents!

    Emacs Lisp 4

1,260 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

February 2017

Created an issue in FStarLang/FStar that received 2 comments

--indent doesn't yet work for the F# version

With today's master, I don't seem to be able to use --indent: $ printf "module Indent\n\nlet a = 1\n" > indent.fst $ /build/FStar/bin/fstar.exe --i…

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