All repos — GH Trending Explorer

remotion-dev / remotion

🎥 Make videos programmatically with React

video frontend react-framework

aardappel / goose

The Goose Programming Language

programming-language compiler

ManimCommunity / manim

A community-maintained Python framework for creating mathematical animations.

video education math

osolmaz / switch

A framework for building decision-model harnesses for any kind of task. Your program offers the model a short list of next steps, and the model picks one at a time until it can answer.

llm-tooling ai-agents testing

k2-fsa / sherpa-onnx

Speech-to-text, text-to-speech, speaker diarization, speech enhancement, source separation, and VAD using next-gen Kaldi with onnxruntime without Internet connection. Support embedded systems, Android, iOS, HarmonyOS, Raspberry Pi, RISC-V, RK NPU, Axera NPU, Ascend NPU, x86_64 servers, websocket server/client, support 12 programming languages

ml-framework audio embedded

teng-lin / notebooklm-py

Unofficial Python API and agentic skill for Google Gemini Notebook. Full programmatic access to Gemini Notebook's features—including capabilities the web UI doesn't expose—via Python, CLI, and AI agents like Claude Code, Codex, and OpenClaw.

llm-tooling ai-agents learning-resources

botiverse / oar

oar (Open Agent Runtime): programming interface for all agent harnesses

llm-tooling ai-agents developer-tools

NVIDIA / cuda-rust

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

gpu programming-languages high-performance-computing

raysan5 / raylib

A simple and easy-to-use library to enjoy videogames programming

game-engine graphics game

alchemy-run / alchemy

Infrastructure as Effects

devops cloud typescript

NethermindEth / LeanCIL

LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.

testing dotnet-verification

reanimate / reanimate

Haskell library for building declarative animations based on SVG graphics

graphics animation svg

google / or-tools

Google's Operations Research tools:

science math developer-tools

lionsoul2014 / ip2region

Ip2region is an offline IP-to-Region localization library and IP data management framework with both IPv4 and IPv6 supports, 10-microsecond level query efficiency, xdb search client for many programming languages

networking data-engineering backend

unicorn-engine / unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

reverse-engineering emulator security

Tencent-TDS / KuiklyUI

A Kotlin Multiplatform UI framework from Tencent TDS — high-performance, one codebase for six platforms, with dynamic delivery.

frontend ui-components mobile

WordPress / mcp-adapter

An MCP adapter that bridges the Abilities API to the Model Context Protocol, enabling MCP clients to discover and invoke WordPress plugin, theme, and core abilities programmatically.

mcp llm-tooling backend