SPICE-like Circuit Simulator, for Transient Analysis, DC/AC Sweep and Operating Point Analysis
☆28May 30, 2024Updated 2 years ago
Alternatives and similar repositories for CSIM
Users that are interested in CSIM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official website of One Student One Chip project.☆12Feb 5, 2026Updated 6 months ago
- Parallel sparse direct solver for circuit simulation☆51Mar 22, 2026Updated 4 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Jul 31, 2026Updated last week
- RTL code for the DPU chip designed for irregular graphs☆14May 30, 2022Updated 4 years ago
- Starting from Attention, teaching the realization of VIT and other vision Transformer models hand in hand.☆12Nov 20, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Mirror of Ngspice - automatically updated on a daily basis☆23Updated this week
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 5 months ago
- [FPGA 2024] Source code and bitstream for LevelST: Stream-based Accelerator for Sparse Triangular Solver☆15Jun 1, 2025Updated last year
- proof script associated to tutorial material☆16Jul 1, 2026Updated last month
- NSCSCC 2020 - Yet Another MIPS Processor☆14Aug 7, 2021Updated 5 years ago
- RV32I Open Source GPU☆14Feb 9, 2021Updated 5 years ago
- SPICE modeling libraries for KiCAD☆15Jan 21, 2013Updated 13 years ago
- Verilog-A model library for photonic devices and components used in electronics-photonics co-simulation☆17Feb 10, 2026Updated 6 months ago
- Tries in C++☆13Aug 20, 2020Updated 5 years ago
- 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.
- Linux-capable superscalar out-of-order RISC core (with Cache& MMU) and SoC, having been verified on Xilinx Kintex-7 FPGA.☆57Aug 14, 2024Updated last year
- (Legacy) Extremely fast unordered map and set library for C++20☆11Sep 17, 2023Updated 2 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- Summary of bugs in Xuantie C9XX core design. include C906/C908/C910/C920☆36Jun 1, 2026Updated 2 months ago
- Share files and text locally via browser.☆22Jun 21, 2025Updated last year
- A Python parser for hSpice output files and documentation of the hSpice output file format☆28Mar 25, 2026Updated 4 months ago
- Java x86 emulator based on DOSBox☆19Oct 12, 2024Updated last year
- Arduino UNO R4 WIFI Led Matrix Display Animations☆21Jul 7, 2023Updated 3 years ago
- 自动生成api代码, 支持 swagger,apifox,yapi☆12Nov 1, 2023Updated 2 years ago
- 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.
- Engineering Program on RTL Design for FPGA Accelerator☆35Aug 1, 2020Updated 6 years ago
- Mathematics of Robotic Manipulation using Rocq and MathComp☆31Updated this week
- Circuit simulator of the Qucs project☆35Dec 21, 2025Updated 7 months ago
- FPGA version of CORDIC algorithm that evaluates all the trigonometric and anti-trigonometric functions.☆25Nov 20, 2019Updated 6 years ago
- A 2D Particle Survival Environment for Deep Reinforcement Learning☆26Feb 9, 2020Updated 6 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆37Apr 27, 2023Updated 3 years ago
- OKX Dex-Widget Configurator Sample☆14Jan 15, 2026Updated 6 months ago
- ☆27Dec 4, 2025Updated 8 months ago
- IO for Gallina☆34Jun 3, 2026Updated 2 months 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.
- A simple http server to cache specific eth rpc requests in memory.☆16Aug 11, 2025Updated 11 months ago
- A browser-based SPICE circuit simulator☆179Apr 7, 2026Updated 4 months ago
- ☆22Updated this week
- 知乎web pc端部分页面仿写☆11Dec 16, 2021Updated 4 years ago
- GooseGooseDuck Cheat plugis☆11Dec 19, 2022Updated 3 years ago
- Beamer 中英文模板大合集☆29Jul 22, 2019Updated 7 years ago
- auto-complete source for C headers and symbols in headers☆25Aug 16, 2020Updated 5 years ago