A library of mechanised undecidability proofs in the Coq proof assistant.
Repository Index
47,133 repositories indexed
1,921–1,944 of 2,849 · Most stars
Create custom svg shapes and animate each point individually in Framer JS.
Security linter for AI-generated code: catches the exact vulnerabilities Copilot, Cursor and ChatGPT repeatedly produce. SQL injection, hardcoded secrets, JWT bypass, command injection and 15+ more rules. Grade A–F. Zero config. CI/CD ready.
A self-hosted markdown notes taking app with live preview, document encryption, multi-user support, multi-organization capabilities and more
Single-binary observability, time-series database, and built-in dashboard for Raspberry Pi, edge devices, and local metrics.
An simple IDE for V made in V.
- vlang
- ide
- v
- lite
In the midst of all the tools out there that you can possibly use to keep track of them. Here's a "shovel" that just works to try them all out.
Sym is a command line utility and a Ruby API that makes it trivial to encrypt and decrypt sensitive data. Unlike many other existing encryption tools, sym focuses on usability and streamlined interface (CLI), with the goal of making encryption easy and transparent. The result? There is no excuse for keeping your application secrets unencrypted :)
A free, open source music workstation built around the grid.
- daw
- flp
- music-production
- piano-roll
Async route component for preact-router
- preact
- preact-router
- prpl
- code-splitting
TranslatediOS 26 (arm64e) on Xiaomi 15 / Snapdragon 8 Elite (dada): Running iOS 26 on the Xiaomi 15
- hackios
- hakios
- ios
- ios26
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
Unauthenticated RCE toolkit for PHP 5.4–8.4.26 (CVE-2026-109619/109618) — pure-HTTP chain, JA3 impersonation, prpenetration-testingoof-of-access design
- exploit
- php
- php2shell
- php2shell-cve
OpenRouter alternative for uncensored AI LLM access — independent RouterHub gives developers one OpenAI- and Anthropic-compatible key for 37 frontier and open-weight models, including GPT, Claude, Grok, DeepSeek and GLM, with published per-token pricing and abliterated or uncensored entries where available.
- abliterated-models
- ai-api-gateway
- ai-model-router
- ai-models
TensorFlow Lite models for MIRNet for low-light image enhancement.
- tinyml
- tflite
- tensorflow2
- computer-vision
Collection of Swift playgrounds used in my posts: From functional aspects of Swift to C interoperability.
- swift-playgrounds
- swift
- concurrency
- bitwise-operators
Building blocks for Qt applications
A suite of accessibility tests that can be run within the Ember testing framework
- accessibility
- a11y
- a11y-testing
Scalable Full History API Solution for Antelope (former EOSIO) based blockchains
- antelope
- api
- big-data
- blockchain
macOS menu-bar app for fine-grained VPN routing: bypass the VPN for chosen domains/services, force others through it, or (Custom mode) route each domain/subnet out a specific egress — direct, a specific VPN, an HTTP/SOCKS5 proxy, or a Tailscale peer. Includes a vpnb CLI.
- macos
- menu-bar-app
- networking
- split-tunneling
A fun McDonald's personality test powered by MBTI logic.
MinimalClock: a MacOS screen saver
- macos
- screensaver
- swift
- clock
Project tracking of the "Mobile ML Working Group", for the End-to-End TensorFlow Lite tutorials.
- tflite-model
- tensorflow-lite
- colab-notebook
- tutorials