jsliyuan's repositories

boolean_functions

Basic operations on Boolean functions (viewed as GF(2) polynomials)

Language:C++Stargazers:3Issues:0Issues:0

cprogramming2022

Examples for the C programming course (2022)

Language:CStargazers:2Issues:0Issues:0

cr37

Computer assisted proof that CR(3,7) = 20 for Reed-Muller codes

Language:C++Stargazers:1Issues:0Issues:0