Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards
- raspberry
- pi
- pico
- arduino
Repository Index
79,350 visible repositories in the index
1,945–1,968 of 6,173 · Most stars
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
- javascript
- python
- query-language
- rust
A project for managing all Pop!_OS sources
2026 科学上网，ss, ssr, v2ray, trojan, clash, clashr，翻墙机场推荐
- ssr
- shadowsocks
- v2ray
- free
Pic Smaller – Compress JPEG, PNG, WEBP, AVIF, SVG and GIF images intelligently
- safe-compression
- compress-images
- offscreencanvas
- webassembly
Explore the full Bitcoin ecosystem with mempool.space, or be your own explorer and self-host your own instance with one-click installation on popular Raspberry Pi fullnode distros including Umbrel, Raspiblitz, Start9, and more!
- bitcoin
- mempool
- fees
- explorer
A better API for making Event Source requests, with all the features of fetch()
- server-sent-events
- eventsource
Automatically exported from code.google.com/p/smhasher
Cross-platform desktop GUI app to clean image metadata
- exif
- exiftool
- electron
- javascript
Long Video Gen / World Model / World Action Model (Embodied) Infrastructure
- real-time
- infra
- long
- nvfp4
:bomb: Impulse Denial-of-service ToolKit
- sms
- ddos
- flood
- attack
Limited DNS server with RESTful HTTP API to handle ACME DNS challenges easily and securely.
- acme-challenge
- acme-dns
- dns-server
- tls-certificate
A persistent, unified memory layer for all your AI agents (e.g. Claude Code, Codex, DSH), backed by Markdown and Milvus.
[Up-to-date] Large Language Model Agent: A Survey on Methodology, Applications and Challenges
- agent
- awesome-list
- llm
- llmagents
aeneas is a Python/C library and a set of tools to automagically synchronize audio and text (aka forced alignment)
- speech
- alignment
- tts
- python
Open source on-call scheduling, automated escalations, and notifications so you never miss a critical alert
Adafruit GFX graphics core Arduino library, this is the 'core' class that all our other graphics libraries derive from
법령·판례를 AI가 찾고 인용까지 검증하는 MCP 서버 — 법제처 API 42개를 도구 10개로: 법령·조문·별표, 판례·헌재·해석례 23개 도메인, 조례 정비 레이더, 신구조문대비표 | MCP server for Korean law — statutes, precedents, ordinances, comparison tables and citation verification
- claude
- korean-law
- law
- legal-tech
Install Kubernetes, and related cloud-native add-ons, it supports all-in-one, multi-node, and HA 🔥 ⎈ 🐳
- installer
- kubernetes
- kubeadm
- k8s
Laravel Migrations Generator: Automatically generate your migrations from an existing database schema.
- laravel
- existing-database
- lumen
- database-migrations
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust
- ci
- cli
- developer-tools
- open-source
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust