Jump to letter: [
ABCDEFGHIJKLMNOPQRSTUVWXYZ
]
applications/engineering
-
SymbiYosys -
The Yices SMT Solver
-
caffe -
Convolutional Architecture for Fast Feature Embedding
-
coin-or-Cbc -
Coin-or branch and cut
-
coin-or-Cgl -
Cut Generation Library
-
coin-or-Clp -
Coin-or linear programming
-
coin-or-CoinUtils -
Coin-or Utilities
-
coin-or-Osi -
COIN-OR Open Solver Interface Library
-
coin-or-Sample -
Coin-or Sample data files
-
cvc3 -
CVC3 - Automated validity checker
-
drawtiming -
A command line tool for generating timing diagrams
-
gnuplot -
A program for plotting mathematical expressions and data
-
gnuplot-mode -
Emacs bindings for the gnuplot main application
-
magic -
A very capable VLSI layout tool
-
mot-adms -
An electrical compact device models converter
-
mpfi -
An interval arithmetic library based on MPFR
-
ngspice -
A mixed level/signal circuit simulator
-
ogdi -
Open Geographic Datastore Interface
-
proj -
Cartographic projection software (PROJ.4)
-
xcircuit -
Electronic circuit schematic drawing program
-
yices -
The Yices SMT Solver
-
yosys -
Yosys open synthesis suite
