Salut is a small program that performs calculations on simple networks around two-port devices (like transistors) characterized by s-parameters, at radio frequencies (RF). It has the ability to model components in series with a two-port block, like an inductance from the common lead to ground. Salut is also not restricted to the usual common emitter or common source configuration even though many semiconductor manufacturers only provide s-parameters for this case.
Signs is a development environment for hardware designs in various hardware description languages. The tackled tasks are compilation, synthesis, simulation, and testing of designs. Due to the integration of these main areas, it provides the ability to debug designs in an all-embracing manner by switching between source code, netlist, and simulation. Supported languages include VHDL and the ISCAS benchmark format. Signs comes in two flavors: a command-line only version useful for processing and analyzing large netlists and as an Eclipse plugin for hardware design and simulation.
Piklab is an integrated development environment for applications based on PIC and dsPIC microcontrollers. Supported compilers are: the Small Device C Compiler, the GNU PIC Utilities, PICC compilers, the PIC30 toolchain, the C18 compiler, the JAL and JALV2 compilers, the CSC compiler, and the Boost compilers. Supported programmers: ICD2, PICkit, PICkit2, PicStart+, and most direct programmers. Supported debuggers: ICD2 and GPSim. A commandline programmer/debugger is also provided.
Slam is a mature IC Layout editor with the ability to edit very large designs (such as stream files larger than 10GB). Novel features include threading for redraw, support for displaying on multiple X servers simultaneously, and a Tcl interface to the database for user extensibility. The system is a library based system with multi-user support. Programmable structures (P-Cells) are available in Tcl. The editor includes gds input and output.
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.
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.