A pure symbolic circuit analyzer.
☆55Jul 5, 2024Updated last year
Alternatives and similar repositories for ELABorate
Users that are interested in ELABorate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open-source version of SLiCAP, implemented in python☆37Nov 30, 2024Updated last year
- Custom-made draw.io-shapes - in the form of an importable library - for drawing circuits and conceptual drawings in draw.io.☆261Aug 17, 2024Updated last year
- Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.☆10Jul 12, 2023Updated 2 years ago
- ☆13Apr 22, 2021Updated 4 years ago
- BAG framework☆33Dec 27, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- mojito☆12May 1, 2018Updated 7 years ago
- Verilog-A simulation models☆98Feb 24, 2026Updated last month
- ☆14Feb 15, 2025Updated last year
- This is the repository of IPs of the group in USC who is developing Analog Mixed-signal Parameter Search Engine (AMPSE). You can download…☆26Mar 11, 2023Updated 3 years ago
- Scientific Bibliography System - A publication management system☆11May 1, 2023Updated 2 years ago
- ☆57Sep 30, 2023Updated 2 years ago
- IPDBG☆13Aug 22, 2025Updated 7 months ago
- Standard and Curated cores, tested and working.☆11Dec 29, 2022Updated 3 years ago
- Primitives for GF180MCU provided by GlobalFoundries.☆12Jul 6, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Embedded polyphonic synthesizer for microcontrollers☆11May 30, 2025Updated 10 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- This software is a tool for designing electronic circuits using LaTeX. With an intuitive graphical interface, you can create complex circ…☆22Jun 5, 2025Updated 10 months ago
- MATLAB tools for audio signal processing☆35Apr 30, 2023Updated 2 years ago
- Design of BandGapReference Circuit using Sky130 PDK☆11Oct 30, 2021Updated 4 years ago
- A PCB based business card using open hardware and free software☆11Sep 10, 2024Updated last year
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 9 months ago
- MOSIS MPW Test Data and SPICE Models Collections☆40Apr 2, 2020Updated 6 years ago
- STM32Cube database mirror/history tracking repository☆11May 14, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Mar 31, 2026Updated last week
- Speech Signal Processing - C++ port of a subset of the Python library SSP☆17Dec 24, 2020Updated 5 years ago
- symbolic circuit analyzer for the Maxima computer algebra system☆15Oct 20, 2020Updated 5 years ago
- Course notes for SYDE 556: Simulating Neurobiological Systems☆14Mar 12, 2015Updated 11 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Self-setting Wifi Clock☆10Feb 20, 2024Updated 2 years ago
- A self-designed, home-made watch intended to tell time in a funky and unique way!☆23Jan 15, 2026Updated 2 months ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated last year
- This repository contains MATLAB code which can be used to generate simulink model and HDL code for implementation on FPGA. Since HDL code…☆14May 6, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated 2 years ago
- I used to drink coffee a lot. But oolong has become my favorite recently. Hope you like it too.🫖☆12Sep 13, 2021Updated 4 years ago
- A library for numerically integrating nonlinear dynamical systems.☆17Jul 28, 2018Updated 7 years ago
- WxWidgets Terminal Widget☆21Dec 23, 2013Updated 12 years ago
- ☆50Feb 7, 2025Updated last year
- Evolutionary Mission Trajectory Generator (EMTG)☆20Dec 13, 2020Updated 5 years ago
- ☆18Dec 28, 2021Updated 4 years ago