Popular repositories Loading

1. LAC-Towards-an-integrated-and-comprehensive-SAT-solver-made-in-heaven LAC-Towards-an-integrated-and-comprehensive-SAT-solver-made-in-heaven Public

   Python 2

2. G-RANS-Release G-RANS-Release Public

   G-RANS is a research implementation of Generalizable Residual-Aware Neural Solvers for Sparse Systems (ICML 2026). It solves sparse linear systems from PDE discretizations with residual-aware neura…

   Python 2

3. Heap-PDE-Solver Heap-PDE-Solver Public

   Python 1 1

4. Basic-vs Basic-vs Public

   C++

5. Basic-vs-- Basic-vs-- Public

   C++

6. Riscv_cpc_1.0 Riscv_cpc_1.0 Public

   C++