gipsyh

gipsyh's Stars

• triton-lang/triton

  Development repository for the Triton language and compiler

  Language:C++12.5k1.5k

• Froleyks/voiraig

  Language:C++2

• Gy-Hu/pyPDR

  Implementation of IC3/PDR algorithm with z3py (AIGER 1.0 supported)

  Language:Jupyter Notebook3

• daquexian/onnx-simplifier

  Simplify your onnx model

  Language:C++3.8k379

• Evian-Zhang/llvm-ir-tutorial

  LLVM IR入门指南

  Language:LLVM1.3k142

• TechnionFV/hwmcc24_submission

  Our submission for HWMCC24

  Language:C1

• Nugine/rlimit

  Resource limits

  Language:Rust367

• lijwen2748/hwmcc24

  Language:Python11

• openmlsys/openmlsys-zh

  《Machine Learning Systems: Design and Implementation》- Chinese Version

  Language:TeX3.9k428

• adam-maj/tiny-gpu

  A minimal GPU design in Verilog to learn how GPUs work from the ground up

  Language:SystemVerilog6.9k513

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM27.8k11.5k

• gipsyh/rIC3-HWMCC24

  rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission

  4

• LVPGroup/fpp

  Isabelle/HOL sources for the book "Functional Programming and Proof"

  Language:Isabelle142

• p-org/P

  The P programming language.

  Language:C#3k175

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k193

• mohuangrui/ucasproposal

  LaTeX Proposal Template for the University of Chinese Academy of Sciences

  Language:TeX587135

• hgarrereyn/SBVA

  Structured BVA

  Language:C++295

• jix/kissat_extras

  A fork of the Kissat SAT solver with additional features. Supports incremental solving.

  Language:C9

• mit-plv/hemiola

  A Coq framework to support structural design and proof of hardware cache-coherence protocols

  Language:Coq11

• oeb25/smtlib-rs

  A high-level API for interacting with SMT solvers.

  Language:Rust188

• Froleyks/certifaiger

  Certify Model Checking Witnesses in AIGER

  Language:C++42

• aman-goel/fmcad2021exp

  Artifact for the FMCAD'21 paper - "Towards an Automatic Proof of Lamport’s Paxos"

  31

• aman-goel/ic3po

  IC3PO: IC3 for Proving Protocol Properties

  Language:Python254

• zheyuye/resume-chinese

  中文LaTeX简历模板

  Language:TeX27631

• sterin/super-prove-build

  Language:CMake112

• bitwuzla/bitwuzla

  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

  Language:SMT18828

• sosy-lab/benchexec

  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

  Language:Python226192

• usi-verification-and-security/golem

  Solver for Constrained Horn Clauses

  Language:C++347

• hopv/rust-horn

  RustHorn: A CHC-based automated verifier for Rust

  Language:SMT70

• ultimate-pa/ultimate

  The Ultimate program analysis framework.

  Language:Java19340