Repository Index

A package manager for the Luau programming language, supporting multiple runtimes including Roblox and Lune

• package-manager
• roblox
• luau
• lune

Compose promise-returning & async functions into a reusable pipeline

TranslatedGitHub accelerator — a local Windows proxy: no plugin, no server, zero accounts. Built-in table of real GitHub IPs to bypass DNS pollution, BoringSSL (the same TLS fingerprint as Chrome) + spoofed SNI to connect directly to the official edge, accelerating all scenarios: clone / push / Release / raw / web pages, with a chain of public mirrors as a fallback for large files, and automatic restoration on exit. GitHub proxy & mirror for China mainland.

• boring-ssl
• gfw
• github-accelerator
• github-proxy

A framework for smart contract verification in Coq

• blockchain
• coq
• smart-contracts
• verification

FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch

• programming-language
• windows
• scripting-language
• compiler

Agent skill for discovering TadaPay Marketplace merchants and products

Collection of mathematical morphology methods and plugins for ImageJ

• image-processing
• image-analysis
• imagej
• fiji

GoStorm is a Go library that implements the communications protocol required to write Storm spouts and Bolts in Go that communicate with the Storm shells.

Command-line interface builder for the Crystal programming language.

Skype adapter for hubot

A playable HTML + CSS + JavaScript remake of a space-based "shoot-'em-up" arcade game for Atari / Commodore 64 from 1982, including a level editor and design tool. Written as a prototype / demo of JavaScript and browser capabilities.

Modeling and Proving in Computational Type Theory

TranslatedMcDonald's points asset steward: filter out fake listings · rank by value for money · lottery advisor

• agent-skills
• mcd-mcp
• mcdonalds
• mcp

A library for allowing apps to easily use different auth providers.

The repository host gives no description.

Statistical Workload Injector for MapReduce - Project at UC Berkeley AMP Lab

A mechanisation of Wasm in Rocq

• webassembly
• wasm
• coq
• rocq-prover

WELA (Windows Event Log Analyzer, ゑ羅) is a tool for auditing and configuring Windows event log settings. Windows event logs are a vital source of information for Digital Forensics and Incident Response (DFIR), providing visibility into system activity and security events.

Python promises

• python
• promises
• promise
• promise-library

macOS app that manages localizations of Xcode projects.

F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.

Demo site auto-deployed with Ansible.

A BDD framework for your Elixir projects

Hashcat wrapper to help automate the cracking process