A refined all-in-one Stremio build for premium viewing: modern UI with enhanced metadata, intro skipping, smart automation and optional enhancements—all optimized for modest hardware.

432Hz Player, 432Hz Batch Converter, Powerliminals Player, Yang YouTube Downloader

Anime-aware (Auto-Detection) MPV configuration with Anime4K, FSRCNNX, NNEDI, SD/HD pipelines for Anime and Live-Action and clean OSD

A collection of development tools targetting SEGA's SVP chip found in the Mega Drive/Genesis version of Virtua Racing.

Video player with the function of improving the quality of the hand-drawn image using the high-performance scaling algorithm of Anime4K

Easy to use Linux to Windows cross compile script.

让海思svp更加便捷使用的代码

We implement the progressive Improved Progressive BKZ with Lattice Sieving presented in https://eprint.iacr.org/2022/1343, one can call it to solve LWE challenge(https://www.latticechallenge.org/lwe_challenge/challenge.php) or other approximate svp problem.

Think Netflix but local. Or popcorn-time but with local files. Uses files from Sonarr and Radarr

SVPlite - Realtime-Optimized AviSynth+ Script-Templates for the SmoothVideo Project's SVPflow filters. Portable Low-Resource Motion Interpolation.

Optimization algorithms written in Python and MATLAB

A DeepBKZ parallel solver for shortest vector problem

Sega Mega Drive (Genesis) Scala Emulator

A C++ MPI parallel framework for the lattice problems

BKZ基底簡約法

This projects implements wavelet transform to determine SVPs' (Sharp Variation Points) alongside a transformed signal curve. It uses the concept of zero-crossing point.

Official code for 'Galois Invariants in Cyclotomic Lattice Enumeration'. Proves deterministic collapse of the SVP search space via modular pruning and MitM architecture. Demonstrates non-ergodicity of LWE noise, reducing complexity by the product of oracle primes. Supporting material for SEMA Journal (Springer Nature).

A simple demo/visualisation of the Shortest Vector Problem for Lattices.

Browser-based LLL and BKZ lattice reduction demo — Gram-Schmidt orthogonalization, Lovász condition, step-by-step basis reduction animation, toy LWE primal attack, parameter explorer showing why Kyber's n=256 q=3329 survives while toy parameters fail instantly. The hardness assumption, made tangible. No backends. No simulated math.