DamianVesk

DamianVesk's Stars

• puremourning/vimspector

  vimspector - A multi-language debugging system for Vim

  Language:Vim Script4.1k171

• satwikkansal/wtfpython

  What the f*ck Python? 😱

  Language:Python35.7k2.7k

• cluelogic/uvm-tutorial-for-candy-lovers

  Source code repo for UVM Tutorial for Candy Lovers

  Language:SystemVerilog17595

• theyoucheng/deepcover

  DeepCover: Uncover the truth behind AI

  Language:Python3218

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.4k872

• datitran/jupyter2slides

  Cloud Native Presentation Slides with Jupyter Notebook + Reveal.js

  Language:HTML794176

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++827260

• johnyf/tool_lists

  Links to tools by subject

  36681