Giters
Guangchen Li (guangchenli)

guangchenli

Geek Repo

0

followers

4

following

30

stars

Github PK Tool:Github PK Tool

Guangchen Li's repositories

Raster

A Software Rasterizer Written in Rust

Language:RustStargazers:2Issues:0Issues:0

maze_bmc_gen

Generate bounded model checking CNF formula out of a 2D maze

Language:PythonStargazers:1Issues:0Issues:0

microsat_hack

Hack microsat by adding new techniques.

Language:CLicense:MITStargazers:1Issues:0Issues:0

cheat_sheet

My personal cheatsheet

Stargazers:0Issues:0Issues:0

vcfloat

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

veripoly

Verify arithmetic circuits by polynomial based algorithms

Stargazers:0Issues:0Issues:0