tjhance

tjhance's Stars

• lzanini/mdbook-katex

  A preprocessor for mdBook, rendering LaTex equations to HTML at build time.

  Language:Rust20334

• vmware-labs/verified-betrfs

  A verified high-performance file system

  Language:Dafny3110

• shewu/nChooseThree

  It's nChooseThree!

  Language:PHP3

• shewu/h4ck4th0n

  Holy Balls: The Game

  Language:C++82