A custom pagination library for Mongoose with customizable labels.

A page based custom aggregate pagination library for Mongoose with customizable labels.

Wlx2Explorer is an application which allows to use Total Commander lister plugins from Windows Explorer.

5Dim's Factorio mods

Clean and simple gem downloads count badge, courtesy of http://shields.io/. You can checkout the application directly at the following URL:

Monoidal map type with support for semigroup and monoid subclasses.

This is a Javascript-implementation of the boardgame known as Risk

Various Releases of RMEditor. These are not the finished version, but they work and have the newest stuff (file with highest version + build number)

5Dim's mods repository

An asyncio Python client to the Resideo TCC web API

A collection of simple C Programs involving Strings.

Clang based AST reformatting tool used for injecting instrumentation code in C/C++ programs. The goal is collecting profiles (run-times and execution frequencies) on C/C++ programs.

Comparitive study and source code of 18 triangulation algorithms (including our algorithm called "ToTal", which to date is the fastest)

Calculate the sum of single-precision floating-point strided array elements, ignoring NaN values, using ordinary recursive summation with extended accumulation, and returning an extended precision result.

ORM multiple distinct() with pagination()

Calculate the sum of single-precision floating-point strided array elements, ignoring NaN values, using extended accumulation, and returning an extended precision result.

Rights: License Creative Commons Attribution 4.0 International Copyright Ultra Verba Lux Mentis 2025. This repository is a reproducible research + governance scaffold that combines: Lean 4 formalization (machine-checked theorems; “hard-to-reject” anchors) Python reference implementations (toy experiments + benchmarks)

Compute a moving sum of absolute values incrementally.