OneMoreSecond

OneMoreSecond's Stars

• texmacs/texmacs

  Source Code of GNU TeXmacs, Developers Guide ==>

  Language:Tcl59971

• UniMath/SymmetryBook

  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

  Language:HTML38122

• wangbo15/accmut

  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.

  Language:C++113

• pietrobraione/jbse

  A symbolic Java virtual machine for program analysis, verification and test generation

  Language:Java10429

• zongyi/pku-jos

  6