Multi platform setup for Rocq, Rocq libraries and tools
Repository Index
47,133 repositories indexed
721–744 of 1,339 · Most stars
Small set of tools for helping with reverse engineering Linux drivers
ColorSet is a macOS utility and framework allowing developers to manage custom interface colors with ease.
Automated collection and reporting of citations for used software/methods/datasets
DateTimeRange, Business Day and various DateTime, DateTimeOffset, TimeSpan extension methods
- datetime
- datetimeoffset
- range
- c-sharp
Open source remote sensing dataset with benchmarks
Native port of Metroid Prime 2: Echoes (GameCube) for Linux and Android, built from the PrimeDecomp decompilation. No emulator, no game assets included: bring your own disc image.
Unofficial native Android port of Need for Speed: Most Wanted (Xbox Black Edition). The x86 code is statically recompiled to C++ with XboxXBE-Recomp and built for arm64, with a Vulkan renderer, SDL3, touch/controller/keyboard input, and extended graphics options. No emulator, no game assets included.
🦘 Jump into the repositories (git, mercurial…) of your filesystem with telescope.nvim, without any setup
- nvim
- telescope
- fossil-scm
- pijul
A WebGL tool set.
Fast arbitrary-length and infinite-complement bit sets with ranges, iteration, and bitwise operations
- bitset
- bit-vector
- bitwise
- javascript
A set of koans for learning Elm
Common Lisp NLP toolset
PDF typesetting tool for Markdown files
A DeepSeek Harness (dsh) plugin — turns dsh web into a SillyTavern-style roleplay frontend: character cards, prompt presets, lorebooks, personas, BM25 long-term memory, world-state deltas, and rollback-able floor operations, all on the dsh agent runtime.
- dsh-plugin
- deepseek-harness
- deepseek-harness-plugin
- sillytavern
A simple wrapper for nvim-lspconfig and mason-lspconfig to easily setup LSP servers.
- lsp-server
- nvim
- nvim-lspconfig
- lua
Arabic home screen and Saudi screensaver for Android TV / Google TV, plus a safe speed-up. Your AI agent sets it all up. واجهة عربية وشاشة توقف سعودية لتلفزيونات أندرويد، يركّبها لك مساعد الذكاء الاصطناعي.
- ai-agents
- android-tv
- arabic
- debloat
A package manager for PureScript based on package sets
- purescript
- package-manager
Companion repository for “In-Context Learning for Robots: Methods and Applications” — methods, datasets, and benchmarks organized by taxonomy and release date.
- awesome-list
- embodied-ai
- imitation-learning
- in-context-learning
Open Source SIEM (Security Information and Event Management system).
- siem
- risk-management
- risk-assessment
- vulnerability-management
Style Art library process images using COREML with a set of pre trained machine learning models and convert them to Art style.
- coreml
- prisma
- neural-network
- ios
A slim band above your Claude Code prompt: usage left, reset times, and whether the prompt cache is warm or cold. By Jay E | RoboNuggets
- claude-code
- claude-code-plugin
- mod
- ribbon
Access control for AI agents. Set what Claude Code, Codex, Gemini, Cursor and any MCP server are allowed to do, review risky actions before they run, and keep every action on the record.
- ai-safety
- ai-security
- claude-code
- llm-agent
Android Mobile Device Hardening
- forensic
- security
- hardening
- android-security