Skip to content
View sv's full-sized avatar

Block or report sv

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

👾 nao is an open source analytics agent. (1) Create context with nao-core cli, (2) deploy nao chat interface for everyone

TypeScript 1,270 173 Updated Jun 12, 2026

hardware implementation of transformers running microgpt at 50k+ tkps

Verilog 732 93 Updated May 14, 2026

Key docs and discussions for donors

134 2 Updated May 10, 2026

Agents and tools for using Quint with LLMs

Bluespec 69 8 Updated Jun 1, 2026

DeepEvolve is a research and coding agent for new algorithm discovery in different science domains with Deep Research and AlphaEvolve.

Python 136 16 Updated Oct 11, 2025

YC (S26) | AI that knows what you've seen, said, or heard. Records everything you do, say, hear 24/7, local, private, secure

Rust 19,277 1,827 Updated Jun 13, 2026

"DeepCode: Open Agentic Coding (Paper2Code & Text2Web & Text2Backend)"

Python 15,822 2,093 Updated May 18, 2026

Claude Memory MCP Visualizer

JavaScript 98 7 Updated Jul 17, 2025

Claude Code dashboard with usage stats, error analysis, and sharable feature

Python 1,238 114 Updated Aug 8, 2025

Python interface for Agora

Python 68 7 Updated Mar 8, 2025

VisualHFT is a WPF/C# desktop GUI that shows market microstructure in real time. You can track advanced limit‑order‑book dynamics and execution quality, then use its modular plugins to shape the an…

C# 1,144 235 Updated Jun 7, 2026

A collection of formalized statements of conjectures in Lean.

Lean 1,011 314 Updated Jun 13, 2026

The backtesting engine that gives you an unfair advantage. Run thousands of trading ideas before others finish one.

Python 7,904 1,015 Updated Jun 10, 2026

A Go implementation of the Model Context Protocol (MCP), enabling seamless integration between LLM applications and external data sources and tools.

Go 8,797 842 Updated Jun 4, 2026

Write Model Context Protocol servers in few lines of go code. Docs at https://mcpgolang.com . Created by https://metoro.io

Go 1,223 121 Updated Feb 25, 2026

Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.

Shell 24,271 2,463 Updated Jun 12, 2026

Bluesky proposal discussions

162 17 Updated Jun 11, 2026

Build Real-Time Knowledge Graphs for AI Agents

Python 27,379 2,736 Updated Jun 12, 2026

No fortress, purely open ground. OpenManus is Coming.

Python 56,536 9,839 Updated Feb 11, 2026

Monty is a sensorimotor learning framework based on the thousand brains theory of the neocortex.

Python 549 323 Updated Jun 12, 2026

Integrate the DeepSeek API into popular software

37,854 4,164 Updated Feb 23, 2026

MCP server for OpenRouter.ai integration

TypeScript 62 18 Updated Nov 8, 2025

Flexible and powerful framework for managing multiple AI agents and handling complex conversations

Python 7,653 721 Updated Jun 10, 2026

connect any ai agents to solana protocols

TypeScript 1,694 864 Updated May 14, 2026

The rUv Enterprise AI Guide is a comprehensive resource designed to assist Chief Information Officers (CIOs) and technology leaders in navigating the complexities of AI integration within large ent…

89 18 Updated May 3, 2024

Wardley maps community hub. Useful Wardley mapping resources

HTML 798 66 Updated Mar 6, 2026
TypeScript 28,816 2,538 Updated Jun 2, 2026

Repository for all automated Wardley Mapping reports

17 Updated Sep 2, 2024

Code to process many kinds of content by an author into an MCP server

Python 286 36 Updated Jun 22, 2025
Next