rohitdureja

rohitdureja's Stars

• cristian-mattarei/CoSA

  CoreIR Symbolic Analyzer

  Language:Python6115

• arminbiere/cadical

  CaDiCaL SAT Solver

  Language:C++358127

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML10.7k11k