Anime4KCPP is a high performance anime image and video upscaler using a CNN-based algorithm with CPU and GPU acceleration.
Read more
Anime4KCPP is a high performance anime image and video upscaler using a CNN-based algorithm with CPU and GPU acceleration.
Read more
IGV-Web App lets researchers inspect reference genomes, alignments and variant tracks in a browser using local or remote genomic files.
Read more
Rebiber replaces unofficial BibTeX entries with official DBLP or ACL Anthology records while retaining citation keys.
Read more
Kookbook manages Markdown recipe collections on Linux, with searchable titles, ingredient indexes, recipe templates and printing support.
Read more
Journaler is a privacy-focused desktop journaling app that stores daily entries as local Markdown files with search, metrics and export.
Read more
complexipy measures cognitive complexity in Python code, identifying difficult functions and regressions with fast Rust-based analysis.
Read more
zns is a command-line DNS client with DNSSEC validation, delegation tracing, reverse lookups and readable output.
Read more
GoCard is a terminal flashcard app using Markdown files, enhanced SM-2 spaced repetition, rich rendering, statistics and review forecasts
Read more
LiquidHaskell is a formal verification tool that uses refinement types and SMT solving to check properties of Haskell programs.
Read more
gf is a lightweight graphical GDB front-end offering source, assembly, register, memory and breakpoint views for debugging.
Read more
GateSentry is a network content filter combining DNS blocking, per-device policies, safe search, proxy filtering and HTTPS inspection.
Read more
Walldo is a lightweight graphical wallpaper changer with recursive browsing, fuzzy search and broad desktop environment support.
Read more
Zuban is a fast Rust-based Python type checker with Mypy compatibility, incremental analysis and language server support for editors.
Read more
NumNum is a graphical calculator where you type calculations, variables, units, currencies and percentages as text.
Read more
wpaperd is a Wayland wallpaper daemon with timed rotation, per-display wallpapers and hardware-accelerated transitions.
Read more
Timekpr-nExT is a Linux screen-time manager for setting daily, weekly and monthly limits, schedules and application restrictions.
Read more
edb is a graphical debugger for AArch32, x86 and x86-64 applications. The project was inspired by OllyDbg.
Read more
terminal-anki is a terminal flashcard app with SM-2 scheduling, card management, analytics, themes and Anki import and export.
Read more
Calculator is a simple graphical calculator for the COSMIC desktop with a useful history of previous calculations.
Read more
RAWmakase is a fast non-destructive RAW photo developer with GPU previews, Lightroom catalogue import, masking and command-line tools.
Read more