ondrik

ondrik's Stars

• SirVer/ultisnips

  UltiSnips - The ultimate snippet solution for Vim. Send pull requests to SirVer/ultisnips!

  Language:Python7.5k871.2k690

• VeriFIT/mata

  A fast and simple automata library

  Language:Stata20315913

• lucjaulmes/cfp-timeline

  Pretty display on a timeline of CS conference lists cross-referenced with calls for papers from WikiCFP

  Language:Python13143