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.