llun-hp3la

@00lz's repositories

Sat solver implmented in C. This is my learning of satch and kissat

Language:C100

000

www.eudyptula-challenge.org

Language:C000

Algorithms inspired by graph Laplacians: linear equation solvers, sparsification, clustering, optimization, etc.

Language:Jupyter NotebookNOASSERTION000

perfect6502, a MOS 6502 CPU emulator that performs a simulation of the original NMOS 6502 netlist

Language:CMIT000

A header-only C++ library for sketching in randomized linear algebra

Language:C++NOASSERTION000

A high-performance C++ library for randomized numerical linear algebra

Language:C++000

SAT Solver SATCH

Language:CMIT000