Alliance CAD System is a set of EDA tools and portable cell libraries for VLSI design. It covers a wide range of the standard design flow (from VHDL up to layout). It includes a VHDL simulator, RTL synthesis tools, place and route tools, netlist extractor, DRC, and a layout editor.
nMicrocoder is an ncurses EDA tool to write microcode. Basically, it is a stripped down spreadsheet program that lets you fill a table with "0", "1", and "-", and gives you compile-ready verilog code in return. It was written as an alternative to full spreadsheet programs. It is known to run on Linux, IRIX, and Solaris, unless ncurses 5.3 is installed.
QCADesigner is a Quantum-Dot Cellular Automata (QCA) circuit simulator. With powerful CAD capabilities, it allows the designer to quickly layout and simulate QCA circuits constructed with thousands of QCA cells. QCA is one of several emerging nanotechnologies with potential applications in future computers.
Confluence is a functional programming language for reactive system design, including FPGAs, ASICs, and hard-real-time software. Confluence system descriptions have a large information to linecount ratio. It is typically two to five times more compact than Verilog. Confluence can compile a single body of source code into to Verilog, VHDL, C, and NuSMV.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
iBookshelf is an application for cataloging your book collection and designing bookshelves based on this data. It supports ISBN entry using a CueCat, a standard barcode scanner, or manual entry. Book data is automatically fetched from Amazon Web services. Manual book entry is possible for non-catalogued books. Bookshelf design is done graphically with the Cairo drawing library, and is based on the most efficient book order.