The first exam for code agents in the physical world: frozen robot tasks from many benchmark suites, each answered with a program and verified in a separate sandbox. Runs on Harbor.
- ai-agents
- benchmark
- coding-agents
- embodied-ai
Repository Index
47,133 repositories indexed
6,913–6,936 of 11,680 · Most stars
Pocache is a minimal cache package which focuses on a preemptive optimistic caching strategy
Everything you need to know about Shadow DOM
- shadow-dom
- web-components
- guide
- doubts
This is the GitHub home of Race Into Space, the computer version of the Liftoff! board game by Fritz Bronner. It was developed by Strategic Visions and published by Interplay as a disk-based game in 1993 and a CD-ROM in 1994. It was open-sourced in 2005 and a number of improvements have been made over the original.
- lunar
- lunar-lander
- moon
- probe
blockchain (crypto) tools, libraries & scripts in ruby
- blockchain
- cryptohash
- distributed-database
- proof-of-work
Build tool for Scala projects
- scala
- scala-native
- scalajs
- build-tool
A minimal home screen for Samsung Tizen TVs: rotating nature photos, a glass dock of your apps, and a photo website served by the TV.
TranslatedAn open-source HarmonyOS PC application project. A Qt + OpenHarmony / HarmonyOS PC project for reading, editing, and converting the format of documents, integrating ArkTS, the CEF browser engine, PDFium, and Python HNP. It already supports dual-pane PDF/Markdown preview, synchronized scrolling, PDF-to-Markdown conversion, and restoring the most recent workspace; planned features include Word document preview and editing, PDF editing, Markdown editing, OCR text recognition, and batch conversion between multiple formats. The source code is public, for learning, exchange, and teaching reference. Issues are welcome, and you can contribute code through PRs to help improve document tools for HarmonyOS PC together. The project's own code is licensed under PolyForm Noncommercial 1.0.0.
- arkts
- cef
- chromium
- educational
Project based on latest .NET (v6.0) technologies for building scalable web api, along with clean architecture patterns.
This package provides json web token (jwt) middleware for goLang http servers
Universal goroutine monitor using pprof and termui
- golang
- monitoring
- goroutines
- termui
Subscription View Controller like the Tinder uses
:crescent_moon: A modern black neovim theme written in Lua, with comfortable color contrast for a pleasant visual experience, with LSP and treesitter support
OCaml debug adapter
- debugger
- debug-adapter-protocol
- ocaml
🏝 Create your own slice of paradise on any website.
- habitat
- preact
- shopify-app
Strata Files: a fast, native, keyboard-first file manager and Finder alternative for macOS. Instant search, live folder sizes, disk usage map, dual pane.
- appkit
- file-manager
- finder-alternative
- macos
Fast lossless data compression in C++
- compression
- cpp
- lossless-data-compression
- lz77
CRAB (Clean Rebuild of Anything's Behavior): rebuild software from behavior, not source code. An MCP-powered toolkit for black-box observation, clean-room reimplementation, and behavioral verification.
- clean-room-reimplementation
- ai-agents
- behavioral-testing
- black-box-testing
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
Go AI SDK, the Go way. One unified API across 21+ providers. Streaming, structured output, MCP support, stdlib only. Go AI SDK for AI applications inspired by Vercel AI SDK.
A realtime preview tool for projection mapping
The repository host gives no description.
Java Constraint Programming solver
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async