LeaverSong

LeaverSong's Stars

• Anduin2017/HowToCook

  程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

  Language:Dockerfile68.4k4016708.8k

• NVIDIA/open-gpu-kernel-modules

  NVIDIA Linux open GPU kernel module source

  Language:C15.4k1793571.3k

• aamini/introtodeeplearning

  Lab Materials for MIT 6.S191: Introduction to Deep Learning

  Language:Jupyter Notebook7.3k2921003.7k

• cvrve/Summer2025-Internships

  Collection of Summer 2025 tech internships!

  3.5k2143.1k122

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1.1k362.6k237

• berkeley-abc/abc

  ABC: System for Sequential Logic Synthesis and Formal Verification

  Language:C92839190596

• usi-verification-and-security/opensmt

  The opensmt solver

  Language:C++78722019

• aman-goel/avr

  Reads a state transition system and performs property checking

  Language:C++764919

• arbrad/IC3ref

  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

  Language:C++5611420

• patmjen/maxflow_algorithms

  A collection of min-cut/max-flow algorithms.

  Language:C++41514

• PratyushVM/maxflow-cuda

  Implementation of the maximum network flow problem in CUDA.

  Language:Cuda28119

• pddenhar/Z3-IC3-PDR

  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.

  Language:Python14226

• xuanz20/Network-on-Chip-Verilog

  A 2D mesh Network on Chip with 5-stage pipelined router, all implemented in Verilog and run on Artix-7 FPGA.

  Language:VHDL8200

• niklasb/pbbs-maxflow

  Language:C++330

• akaydesai/PDR-LIA

  Implementation of Property Directed Reachability for linear integer arithmetic; based on "Efficient Implementation of Property Directed Reachability" by Niklas Een, Alan Mishchenko, Robert Brayton

  Language:Python2200

• JoshuaBlinkhorn/CDCL

  A CDCL SAT solver. Solves formulas in the DIMACS input format.

  Language:C11

• wangyiwei2015/SysMonitorPro

  A hardware dashboard for your computer

  Language:Python1100