Interactive Coq Proofs in Vim
Repository Index
47,133 repositories indexed
913–936 of 1,494 · Most stars
Python's missing "algorave" module. Live code music with Python using MIDI, OSC and/or SuperCollider.
- algorave
- algorithmic-music
- audio
- improvisation
The repository host gives no description.
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.
:sunrise: A comprehensive, cutting-edge open-source framework for next-generation Transformers/LLM, with compute-matched benchmarking and a platform for autonomous architecture research.
- auto-research
- benchmark
- deep-learning
- language-models
Command line tools for processing and uploading Mapillary imagery
Tools to fingerprint WiFi Access Points running the Broadcom SDK and a list of known affected devices.
Photoreal Blender scenes from a one-paragraph brief, built by AI agents: image→3D props on fal, scripted layout, lighting, camera and grade.
Official repository for the paper “RSIPO: Recursive Self-Improving Policy Optimization for Agentic Reinforcement Learning via Skill-Policy Co-Evolution”
a socket mock framework - for all kinds of socket animals, web-clients included
A collection of awesome static hosting & CMS providers
- static-site
- jekyll
- hosting
- hugo
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
GraphDTA: Predicting drug-target binding affinity with graph neural networks
Source code for "DeepDTA: deep drug-target binding affinity prediction"
- protein-ligand-interactions
- convolutional-neural-networks
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
Examples for I2S support on microcontrollers that run MicroPython
- pyboard
- micropython
- i2s-microphone
- i2s-dac
Open-source DeepWiki alternative — generate comprehensive wiki documentation for any codebase from terminal or browser
- cli
- deepwiki
- documentation
- llm
High-performance Valorant aimbot with adaptive smooth tracking and precise auto aim. Fully configurable, low detection risk design, clean modular structure. Easy setup for current patch.
dogpile.cache is a Python caching API which provides a generic interface to caching backends of any variety
EveryInfra MCP server & agent plugin: scraper API for TikTok, Instagram, Amazon, YouTube, Xiaohongshu & Douyin. 573 data APIs across 106 platforms, from $0.56/1K calls. For Claude Code, Cursor, Codex.
- ai-agents
- claude-code
- cursor
- mcp
Fortnite FPS Booster: frame-rate stability, lower input latency, process priority tuning, memory cleanup and power-plan presets for Fortnite on Windows. Lightweight, reversible, open-source performance optimizer.
Fast, exact inference for StartLux-Decision models on NVIDIA GPUs: the released GGUF files on int8 and 4-bit tensor cores, behind the /v1/systemone API, with up to 5.3× lower latency than vLLM in FP8 and bit-identical answers.
- calibration
- cuda
- cuda-graphs
- decision-making
Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning