Popular repositories Loading

1. ssat ssat Public

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

   C 1

2. eudyptula eudyptula Public

   Forked from agelastic/eudyptula

   www.eudyptula-challenge.org

   C

3. satch satch Public

   Forked from arminbiere/satch

   SAT Solver SATCH

   C

4. Embedded-Linux-Dev-notes Embedded-Linux-Dev-notes Public

   Forked from xuminready/Embedded-Linux-Dev-notes

5. perfect6502 perfect6502 Public

   Forked from mist64/perfect6502

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

   C

6. Laplacians.jl Laplacians.jl Public

   Forked from danspielman/Laplacians.jl

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

   Jupyter Notebook