• Interactive theorem proving with Coq in vim.

    Vim script 153 57 ISC Updated Dec 21, 2017
  • a clone of dmenu written in OCaml.

    OCaml 33 4 MIT Updated May 3, 2017
  • Updated Aug 5, 2016