A fast sparse triangular solver compatible with SciPy.
☆10Oct 10, 2026Updated last month
Alternatives and similar repositories for spsolve
Users that are interested in spsolve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- ☆14Jan 7, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆22Dec 29, 2014Updated 11 years ago
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- Implementation of several grid routers in Rust☆13Oct 25, 2026Updated 2 weeks ago
- ☆13Aug 25, 2025Updated last year
- COATCheck☆14Nov 4, 2018Updated 8 years ago
- ☆15May 29, 2023Updated 3 years ago
- Differential Dynamic Microscopy Analysis Code☆12Jun 25, 2025Updated last year
- Anatomy of a powerhouse: SystemVerilog TPU based on Google TPU v1☆26Oct 30, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Chemical equilibrium for electrolytes system in pure python.☆28Mar 29, 2022Updated 4 years ago
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated last month
- Verified Verilog Equivalence checker, written and verified in Coq.☆15Oct 20, 2026Updated 3 weeks ago
- Complete python workflow for Angle-Resolved Photoemission Spectroscopy (ARPES)☆20Updated this week
- RTLMeter benchmark suite☆34Updated this week
- A modified Ziggurat Algorithm for efficiently generating exponentially- and normally-distributed PseudoRandom Numbers (PRNs).☆13May 21, 2025Updated last year
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 4 years ago
- Mersenne Twister pseudorandom number generator for Fortran☆10Mar 1, 2025Updated last year
- "Finding Reusable Instructions via E-Graph Anti-Unification", ASPLOS'26☆12Feb 25, 2026Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆15Feb 6, 2021Updated 5 years ago
- ☆16Sep 14, 2020Updated 6 years ago
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- Scripts that are used during the 1D finite volume method tutorial.☆34Feb 18, 2025Updated last year
- Zhuofan Lin and Shiju Lin, "GPU-Accelerated Efficient Transduction for Logic Optimization", Design, Automation & Test in Europe Conferenc…☆14Sep 19, 2026Updated last month
- ILAng documentation☆12Nov 2, 2025Updated last year
- RTL-to-GDS: syn -> sta -> pnr -> gds☆15Sep 1, 2026Updated 2 months ago
- Pychastic is a stochastic differential equations integrator written entirely in python.☆12Feb 12, 2025Updated last year
- Code for URBER: Ultrafast Rule-Based Escape Routing Method for Large-Scale Sample Delivery Biochips☆21Sep 9, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Finite volume toolbox in Python☆38Oct 1, 2026Updated last month
- ☆11Nov 4, 2025Updated last year
- ☆20Mar 1, 2021Updated 5 years ago
- Solve matrix equations in python.☆43Oct 22, 2026Updated 2 weeks ago
- ☆18Sep 2, 2020Updated 6 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- A python wrapper for CONTIN integral equation solver☆12Jun 15, 2021Updated 5 years ago
Are these results useful?