harpreetbhatia
Follow
Stars
Use IBM Cloud services to create an AR powered interior decorator
A curated list of the latest breakthroughs in AI by release date with a clear video explanation, link to a more in-depth article, and code
📄 Awesome CV is LaTeX template for your outstanding job application
Collection of some challenging and tricky constraints
A list of ICs and IPs for AI, Machine Learning and Deep Learning.
A curated list of engineering blogs
A complete computer science study plan to become a software engineer.
Master programming by recreating your favorite technologies from scratch.
Formal verification of SecVisor, a secure hypervisor
Classic 8 Ball pool game written in JavaScript
Verilog development and verification project for HOL4
A curated set of links to formal methods involving provable code.
ACL2 System and Books as Maintained by the Community
SystemVerilog-based UVM testbench for an Ethernet 10GE MAC core
Create graphics with a hand-drawn, sketchy, appearance
Over 400 software engineering companies that are easy to apply to
🎓 Path to a free self-taught education in Computer Science!
Source code repo for UVM Tutorial for Candy Lovers
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.
Examples and reference for System Verilog Assertions
Verification Excellence Knowledge Sharing
Reference examples and short projects using UVM Methodology
training labs and examples