Tipp10 is a touch typing tutor. The ingenious thing about the software is its intelligence feature: characters that are mistyped are repeated more frequently. Beginners will find their way around right away so they can start practicing without a hitch.

Useful support functions and an extensive progress tracker, topical lessons and the ability to create your own practice lessons make learning to type easy.

Commandline client for exercism.io, a free service providing mentored learning for programming languages.

Mazo is a learning application that helps you memorize simple concepts using multimedia flash cards and spaced reviews.

qolibri is a dictionary viewer for the EPWING dictionary format. Most monolingual Japanese dictionaries can only be found in the EPWING format.

ToutEnClic is intended to facilitate the schooling of physically disabled children in ordinary schools. It is both a multi-page virtual exercise book and a kit including pencil, scissors, glue, ruler, compass, protractor and square. A virtual keyboard is also available if the child does not have any other specialized device.

OpenBoard is a teaching software for interactive whiteboard designed primarily for use in schools and universities. It can be used both with interactive whiteboards or in a dual-screen setup with a pen-tablet display and a beamer.

The EB library is a library for accessing CD-ROM books, which are a common way to distribute electronic dictionaries in Japan. It supports the EB, EBG, EBXA, EBXA-C, S-EBXA and EPWING formats.

This package provides tools for signing EFI binaries.

This package provides an EFI toolchain for building programs that can run in the environment presented by Intel's EFI.

The EFI Analyzer checks EFI binaries and prints out header and section information.

This package provides EFI tools for EFI key management and EFI variable management.

Prjpeppercorn includes programming tools for GateMate architecture from Cologne Chip. It also provides data needed to produce a nextpnr chip database Cologne Chip's GateMate architecture.

The codePyUCIS library provides two APIs for creating and accessing coverage data via the UCIS data mode.

OSVVM is a verification methodology that defines a VHDL verification framework, verification utility library, verification component library, scripting API, and co-simulation capability for FPGA or ASIC verification.

csxcad is a C++ library to describe geometrical objects and their physical or non-physical properties for electromagnetics simulations.

Route-rnd is a generic external autorouter for PCB using tEDAx file format, part of the RiNgDove EDA suite.

ABC is a program for sequential logic synthesis and formal verification.

Migen FHDL is a Python library that replaces the event-driven paradigm of Verilog and VHDL with the notions of combinatorial and synchronous statements, has arithmetic rules that make integers always behave like mathematical integers, and allows the design's logic to be constructed by a Python program.

OpenROAD is an EDA toolkit for RTL to GDS design flows. It provides all necessary steps from VLSI designs to implement integrated chip physical designs, from RTL design to synthesized Verilog and routed layout. It includes tools for floorplanning, placement, clock tree synthesis, routing, parasitic extraction, and timing analysis.

OpenEMS is an electromagnetic field solver using the FDTD method.

Project Trellis is a Nextpnr backend compatible with ECP5 FPGAs. The following features are currently available:

• logic slice functionality, including carries

• distributed RAM inside logic slices

• all internal interconnect

• basic IO, including tristate

• block RAM, using inference or manual instantiation

• multipliers using manual instantiation

• global networks and PLLs

• transcievers (DCUs.)

ABC is a program for sequential logic synthesis and formal verification. This is the Yosyshq fork of ABC.

OpenBoardView is a viewer for BoardView files, which present the details of a printed circuit board (PCB). It comes with features such as:

• Dynamic part outline rendering, including complex connectors

• Annotations, for leaving notes about parts, nets, pins or location

• Configurable colour themes

• Configurable DPI to facilitate usage on 4K monitors

• Configurable for running on slower systems

• Reads FZ (with key), BRD, BRD2, BDV and BV* formats.

Libserialport is a minimal shared library written in C that is intended to take care of the OS-specific details when writing software that uses serial ports.