Agnix is a small, educational operating system kernel for i386, supporting 32-bit protected memory mode, paging, hardware switched tasks, memory tests, PCI bus, devices, PCI IRQ routing, RT timers, network protocols. It is available with all the source code and is fully compatible with the Linux kernel API.
picloader is a small bootloader for Microchip® PIC16F88 devices. This small program, once compiled, can be uploaded into these chips. Chips programmed with this code are capable of being programmed directly by the serial port easily. Through a serial shell, one can also upload small native .hex binaries easily and without any further cost.
TIGL-USB provides a driver for the the USB version of the well-known TI-GRAPH LINK cabled used for connecting TI graphing calculators to a computer. With this cable you can backup/restore your calculator, send/receive variables, do screenshots, FLASH your calculator (update the Operating System), etc.