F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.
Repository Index
81,588 visible repositories in the index
18,265–18,288 of 22,585 · Most stars
IBM Stencils for creating IBM Diagrams with enterprise diagram tools.
Agent skill: outline, mask and count objects in photos with Meta's SAM 3 on your own NVIDIA GPU, with review, exports and a viewer. Works with Claude Code, Codex, Cursor, Pi and other Agent Skills clients.
- agent-skills
- annotation
- claude-code
- claude-code-plugin
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
Open-source local iPhone automation. Control your USB-connected iPhone with prompts, live video, REST and MCP. Built by PhoneUse.
- phone-use
- phone-use-agent
- phone-use-agents
- ai-agents
Framework to automate development of Algorand Assets and Smart Contracts.
- algorand
- algorand-assets
- yarn
- teal
Marionette.js views implemented with virtual-dom
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
CUA-Master: Scaling Computer-use Agents through Open-World Recursive Improvements
TranslatedAn AGENTS.md that I use myself, recording some requirements for how AI writes code and collaborates.
report top-level postgres stats
Experimental HTTP protocol for AI agents: operation discovery, concurrency policy and human-priority scheduling.
🐿️ A metadata-driven Minecraft launcher for reproducible, storage-efficient instances and a built-in CLI with MCP mode for AI agents.
Fiji library to perform image segmentation based on the Weka learning schemes
A set of neuroevolution experiments with/towards deep networks
- rubyml
Ratus is a RESTful asynchronous task queue server. It translated concepts of distributed task queues into a set of resources that conform to REST principles and provides a consistent HTTP API for various backends.
- distributed-systems
- priority-queue
- task-queue
- task-scheduler
Code review for your own machines and your own agents. Reviews live where the code does — reached over SSH, WSL or your own tailnet. Desktop app or just a browser tab. No server, no account.
Writeups of Capture The Flag Competitions
- ctf
- picoctf
- writeups
- glug
A Go package built to communicate with Apache TinkerPop™ Graph computing framework using Gremlin; a graph traversal language used by graph databases such as JanusGraph®, MS Cosmos DB, AWS Neptune, and DataStax® Enterprise Graph.
- golang
- go
- graph-database
- gremlin
Hit your API targets with rapid-fire precision using Go's fastest and simple HTTP Client.
- go
- golang
- golang-library
- http-client
An implementation of RDF for Elixir
- rdf
- elixir
- linked-data
- semantic-web
A low-glare Dracula-inspired VS Code theme with measured WCAG AA contrast, muted UI accents, and six-step bracket-depth highlighting.
- accessibility
- color-theme
- dark-theme
- dracula
Dart PostgreSQL driver: supports extended query format, binary protocol and statement reuse.
A Jest transformer for Svelte - compile your components before importing them into tests.