libmeep27

library for using meep

Meep is a free and open-source software package for electromagnetics simulation via the finite-difference time-domain (FDTD) method.

eprover

Equational theorem prover

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

libslopy7.6

queries for a selection from the user and prints the region to stdout

slop (Select Operation) is an application that queries for a selection from the user and prints the region to stdout. It grabs the mouse and turns it into a crosshair, lets the user click and drag to make a selection (or click on a window) while drawing a pretty box around it, then finally prints the selection's dimensions to stdout.

bemenu

Dynamic menu inspired by dmenu

bemenu is a dynamic menu for tty (using ncurses), X11 and/or Wayland, inspired by dmenu. It reads a list of newline-separated items from standard input. When the user selects an item and presses Return, their choice is printed to standard output and bemenu terminates. Entering text will narrow the items to those matching the tokens in the input.

libbemenu-curses

Dynamic menu inspired by dmenu (curses backend)

bemenu is a dynamic menu for tty (using ncurses), X11 and/or Wayland, inspired by dmenu. It reads a list of newline-separated items from standard input. When the user selects an item and presses Return, their choice is printed to standard output and bemenu terminates. Entering text will narrow the items to those matching the tokens in the input.

liblodepng0

PNG encoder and decoder in C and C++, without dependencies

PNG is a file format to store raster images losslessly with good compression, supporting different color types and alpha channel.