AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
- ai-agents
- ai-code-review
- authorization
- bola
71,372 visible repositories in the index
505–526 of 526 · Most stars
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
The repository host gives no description.
Nagios event broker to MQTT gateway
A Neovim plugin helping to navigate in Unison codebase
Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dynamodb, and sns
An example connecting the Litecoin blockchain to the Waves platform.
Microsoft Q# SDK Demo showing quantum weirdness
100% no-std/wasm compatible Substrate storage key generator
mongodb-aggregate-adventure will run through a series of MongoDB aggregation workshops. Starting at a basic aggregation tasks and moving on to more advanced exercises about dealing with aggregation using MongoDB.
vMix to EmberPlus Gateway. Control & Tally from vMix API to EmberPlus
A comprehensive, zero-dependency Go SDK for the Paystack API
Golang SDK for Dusupay payment gateway API (Unofficial)
This project aggregates important and useful information about SXA
Flow analysis on disaggregated data on bilateral trade using Golem
gateway for segmentation data to Rstats & visualization with ggplot2 - in development
A system for calculating the results of a battle between two opposing starship fleets on the Golem network. Used in the iOS game Rock Paper Frigate to determine the result of PvP fleet battles.
Fasapay payment gateway XML API Client for Go (Unofficial)
kobold2mqtt is a gateway between a Vorwerk Kobold VR200 internet gateway and MQTT with the https://github.com/mqtt-smarthome topic and payload format.
Python implementation of the goldeneye algorithm to investigate how classifiers utilise the structure of a dataset.
Flexible and rock solid gate keeping for CakePHP, moderate/approve changes.
VertaaUX CLI — UX, accessibility, and conversion audits from the terminal (npm: @vertaaux/cli)
The repository host gives no description.