System for sequential synthesis and verification
https://people.eecs.berkeley.edu/~alanmi/abc/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| g20241117 | 4.0 | i386 | mit |
| g20241117 | 4.1 | amd64 | mit |
Install via mport:
mport install abc
Model generator for SPICE simulators
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.3.7 | 4.0 | amd64 | gpl3+ |
| 2.3.7 | 4.0 | i386 | gpl3+ |
| 2.3.7 | 4.1 | amd64 | gpl3+ |
Install via mport:
mport install adms
Open source ecosystem for open FPGA boards
https://github.com/FPGAwars/apio/wiki
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.9.5 | 4.0 | i386 | gpl2 |
Install via mport:
mport install apio
Simple tool to analyze noise and distortion of a RF system
https://rfcascade.sourceforge.net/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.4 | 3.2 | amd64 | |
| 1.4 | 3.2 | i386 | |
| 1.4 | 4.0 | amd64 | |
| 1.4 | 4.0 | i386 |
Install via mport:
mport install cascade
Just-In-Time Compiler for Verilog from VMware Research
https://github.com/vmware/cascade
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| g20200105.1 | 4.0 | amd64 | bsd2 |
| g20200105.1 | 4.1 | amd64 | bsd2 |
Install via mport:
mport install cascade-compiler
Digital logic designer and circuit simulator
https://github.com/hneemann/Digital
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.31 | 3.2 | amd64 | gpl3 |
| 0.31 | 4.0 | amd64 | gpl3 |
| 0.31 | 4.0 | i386 | gpl3 |
Install via mport:
mport install digital
Driver for FTDI based JTAG probes, to program ECP5 FPGAs
https://github.com/gregdavill/ecpprog
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| g20200725_1 | 4.0 | i386 | iscl |
| g20200725_1 | 4.1 | amd64 | iscl |
Install via mport:
mport install ecpprog
FPGA assembly (FASM) parser and generator
https://github.com/SymbiFlow/fasm
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| g20190920_1 | 4.0 | i386 | iscl |
Install via mport:
mport install fasm
FDM Material database for 3D printers
https://github.com/Ultimaker/fdm_materials
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 4.7.1,1 | 4.0 | amd64 | agpl |
| 4.7.1,1 | 4.0 | i386 | agpl apgl |
| 4.7.1,1 | 4.1 | amd64 | agpl |
Install via mport:
mport install fdm_materials
Finite element analysis program (personal version)
http://projects.ce.berkeley.edu/feap/feappv/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 5.1.2.e | 4.0 | i386 | bsd3 |
| 5.1.2.e | 4.1 | amd64 | bsd3 |
Install via mport:
mport install feappv
Easy to use graphical editor for electronics
https://darwinne.github.io/FidoCadJ/index.html
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.24.8 | 3.2 | amd64 | gpl3 |
| 0.24.8 | 4.0 | amd64 | gpl3 |
| 0.24.8 | 4.0 | i386 | gpl3 |
| 0.24.8 | 4.1 | amd64 | gpl3 |
Install via mport:
mport install fidocadj
Application for rendering IC (chip) layouts in 3D
https://github.com/trilomix/GDS3D
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| g20220203 | 4.0 | i386 | gpl2 |
| g20220203 | 4.1 | amd64 | gpl2 |
Install via mport:
mport install gds3d
C++ library to create and read GDSII file
https://github.com/judefdiv/gdscpp
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| g20200611 | 4.0 | i386 | mit |
| g20200611 | 4.1 | amd64 | mit |
Install via mport:
mport install gdscpp
GDS2 stream file to Postscript and HP/GL converter
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.3.2 | 3.2 | amd64 | gpl2 |
| 0.3.2 | 3.2 | i386 | gpl2 |
| 0.3.2 | 4.0 | amd64 | gpl2 |
| 0.3.2 | 4.0 | i386 | gpl2 |
Install via mport:
mport install gdsreader
C++ library for creation and manipulation of GDSII and OASIS files
https://heitzmann.github.io/gdstk/ https://github.com/heitzmann/gdstk/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.0.0 | 4.0 | i386 | BSL-1.0 |
| 1.0.0 | 4.1 | amd64 | BSL-1.0 |
Install via mport:
mport install gdstk
Gerber file viewer
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.10.0 | 4.0 | i386 | gpl2+ |
| 2.10.0 | 4.1 | amd64 | gpl2+ |
Install via mport:
mport install gerbv
Fork of TimberWolf, a placement tool in VLSI design
https://github.com/rubund/graywolf
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.1.6.4 | 4.0 | i386 | gpl2 |
| 0.1.6.4 | 4.1 | amd64 | gpl2 |
Install via mport:
mport install graywolf
Electronic Waveform Viewer
https://gtkwave.sourceforge.net/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 3.3.120 | 3.2 | amd64 | gpl2 |
| 3.3.120 | 3.2 | i386 | gpl2 |
| 3.3.124 | 4.0 | amd64 | gpl2 |
| 3.3.124 | 4.0 | i386 | gpl2 |
Install via mport:
mport install gtkwave
Dynamic Finite Element Program Suite
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.7.06.038_4,1 | 3.2 | amd64 | GPLv2 |
| 0.7.06.038_4,1 | 4.0 | amd64 | gpl2 |
| 0.7.06.038_4,1 | 4.0 | i386 | gpl2 |
Install via mport:
mport install impact
Verilog simulation and synthesis tool
https://steveicarus.github.io/iverilog/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 12.0_1 | 4.0 | amd64 | gpl2 |
| 12.0_1 | 4.0 | i386 | gpl2 |
| 12.0_1 | 4.1 | amd64 | gpl2 |
| 12.0_1 | 4.1 | i386 | gpl2 |
Install via mport:
mport install iverilog
GUI control software for the stock K40 laser cutter controller
https://www.scorchworks.com/K40whisperer/k40whisperer.html
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.71 | 4.0 | i386 | gpl3+ |
| 0.71_1 | 4.1 | amd64 | gpl3+ |
Install via mport:
mport install k40-whisperer
LDraw-format CAD files representing many of LEGO bricks produced
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 20220211,1 | 4.0 | amd64 | CC-BY-2.0 |
| 20220211,1 | 4.0 | i386 | CC-BY-2.0 |
| 20220211,1 | 4.1 | amd64 | CC-BY-2.0 |
| 20220211,1 | 4.1 | i386 | CC-BY-2.0 |
Install via mport:
mport install ldraw
CAD program for creating virtual LEGO models
https://www.leocad.org/ https://github.com/leozide/leocad/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 25.09 | 4.0 | i386 | gpl2 |
| 25.09 | 4.1 | amd64 | gpl2 |
Install via mport:
mport install leocad
Implementation of the 3D Manufacturing Format file standard
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.5.0 | 4.0 | i386 | bsd2 |
| 2.5.0 | 4.1 | amd64 | bsd2 |
Install via mport:
mport install lib3mf
Prusa Block & Binary G-code reader/writer/converter
https://github.com/prusa3d/libbgcode
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.2.0_1 | 4.0 | amd64 | agpl |
| 0.2.0_1 | 4.0 | i386 | agpl |
| 0.2.0_1 | 4.1 | amd64 | agpl |
Install via mport:
mport install libbgcode
Library which provides a way to read/write CAD (DWG/DXF/DXFB) files
https://trac.osgeo.org/gdal/wiki/DWG_driver
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.2.0 | 3.2 | amd64 | mit |
| 0.2.0 | 3.2 | i386 | mit |
| 0.2.0 | 4.0 | amd64 | mit |
| 0.2.0 | 4.0 | i386 | mit |
| 0.2.0 | 4.1 | amd64 | mit |
Install via mport:
mport install libopencad
2D CAD system
https://librecad.org/ https://github.com/LibreCAD/LibreCAD
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.2.1.3 | 4.0 | i386 | gpl2+ |
| 2.2.1.3 | 4.1 | amd64 | gpl2+ |
Install via mport:
mport install librecad
Educational tool for designing and simulating logic circuits
http://ozark.hendrix.edu/~burch/logisim/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.7.1 | 3.2 | amd64 | gpl2 |
| 2.7.1 | 3.2 | i386 | gpl2 |
| 2.7.1 | 4.0 | amd64 | gpl2 |
| 2.7.1 | 4.0 | i386 | gpl2 |
Install via mport:
mport install logisim
Interactive editor for VLSI layouts
http://opencircuitdesign.com/magic/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 8.3.485 | 4.0 | i386 | mit |
Install via mport:
mport install magic
Tool for comparing netlists (a process known as LVS)
http://opencircuitdesign.com/netgen/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.5.276 | 4.0 | amd64 | gpl |
| 1.5.276 | 4.0 | i386 | gpl |
Install via mport:
mport install netgen-lvs
File format for compression of 3D triangle meshes
https://sourceforge.net/projects/openctm/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.0.3_4 | 4.0 | i386 | bsd3 |
| 1.0.3_4 | 4.1 | amd64 | bsd3 |
Install via mport:
mport install openctm
Universal utility for programming FPGA
https://github.com/trabucayre/openFPGALoader
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.1.1 | 4.0 | i386 | Apache-2.0 |
| 1.1.1 | 4.1 | amd64 | Apache-2.0 |
Install via mport:
mport install openfpgaloader
GDS2 stream module
https://metacpan.org/release/GDS2
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 3.35 | 4.0 | amd64 | artistic |
| 3.35 | 4.0 | i386 | artistic |
Install via mport:
mport install p5-GDS2
Building point for Verilog support in the Perl language
https://www.veripool.org/wiki/verilog-perl
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 3.478 | 3.2 | amd64 | artistic2 lgpl3 |
| 3.478 | 4.0 | amd64 | artistic2 lgpl3 |
| 3.478 | 4.0 | i386 | artistic2 lgpl3 |
Install via mport:
mport install p5-Verilog-Perl
Padring generator for ASICs
https://github.com/donn/padring
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| g20210731 | 4.0 | amd64 | iscl |
| g20210731 | 4.0 | i386 | iscl |
| g20210731 | 4.1 | amd64 | iscl |
Install via mport:
mport install padring
Coroutine based cosimulation library for writing VHDL and Verilog
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.0.1_1 | 4.1 | amd64 | bsd3 |
Install via mport:
mport install py-cocotb
Library for creation and manipulation of GDSII and OASIS files
https://heitzmann.github.io/gdstk/ https://github.com/heitzmann/gdstk/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.0.0_1 | 4.0 | i386 | BSL-1.0 |
Install via mport:
mport install py-gdstk
Python VCD file support
https://pyvcd.readthedocs.io/en/latest/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.4.1 | 4.0 | amd64 | mit |
| 0.4.1 | 4.0 | i386 | mit |
| 0.4.1_1 | 4.1 | amd64 | mit |
Install via mport:
mport install py-pyvcd
GDSII manipulation library
https://pythonhosted.org/python-gdsii/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.2.1_2 | 4.0 | amd64 | lgpl3+ |
| 0.2.1_2 | 4.0 | i386 | lgpl3+ |
| 0.2.1_3 | 4.1 | amd64 | lgpl3+ |
Install via mport:
mport install python-gdsii
Professional CAD system
https://www.ribbonsoft.com/qcad.html
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 3.32.2.0 | 4.0 | amd64 | gpl3 |
Install via mport:
mport install qcad
Tool to generate metal layers and vias
http://opencircuitdesign.com/qrouter/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.4.88 | 4.0 | amd64 | gpl2 |
| 1.4.88 | 4.0 | i386 | gpl2 |
Install via mport:
mport install qrouter
Quite Universal Circuit Simulator: GUI for circuit simulation kernels
https://ra3xdh.github.io/ https://github.com/ra3xdh/qucs_s/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 25.2.0 | 4.0 | i386 | gpl2+ |
Install via mport:
mport install qucs-s
Circuit simulator of the Qucs project
https://github.com/Qucs/qucsator
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.0.20.4 | 4.0 | i386 | gpl2 |
| 0.0.20.4 | 4.1 | amd64 | gpl2 |
Install via mport:
mport install qucsator
Controller and GCode generator for RepRap 3D printers
https://reprap.org/wiki/RepSnapper_Manual:Introduction
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.5.a5_1 | 4.0 | i386 | bsd3 gpl2 mit |
| 2.5.a5_1 | 4.1 | amd64 | bsd3 gpl2 mit |
Install via mport:
mport install repsnapper
GDSII reader and writer
http://rubyforge.org/projects/gdsii/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.0.0 | 3.2 | amd64 | mit |
| 1.0.0 | 3.2 | i386 | mit |
| 1.0.0 | 4.0 | amd64 | mit |
| 1.0.0 | 4.0 | i386 | mit |
| 1.0.0 | 4.1 | amd64 | mit |
Install via mport:
mport install rubygem-gdsii
Generates C++ and Python from ISO10303 files
https://github.com/stepcode/stepcode/wiki
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.8.2_1 | 4.0 | amd64 | bsd3 |
| 0.8.2_1 | 4.0 | i386 | bsd3 |
| 0.8.2_1 | 4.1 | amd64 | bsd3 |
Install via mport:
mport install stepcode
Traffic simulation suite for road vehicles, public transportation, etc
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.2.0 | 3.2 | amd64 | |
| 1.2.0 | 3.2 | i386 | |
| 1.2.0 | 4.0 | amd64 | |
| 1.2.0 | 4.0 | i386 |
Install via mport:
mport install sumo
SystemVerilog 2017 Pre-processor, Parser, Elaborator, etc
https://github.com/chipsalliance/Surelog
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.84_1 | 4.1 | amd64 | Apache-2.0 |
Install via mport:
mport install surelog
SystemVerilog linter
https://github.com/dalance/svlint
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.9.5_5 | 4.0 | amd64 | mit |
| 0.9.5_5 | 4.0 | i386 | mit |
| 0.9.5_5 | 4.1 | amd64 | mit |
Install via mport:
mport install svlint
SystemVerilog language server
https://github.com/dalance/svls
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.2.14_5 | 4.0 | amd64 | mit |
| 0.2.14_5 | 4.0 | i386 | mit |
| 0.2.14_5 | 4.1 | amd64 | mit |
Install via mport:
mport install svls
Free interior 3D design application
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 7.1 | 3.2 | amd64 | gpl2+ |
| 7.1 | 4.0 | amd64 | gpl2+ |
| 7.1 | 4.0 | i386 | gpl2+ |
Install via mport:
mport install sweethome3d
SymbiYosys (sby): Front-end for Yosys-based formal verification flows
https://yosyshq.readthedocs.io/projects/sby/en/latest/ https://github.com/YosysHQ/sby/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 0.63 | 4.0 | amd64 | iscl |
| 0.63 | 4.0 | i386 | iscl |
| 0.63_1 | 4.1 | amd64 | iscl |
Install via mport:
mport install symbiyosys
Event driven digital circuit simulator
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.1_1 | 4.0 | amd64 | gpl2 |
| 2.1_1 | 4.0 | i386 | gpl2 |
Install via mport:
mport install tkgate
Free explicit/implicit Finite Element Program
https://tochnog.sourceforge.net/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 20140100 | 4.0 | amd64 | gpl2 |
| 20140100 | 4.0 | i386 | gpl2 |
Install via mport:
mport install tochnog
Universal Hardware Data Model
https://github.com/chipsalliance/UHDM
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 1.83 | 3.2 | amd64 | apache2 |
| 1.83 | 4.0 | amd64 | Apache-2.0 |
| 1.83 | 4.0 | i386 | Apache-2.0 |
| 1.83_1 | 4.1 | amd64 | Apache-2.0 |
Install via mport:
mport install uhdm
Synthesizable Verilog to C++ compiler
https://www.veripool.org/projects/verilator/wiki/Intro
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 5.026 | 4.0 | amd64 | gpl3 |
| 5.026 | 4.0 | i386 | gpl3 |
Install via mport:
mport install verilator
PCB (printed circuit board) design software
https://sourceforge.net/projects/veroroute/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 2.39 | 3.2 | amd64 | gpl3 |
| 2.39 | 3.2 | i386 | gpl3 |
| 2.39 | 4.0 | amd64 | gpl3 |
| 2.39 | 4.0 | i386 | gpl3 |
Install via mport:
mport install veroroute
X11 circuit schematics drawing program
http://opencircuitdesign.com/xcircuit/
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 3.10.30,1 | 3.2 | amd64 | gpl2 |
| 3.10.30,1 | 3.2 | i386 | gpl2 |
| 3.10.30,1 | 4.0 | amd64 | gpl2 |
| 3.10.30,1 | 4.0 | i386 | gpl2 |
Install via mport:
mport install xcircuit
Xyce electronic simulator
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 7.8.0 | 3.2 | amd64 | gpl3 |
Install via mport:
mport install xyce
Compact Finite Element Analysis System
| Version | OS | Architecture | Licenses |
|---|---|---|---|
| 15 | 3.2 | amd64 | gpl2+ |
| 15 | 3.2 | i386 | gpl2+ |
| 15 | 4.0 | amd64 | gpl2+ |
| 15 | 4.0 | i386 | gpl2+ |
Install via mport:
mport install z88