Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Repository Index
47,133 repositories indexed
3,697–3,720 of 6,929 · Most stars
Extract knowledge from all information sources using gpt and other language models. Index and make Q&A session with information sources.
Grunt plugin to interact with AWS S3 using the AWS SDK
Zelda: Tears of the Kingdom (TotK) 1.0.0 recompiled to native Windows and Vulkan. Frame cap up to 240, DLSS option, mouse and keyboard. Open source, mostly written by AI agents. You build it from your own dump; no game files included. Measured on one PC so far.
- pc-port
- recompilation
- static-recompilation
- tears-of-the-kingdom
Generate C# class with constant fields for the icons in your font
Configuration as Code, use YAML to write automated workflows that run on Deno, with any Deno modules, Typescript/Javascript codes
Run your tests with randomization, splitting, and parallelization for beautiful tests.
The essential IntelliJ/Android Studio plugin for making working with Flutter easier than ever!
- flutter
- dart
- intellij-plugin
- androidstudio-plugin
An HTML to PDF library for the JVM. Based on Flying Saucer and Apache PDF-BOX 3. With SVG image support. Now also with accessible PDF support (WCAG, Section 508, PDF/UA)!
Theme applications with your favourite base16 colorschemes in Nix
- base16
- base16-manager
- nixos
- nixos-module
ASP.NET Core - Transform server-side validations to client-side without writing any javascript code. (Compatible with Fluent Validation)
- asp-net-core
- aspnetcore
- aspnet-core
- netcore
Proof of concept developer code and samples to help be successful with all ArcGIS developer products (Python, NET, JavaScript, Android…). The repository is designed to be an exchange for sharing coding conventions and wisdom to developers at all skill levels.
- web-development
- data-management
- spatial-analysis
- native-development
Self-hosted restaurant POS with tables, kitchen display, reservations, QR ordering, loyalty and local-network operation.
- casaos
- docker
- gst
- india
Adaptive hedged requests for Go. Cut your p99 latency with zero configuration. Based on Google's "The Tail at Scale" paper.
- concurrency
- go
- golang
- golang-library
A modern Git CLI tool with both traditional command-line and interactive incremental-search UI.
Beautiful iOS side menu library with parallax effect. Written in Swift
LibreELEC x86_64 with Dolby Vision support for Intel, AMD, and Nvidia. I REBASE MY REPO UNTIL THE STABLE RELEASE
Describe the task, find the tool you saved. A browser side-panel extension that sorts your bookmarks without an API key and keeps private links on your device.
Powerful note-taking app with nested documents, full-text search, rich-text editor, code snippet editor and more
Create a QR code with your Wi-Fi login details
- golang
- wifi
- qrcode
- qrcode-generator
Collect golang runtime metrics, pushing to InfluxDB or pulling with Telegraf
- influxdb
- telegraf
- runtime-metrics
- expvars
SmartGattLib is a Java library that simplifies the work with Bluetooth SMART devices
ROS support for the MiR Robots. This is a community project to use the MiR Robots with ROS. It is not affiliated with Mobile Industrial Robots.
Another Android, next to One UI: switch a rooted Samsung Galaxy into another Android system and back, without flashing.