A pure symbolic circuit analyzer.
☆56Jul 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:
- BAG framework☆37Dec 27, 2024Updated last year
- Open-source version of SLiCAP, implemented in python☆37Nov 30, 2024Updated last year
- Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.☆10Jul 12, 2023Updated 2 years ago
- ☆13Apr 22, 2021Updated 5 years ago
- Verilog-A simulation models☆111Feb 24, 2026Updated 3 months 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.
- ☆16Feb 15, 2025Updated last year
- ☆92Nov 7, 2022Updated 3 years ago
- 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 3 years ago
- ☆113May 9, 2026Updated last month
- ☆57Sep 30, 2023Updated 2 years ago
- Adequately Fast Fourier Transform☆19Feb 8, 2026Updated 4 months ago
- IPDBG☆13Aug 22, 2025Updated 9 months ago
- Standard and Curated cores, tested and working.☆11Dec 29, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Primitives for GF180MCU provided by GlobalFoundries.☆13Jul 6, 2025Updated 11 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…☆22Apr 26, 2026Updated last month
- Python library for SerDes modelling☆91Jul 18, 2024Updated last year
- MATLAB tools for audio signal processing☆35Apr 30, 2023Updated 3 years ago
- Design of BandGapReference Circuit using Sky130 PDK☆11Oct 30, 2021Updated 4 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- MOSIS MPW Test Data and SPICE Models Collections☆42Apr 2, 2020Updated 6 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆13Apr 16, 2024Updated 2 years ago
- 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 6 years ago
- ☆32Updated this week
- BAG (BAG AMS Generator) Primitives Library for SKY130☆22May 16, 2023Updated 3 years ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Fixed point math library in C with 3d vectors and quaternions - formal verification is in process...☆13Jun 3, 2019Updated 7 years ago
- ☆18Dec 28, 2021Updated 4 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- Script that looks at the YAML metadata in a markdown file and runs pandoc for you.☆12Nov 28, 2021Updated 4 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 11 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 3 years ago
- Auto math prover.☆10Jul 10, 2024Updated last year