forgejo-cli
self-hosted lightweight software forge (CLI client)
Forgejo is a forge software package for hosting software development version
control using Git as well as other collaborative features like bug tracking,
code review, continuous integration, kanban boards, tickets, and wikis.
gm2-12
GNU Modula-2 compiler
This is the GNU Modula-2 compiler, which compiles Modula-2 on platforms
supported by gcc. It uses the gcc backend to generate optimised code.
libvtk9.1t64
VTK libraries
The Visualization Toolkit (VTK) is an open-source software system
for 3D computer graphics, image processing, and visualization.
python3-showinfilemanager
Open the system file manager and optionally select files in it
The point is not to open the files, but to select them in the file manager,
thereby highlighting the files and allowing the user to quickly do something
with them.
ruby-gitlab-markup
Fork from github-markup GitLab uses to render non markdown content
This gem is used by GitLab to render any non Markdown markup. This
library converts the raw markup to HTML. The HTML is sanitized,
aggressively removing things that could harm such as `script` tags,
inline-styles, and `class` or `id` attributes. Syntax highlighting
is performed on code blocks. The HTML is passed through other
filters in the html-pipeline that add special sauce, such as emoji.
libcoq-mathcomp-field
Mathematical Components library for Coq (field)
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.