Popular repositories Loading

1. pg_radix10 pg_radix10 Public

   A drop-in NUMERIC alternative that stores decimal values 15–23% more efficiently using base-10⁹ limbs.

   C 1

2. minisat-pool minisat-pool Public archive

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver - updated to support multiple workers, parallelly, using shared space for clauses.

   C++

3. MiroFish MiroFish Public

   Forked from 666ghj/MiroFish

   A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物

   Python