Repository Index

An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.

SPARK formal verification automated with Travis CI

Yield farming opportunity for Golem's GLM token holders. (By staking uniswap-LP tokens that is a pair between GLM and ETH into the stake pool)

• golem
• solidity
• truffle
• web3js

MicroPython examples using YS-RF34T 433MHz ASK/OOK UART transceivers

• micropython
• ys-rf34t
• uart
• esp32

PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.

• cli
• database
• ddl
• devops

An UI and API for mididings https://github.com/mididings/mididings

• mididings
• live-music-automation
• osc-integration
• python-midi

export windows hardware info and sensors to prometheus type

Mass deploy and update Suricata IDPS using Ansible IT automation platform

Automatic data change tracking for Supabase JS

• audit-log
• audit-trail
• data-versioning
• postgresql

This is the official repository for the Automated Golem Provider with monitoring.

Decentralized agent memory for the Lightning economy. Nostr identity, L402 payments, MCP server.

• agent-memory
• ai-agents
• bitcoin
• l402

Brackets extension for standard, a simple linter with sensible defaults. No longer maintained, Try using https://github.com/zaggino/brackets-eslint and https://github.com/feross/eslint-config-standard

textlint rule check english sentence using rousseau

Go client for Meta's Threads - OAuth 2.0, rate limiting, full API coverage, production-ready

• api-client
• client
• go
• golang

Multiplatform implementation of Steam mobile authenticator app

• desktop
• steam
• steamauthenticator
• steam-linux

Financial Market Intelligence MCP Server — stock quotes, technical analysis, crypto data, and portfolio insights for AI agents

• fastmcp
• mcp
• ai-tools
• anthropic

Annotation based auto wiring of wicket components.

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

Tamper-evident audit log for Go: an append-only, hash-chained, optionally Ed25519-signed log/slog handler, with offline logx verify. Built on the standard library, zero third-party dependencies. Also a full slog toolkit (colored output, JSON, rotation, fan-out, CLI).

• cli
• go
• golang
• slog

Ada finite-state machine generator.

Launch Android intents and open system settings screens from your Capacitor app

Capacitor plugin to Detect when the WebView was killed in the background and relaunch it on foreground.

• capacitor
• capacitor-plugin

Stress gauge allows one to gauge response times of an HTTP service under stress.

Giza is trying to be a simple widget tool kit for embedded platforms