NicklasVraa / ELABorateView external linksLinks
A pure symbolic circuit analyzer.
☆53Jul 5, 2024Updated last year
Alternatives and similar repositories for ELABorate
Users that are interested in ELABorate are comparing it to the libraries listed below
Sorting:
- The dataset contains the three-phase current signals measured from a squirrel-cage induction motor. The experimental tests were carried o…☆12Jul 21, 2025Updated 6 months ago
- Python library for SerDes modelling☆82Jul 18, 2024Updated last year
- BAG framework☆32Dec 27, 2024Updated last year
- Verilog-A simulation models☆92Oct 29, 2025Updated 3 months ago
- POla DOkumen Teknik ElekRo UnSoed☆10Dec 13, 2022Updated 3 years ago
- Design of BandGapReference Circuit using Sky130 PDK☆10Oct 30, 2021Updated 4 years ago
- Scientific Bibliography System - A publication management system☆11May 1, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Maze generation & solving with Python☆10Oct 2, 2021Updated 4 years ago
- Source Code for 'Practical MATLAB Deep Learning, 2nd Edition'☆13Oct 6, 2022Updated 3 years ago
- Frequency tracking in time-frequency representations☆13Jan 19, 2021Updated 5 years ago
- The card game Uno☆10Aug 25, 2019Updated 6 years ago
- ☆11Jun 21, 2024Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A plugin to allow Jenkins Steps with Cadence vManager API☆10Jan 15, 2026Updated last month
- Cardiovascular Disease Classification Employing Empirical Mode Decomposition (EMD) of Modified ECG☆12Oct 6, 2023Updated 2 years ago
- Reproduction of popular methods for class-incremental learning in image recognition and proposal of a new variant.☆10Jan 21, 2021Updated 5 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- Icon repository for the SBB organization☆13Dec 16, 2025Updated 2 months ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- Primitives for GF180MCU provided by GlobalFoundries.☆12Jul 6, 2025Updated 7 months ago
- Colour Me Cards are your classic holiday cards, with a modern twist.☆15Dec 24, 2018Updated 7 years ago
- Ragamuffin - Chat with your document, articles or code☆13Nov 13, 2024Updated last year
- Source code for 'Raspberry Pi IoT Projects' by John C. Shovic☆10Feb 1, 2018Updated 8 years ago
- ☆14Oct 16, 2025Updated 4 months ago
- How to create gif with Blender and Python☆11Sep 23, 2016Updated 9 years ago
- attorney online custom server☆14Apr 9, 2025Updated 10 months ago
- Indonesian SentiWordNet☆11Feb 25, 2018Updated 7 years ago
- The wonderful and illustrative notes on Deep Learning take will take a person from Zero to Hero.☆13May 31, 2020Updated 5 years ago
- Python barebones for uProbe-1 ultrasound probe acquisitions☆15Nov 11, 2017Updated 8 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- Auto math prover.☆11Jul 10, 2024Updated last year
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- Simple Golang JWT Bruteforcer 2☆10May 25, 2021Updated 4 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- This webapp detects if a person is feeling drowsy and plays a sound to alert them. This is most useful for drivers.☆10Aug 31, 2019Updated 6 years ago
- Who wants to be millionaire game made with MEAN (MongoDB, Express, Angularjs, Nodejs)☆11Mar 27, 2018Updated 7 years ago
- AI sidebar plugin for Zotero, compatible with OpenAI, supports GPT, DeepSeek, Qwen, Doubao and other LLMs.☆18May 22, 2025Updated 8 months ago
- Pirate Trading Platform: Open source automated trading based on algorithmic market evaluation☆13Sep 25, 2017Updated 8 years ago