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.