This is a staging site. Uploads will not persist. Testing only.
fcitx5-frontend-gtk4
GTK4 IM Module for fcitx5
Fcitx5 is the next generation of fcitx input method framework. It
provides pleasant and modern input experience with intuitive graphical
configuration tools. The framework is highly extensible with support
for GTK+ and Qt toolkits, DBus interfaces, a large variety of desktop
environments and a developer-friendly API.
fcitx5-table-other
Additional table based input method for Fcitx 5
Fcitx is a input method framework with extension support, which provides
an interface for entering characters of different scripts in applications
using a variety of mapping systems.
fcitx5-table-tamil-remington
Flexible Input Method Framework v5 - Tamil Remington table
Fcitx is a input method framework with extension support, which provides
an interface for entering characters of different scripts in applications
using a variety of mapping systems.
libcoq-corn
Coq Constructive Repository at Nijmegen
This library provides different theories for Coq:
- an algebraic hierarchy with an axiomatic formalization
of the most common algebraic structures, like setoids,
monoids, groups, rings, fields, ordered fields, rings of
polynomials and real and complex numbers;
- a construction of the real numbers satisfying the above
axiomatic description;
- a proof of the fundamental theorem of algebra;
- a collection of elementary results on real analysis
including continuity, differentiability, integration,
Taylor's theorems and the fundamental theorem of calculus;
- tools for exact real computations like real numbers,
functions, integrals, graph of functions and differential
equations.
fcitx5-m17n
m17n support module for Fcitx5 Input Method Framework
Fcitx5 is the next generation of fcitx input method framework. It
provides pleasant and modern input experience with intuitive graphical
configuration tools. The framework is highly extensible with support
for GTK+ and Qt toolkits, D-Bus interfaces, a large variety of desktop
environments and a developer-friendly API.
offpunk
CLI and offline-first smolnet browser for Gemini, Gopher, etc
Offpunk is a command-line browser and feed reader dedicated to browsing the
Web, Gemini, Gopher and Spartan. Thanks to its permanent cache, it is
optimised to be used offline with rare connections but works as well when
connected.