Repository Index

Android Circular Progress Button

:dash: Writing Fast Ruby :heart_eyes: -- Collect Common Ruby idioms.

• benchmark-ips
• performance-optimization
• ruby
• hacktoberfest

Logger for Redux

• redux-logger
• redux
• react
• angular

Discover best root apps, Magisk, KernelSu & LSPosed(xposed) modules & rooting guides

• android
• android-app
• kernelsu
• lsposed

A solid language pack for Vim.

• vim
• plugin
• language-packs

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

comment engine

• commenting
• comment-system
• self-hosted
• commenting-engines

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

• reverse-engineering
• malware-analysis
• binary-analysis
• parser

SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.

• xamarin
• graphics
• dot-net
• ios

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

• php
• static-analysis
• phan
• analysis

Plupload is JavaScript API for building file uploaders. It supports multiple file selection, file filtering, chunked upload, client side image downsizing and when necessary can fallback to alternative runtimes, like Flash and Silverlight.

• plupload
• file-upload
• file-utility

Blackfriday: a markdown processor for Go

Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

:tomato: Simple and visually-pleasing Pomodoro timer

• pomodoro
• pomodoro-timer
• productivity
• time-management

Speed up downloads by combining multiple network connections in parallel

• bandwidth-aggregation
• cross-platform
• desktop-app
• downloader

Slick, declarative command line video editing & API

• video-editor
• opengl
• ffmpeg
• cli

Perceptual video quality assessment based on multi-method fusion.

An amazing and convenient Android image slider.

Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.

• python
• dotnet
• mono
• clr

Doorkeeper is an OAuth 2 provider for Ruby on Rails / Grape.

• doorkeeper
• oauth
• oauth2-provider
• oauth2-server

This Ansible collection provides battle tested hardening for Linux, SSH, nginx, MySQL

• ansible
• sysctl
• protection
• hardening

free C++ class library of cryptographic schemes

• cryptography
• crypto
• c-plus-plus

Android Bluetooth Low Energy (BLE) Fast Development Framework. It uses simple ways to filter, scan, connect, read ,write, notify, readRssi, setMTU, and multiConnection.

• android
• bluetooth
• ble
• blue

TranslatedBrings the local Wallpaper Engine wallpapers into the DSH web interface: scene wallpapers are rendered in real time with WebGL by the built-in MIT open-source engine WebWallGL (particles / puppet skeletons / SceneScript / audio reactivity / mouse interaction), and if that fails it automatically falls back to an embedded MP4 and the scene's static frame; web wallpapers run in a strict sandbox + the WE API; iOS-style liquid glass UI that is highly customizable, pause when occluded to save power, ffmpeg transcoding with a frame rate cap, system audio spectrum and Now Playing, custom upload and automatic rotation; settings are stored on the host side, with zero token overhead for the agent. Native on all three platforms: Windows / macOS / Linux (the same package, the same command).

• dsh-plugin
• dsh-plugin-market
• dsh-plugins
• deepseek-harness