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
409–432 of 815 · Most stars
Header-only, lightweight C++ library for binary streaming & serialization. Network data handling made easy peasy!
- binary-stream
- header-only
- serialisation
- serialization
gNXI Tools - gRPC Network Management/Operations Interface Tools
- gnmi
- gnmi-target
- gnmi-client
- gnmi-protocol
Cap'n Proto library and parser for go. This is go-capnproto-1.0, and does not have rpc. See https://github.com/zombiezen/go-capnproto2 for 2.0 which has rpc and capabilities.
Inspektor is a protocol-aware proxy that is used to enforce access policies👮
- security
- openpolicyagent
- acl
- rust
Browser automation solution for Kubernetes and Openshift supporting Selenium, Playwright, Puppeteer and Cypress
- selenium
- selenium-webdriver
- kubernetes
- selenium-grid
Effortless Microservice Design and Integration. This repository includes the code-base for the Warewolf Studio and Server.
- warewolf
- c-sharp
- eula
- microservices
QUIC protocol for Erlang & Elixir
Drawing diagrams in Swift using a recursive enum data structure
- swift
- enum
- protocol
- playground
A Haskell implementation of the Tor protocol.
[UNMAINTAINED] Meteor's Distributed Data Protocol (DDP) for clients on Android
- meteor
- android
- ddp
- client
D LSP server (dlang language server protocol server)
Parse NMEA 0183 GPS/GNSS sentences, streams, and navigation state in Node.js or browsers
Cyberpunk-inspired puzzle game prototype created with Flutter and Flame #Hack20 #FlutterHackathon
- flutter
- flame
- hack20
- flutterhackathon
Self-assembling Mesh network built around the MQTT protocol supporting OTA
pysap is an open source Python library that provides modules for crafting and sending packets using SAP's NI, Diag, Enqueue, Router, MS, SNC, IGS, RFC and HDB protocols.
- cbas
- python
- sap
- scapy
CarCast — a CarPlay receiver for macOS, Windows, iPhone and iPad (iCarCast), and Android tablets and head units, with a protocol inspector: release notes, docs and issues. Source is not public.
- airplay
- android
- carplay
- iap2
Modern, native macOS companion for Android built on the KDE Connect protocol
A library to simplify writing applications using TCP sockets to stream protobuff messages
Framer.js module that simplifies the process of adding text to your prototypes.
Play Steam and PC games on Android phones and tablets with a Mali GPU, on the device's own driver. Free.
Chrome DevTools Protocol Proxy - intelligent proxy for debugging purposes
- chrome
- chrome-devtools
- chromedriver
- chrome-browser
Neo4j Bolt driver for .NET
Standalone puppeteer playground in browser's developer tools.
- puppeteer
- automation
- ide
- chrome-extension