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
6,025–6,048 of 11,502 · Most stars
Open source image CDN.
- resized-images
- image-processing
- image-compression
- golang-package
CoreShop - Pimcore enhanced eCommerce
- ecommerce
- ecommerce-platform
- pimcore
- pimcore-ecommerce
Extract knowledge from all information sources using gpt and other language models. Index and make Q&A session with information sources.
The Silky framework is designed to help developers quickly build a microservice development framework through simple code and configuration under the .net platform.
- rpc
- micro-service
- dotnet
- tcc-transaction
A simple and smart (or stupid) feed reader
Animating scheduled transit trips using the Transitland API and Processing
- transit
- transportation
- python
- processing
Minimalist net/http middleware for golang
Enhance the usage of macros in Neovim.
- macros
- nvim-plugin
- breakpoints
- neovim-plugin
👤Minimalist Google OAuth Authentication for Elixir Apps. Tested, Documented & Maintained. Setup in 5 mins. 🚀
- elixir
- google-api
- auth
A lightweight and fast image loader for iOS written in Swift.
- imageloader
- swift
- carthage
- uiimageview
An effort to bring Google's Firebase C++ API to Qt + QML
ThreadLocal for Golang.
- go
- golang
- goid
- goroutine
Telegram trading bot for tokens: signals, limits and stop-loss in one chat.
A JSON spec and renderer for interactive agent avatars
The FortesReport is a powerful report generator available as a package of components for Delphi. In FortesReport, the reports are composed of bands that have specific functions in the print stream. You define groupings, sublevels and totals simply by hierarchical relationship between bands. Moreover, the FortesReport has a rich palette of components for text, charts, formulas, bar codes, filters and layout.
Fast and Simple MongoDB Client for R
F# RISC-V Instruction Set formal specification
- fsharp
- risc-v
- cpu
- isa
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)!
Native Windows PC port of The Last of Us Remastered (PS4, CUSA00552). Runs the game’s own x86-64 code on a custom runtime, with PS4 system libraries reimplemented and a Vulkan renderer based on shadPS4. Includes a launcher. No game files included: you need your own copy.
- pc-port
- ps4
- reverse-enginnering
- shadps4
Supysonic is a Python implementation of the Subsonic server API.
Fast creation of files and directories. Mimics the operation of AdvancedNewFile (Vim plugin)
- touch
- mkdir
- python
- terminal
Self-hosted restaurant POS with tables, kitchen display, reservations, QR ordering, loyalty and local-network operation.
- casaos
- docker
- gst
- india
scrollbar for neovim