A command-line benchmarking tool

A Community-led Hyper-Hackable Text Editor

code-input.js: An editable <textarea> that supports any syntax highlighting algorithm, for code or something else. Also, added plugins. [contribute here or on https://codeberg.org/code-input-js/cod…

Automatic Exam Generator for Automated Deduction

filedrops

🆙 Upscayl - #1 Free and Open Source AI Image Upscaler for Linux, MacOS and Windows.

🦊 I respect proton UI and aim to improve it.

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

Audio and video casting system with support for custom applications.

Diffuse is a graphical tool for comparing and merging text files. It can retrieve files for comparison from Bazaar, CVS, Darcs, Git, Mercurial, Monotone, RCS, Subversion, and SVK repositories.

A Scannerless GLR parser/parser generater.

Clang build analysis tool using -ftime-trace

A python wrapper for Alpha Vantage API for financial data.

Library to parse Dutch Smart Meter Requirements (DSMR) telegrams.

The Git repository for the mCRL2 toolset.

EPMC: An Extendible Probabilistic Model Checker

🍜 A tasty Haskell web framework

Workrave is a program that assists in the recovery and prevention of Repetitive Strain Injury (RSI). The program frequently alerts you to take micro-pauses, rest breaks and restricts you to your da…

Minimal implementation of the Mimblewimble protocol.

Google Drive client for the commandline

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …

Drag and drop re-ordering adapter for RecyclerView

一个 Transmission 浏览器管理界面。Transmission Web Control is a custom web UI. （该项目不再维护。）

An achtung die kurve clone created using HTML 5 and canvas.

Gluten vrije producten app voor android

[DEPRECATED] An Android library which allows developers to easily add animations to ListView items

Android Library to build a UI Card

Replacement for deprecated official Android crop image function