Snap! (formerly BYOB) is a visual, drag-and-drop programming language. It is an extended reimplementation of Scratch (a project of the Lifelong Kindergarten Group at the MIT Media Lab) that allows you to Build Your Own Blocks. It also features first class lists, first class procedures, and continuations. These added capabilities make it suitable for a serious introduction to computer science for high school or college students.

This package provides a snap executable calling xdg-open to open the application in a web browser, for offline usage.

HardV is a powerful spaced repetition flash card program. The key features are:

• HardV runs in the CLI mode by default, but you may configure it to be a TUI program, or to view images in a GUI window.

• HardV can open the editor, send the content you wrote to an online judging system, and determine the next quiz time by the judging result.

• It can be used to implement keyboard shortcut practice, cloze deletion, text-to-speech review, typing in the answer, and more.

• The format of input files are easy to be parsed by both human and other Unix utilities like grep, sed, and awk.

• Metadata like scheduled time is written back to input files; thus all your data is in files created and managed by yourself.

• HardV is a Unix filter in the default mode; that makes it easy to be called by other programs. For example, you could pipe HardV to a voice synthesizer to make an audio quiz.

FET is a program for automatically scheduling the timetable of a school, high-school or university. It uses a fast and efficient timetabling algorithm.

Usually, FET is able to solve a complicated timetable in maximum 5-20 minutes. For extremely difficult timetables, it may take a longer time, a matter of hours.

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.

Tagaini Jisho is a Japanese dictionary and kanji lookup tool. It aims at becoming your Japanese study assistant. It allows you to quickly search for entries and mark those that you wish to study, along with tags and personal notes. It also let you train entries you are studying and follows your progression in remembering them. Finally, it makes it easy to review entries you did not remember by listing them on screen or printing them on a small booklet.

Tagaini Jisho also features complete stroke order animations for more than 6000 kanji.

Codeforces Tool is a command-line interface tool for Codeforces. Its features include:

• support Contests, Gym, Groups and acmsguru

• support all programming languages in Codeforces

• submit codes

• watch submissions' status dynamically

• fetch problems' samples

• compile and test locally

• clone all codes of someone

• generate codes from the specified template (including timestamp, author, etc.)

• list problems' stats of one contest

• use default web browser to open problems' pages, standings' page, etc.

• setup a network proxy and setup a mirror host

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.

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 tools for signing EFI binaries.

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

PulseView is a Qt based logic analyzer, oscilloscope and MSO GUI for sigrok.

Magic is an interactive EDA layout tool. It can run DRC and LVS tests and can assist with automatic routing.

SystemC is a C++ library for modeling concurrent systems, and the reference implementation of IEEE 1666-2011. It provides a notion of timing as well as an event-driven simulations environment. Due to its concurrent and sequential nature, SystemC allows the description and integration of complex hardware and software components. To some extent, SystemC can be seen as a Hardware Description Language. However, unlike VHDL or Verilog, SystemC provides sophisticated mechanisms that offer high abstraction levels on components interfaces. This, in turn, facilitates the integration of systems using different abstraction levels.

ciel downloads and installs open-source PDKs which are used for chip design and EDA.

OpenEMS is an electromagnetic field solver using the FDTD method.

This package provides a VHDL compiler and simulator.

Kicad is a program for the formation of printed circuit boards and electrical circuits. The software has a number of programs that perform specific functions, for example, pcbnew (Editing PCB), eeschema (editing electrical diagrams), gerbview (viewing Gerber files) and others. To use SQLite-backed database libraries, install the optional sqliteodbc package.

The codePyVcd Python library writes VCD files as specified in IEEE 1364-2005.

The Dirtywave M8 Tracker is a portable sequencer and synthesizer, featuring 8 tracks of assignable instruments such as FM, waveform synthesis, virtual analog, sample playback, and MIDI output. It is powered by a Teensy micro-controller and inspired by the Gameboy tracker Little Sound DJ. m8c is a client for M8 Headless which allows one to install the M8 firmware on any Teensy.

Project IceStorm aims at documenting the bitstream format of Lattice iCE40 FPGAs and providing simple tools for analyzing and creating bitstream files.

VUnit features the functionality needed to realize continuous and automated testing of HDL code.

OpenEMS is an electromagnetic field solver using the FDTD method.

Fx2lafw is free firmware for Cypress FX2 chips which makes them usable as simple logic analyzer and/or oscilloscope hardware.