emacs-pgtk
GNU Emacs editor (with GTK+ Wayland GUI support)
GNU Emacs is the extensible self-documenting text editor. This
package contains a version of Emacs with a graphical user interface
based on GTK+ for Wayland.
python3-aiohttp-sse
Server-sent events support for streaming data over HTTP
This library offers support for server-sent events (SSE), enabling the
streaming of data from a server to clients over HTTP. Maintaining an open
connection between the client and server, it allows the continuous flow of
real-time updates in the text/event-stream format. This is particularly useful
for applications requiring real-time notifications, such as live news feeds,
chat applications, or real-time dashboards, where maintaining a persistent
connection is critical for functionality. The library can interact with
client-side EventSource interfaces to deliver these continuous updates,
ensuring they are sent as server events occur.
pplatex
parse latex logs and print warnings/errors in a human readable format
LaTeX is able to produce really nice document layouts. But it is also able to
produce a lot of noise on the command line. `pplatex` is a command-line tool
that parses the logs of latex and pdflatex and prints warnings and errors in
a human readable format.
libdart-utils-urdf6.12
Dynamic Animation and Robotics Toolkit - Utils URDF Library
DART is a collaborative, cross-platform, open source library created by the
Georgia Tech Graphics Lab and Humanoid Robotics Lab. The library provides data
structures and algorithms for kinematic and dynamic applications in robotics
and computer animation.
DART is distinguished by it's accuracy and stability due to its use of
generalized coordinates to represent articulated rigid body systems and
computation of Lagrange's equations derived from D.Alembert's principle to
describe the dynamics of motion.
For developers, in contrast to many popular physics engines which view the
simulator as a black box, DART gives full access to internal kinematic and
dynamic quantities, such as the mass matrix, Coriolis and centrifugal forces,
transformation matrices and their derivatives. DART also provides efficient
computation of Jacobian matrices for arbitrary body points and coordinate
frames. Contact and collision are handled using an implicit time-stepping,
velocity-based LCP (linear-complementarity problem) to guarantee
non-penetration, directional friction, and approximated Coulomb friction cone
conditions. For collision detection, DART uses FCL developed by Willow Garage
and the UNC Gamma Lab.
DART has applications in robotics and computer animation because it features a
multibody dynamic simulator and tools for control and motion planning.
Multibody dynamic simulation in DART is an extension of RTQL8, an open source
software created by the Georgia Tech Graphics Lab.
libcoq-libhyps
Tactics on hypotheses in Coq
This package provides tactics and tacticals to work
with hypotheses during a Coq proof.