Interactive Coq Proofs in Vim
Repository Index
47,133 repositories indexed
1,537–1,560 of 2,556 · Most stars
aioodbc - is a library for accessing a ODBC databases from the asyncio
Automated client-side template injection (sandbox escape/bypass) detection for AngularJS v1.x.
A Claude Code skill that designs a brand identity as one system: logo, typography and colour palette built together from one brief, measured, compared as identity cards, and delivered as a brand guidelines kit.
- accessibility
- agent-skills
- brand-identity
- branding
Using deep stacked residual bidirectional LSTM cells (RNN) with TensorFlow, we do Human Activity Recognition (HAR). Classifying the type of movement amongst 6 categories or 18 categories on 2 different datasets.
- tensorflow
- lstm
- rnn
- stacked-layers
One-Step APK Decompilation With Multiple Backends
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Pestinha é um pet virtual de desktop para Windows, com rede neural pulsada, emoções e personalidade que evolui com o usuário. Ele aprende com carinho e consequências, faz travessuras, brinca, trabalha e reage ao ambiente. Tudo funciona localmente, sem depender da nuvem.
Web / REST interface for downloading youtube videos onto a server.
Tools to fingerprint WiFi Access Points running the Broadcom SDK and a list of known affected devices.
The repository host gives no description.
- hacktoberfest
- data
- datalineage
- dbt
Python API for controlling LG TVs (Web OS)
- webos
- lg
- remote-control
- smart-tv
a socket mock framework - for all kinds of socket animals, web-clients included
Nonblocking device drivers to receive from IR remotes and for IR "blaster" apps.
TranslatedMCP desktop companion for AI agent status, usage tracking, and everyday tools. Anything Universe · Desktop companion and entry point to everyday tools.
Easy to use test framework for Jupyter Notebooks
- jupyter-notebooks
- unittest
A collection of awesome static hosting & CMS providers
- static-site
- jekyll
- hosting
- hugo
The gpodder.net webservice
HAT (Hashcat Automation Tool) - An Automated Hashcat Tool for common wordlists and rules to speed up the process of cracking hashes during engagements. Created for Linux based systems
Enhance the standard unittest package with features for testing asyncio libraries
TranslatedMeetDo — open-source Meeting-to-Action AI by 筑听 (Zhuting, "build listen") · JKinco Listen. Self-hosted live meetings, local ASR/LLM, structured minutes, DOCX/PDF.
- docker
- fastapi
- funasr
- local-first
Enable root SSH on BMW MGU head units (iDrive 7 / ID8 BDC3 / ID8 BCP) over ENET - flash the debug image, enroll, persistent SSH with no B7F8E5 DTC, and a unique per-car key.
- developer-mode
- idrive
- idrive7
- root
11 Claude skills that port PlayStation 2 games you own to PC: reverse engineer the code, rebuild the graphics and backend, any controller, play it anywhere, then mod it however you want.
- claude
- claude-skills
- game-dev
- gamepad
Simple embedding based text classifier inspired by fastText, implemented in tensorflow
- fasttext
- tensorflow
- language-identification
- text-classifier