prusti/prusti-assistant

VS Code extension to verify Rust programs with the Prusti verifier.

GitHub repository with 24 stars and 9 forks.

Language: TypeScript

Topics: rust, verification, vscode-extension, diagnostics, prusti

Open provider repository

Latest metric snapshot

2026-11-03: 24 stars and 9 forks.

Similar repositories

  1. 1. my-own-web-services/mows

    Leave All the Dark Clouds Behind and Run Your Own!

    GitHub repository with 20 stars and 1 forks.

    Trending score: 0.00.

    Language: TypeScript

    Topics: cloud, self-hosted, distributed-systems, homelab, homelab-automation, homelab-setup

Trending in TypeScript

  1. 1. morluto/rea

    Reverse engineer anything with agents, from app behavior down to native binaries.

    GitHub repository with 424,667 stars and 105,804 forks.

    Trending score: 7.49; stars gained: +7,281; forks gained: +1,504.

    Language: TypeScript

    Topics: agent-skills, ai, android, claude-code, cli, cpp

  2. 2. pingdotgg/t3code

    GitHub repository with 42,856 stars and 9,155 forks.

    Trending score: 6.90; stars gained: +6,381; forks gained: +313.

    Language: TypeScript

  3. 3. thedotmack/claude-mem

    Persistent Context Across Sessions for Every Agent – Captures everything your agent does during sessions, compresses it with AI, and injects relevant context back into future sessions. Works with Claude Code, OpenClaw, Codex, Gemini, Hermes, Copilot, OpenCode + More

    GitHub repository with 111,192 stars and 9,688 forks.

    Trending score: 6.39; stars gained: +2,922; forks gained: +195.

    Language: TypeScript

    Topics: ai, ai-agents, ai-memory, anthropic, artificial-intelligence, chromadb

  4. 4. Renhuai123/ziwei-doushu

    紫微斗数开源排盘引擎 — 基于倪海厦《天纪》体系,含完整排盘算法、四化系统、格局知识库、古籍原文数据

    GitHub repository with 14,502 stars and 2,813 forks.

    Trending score: 6.22; stars gained: +1,770; forks gained: +314.

    Language: TypeScript

    Topics: bazi, chinese-astrology, divination, fortune-telling, nextjs, open-source

  5. 5. deepseek-ai/deepseek-harness

    DeepSeek Harness: Everything is a Plugin.

    GitHub repository with 270,396 stars and 32,870 forks.

    Trending score: 6.31; stars gained: +2,120; forks gained: +310.

    Language: TypeScript

    Topics: ai-agents, cordis, dsh, dsh-plugin

  6. 6. milind-soni/OpenMausBot

    Open-source Grok Bot alternative with a virtual machine that bots can use

    GitHub repository with 11,486 stars and 1,572 forks.

    Trending score: 6.07; stars gained: +1,674; forks gained: +206.

    Language: TypeScript

    Topics: ai-agents, claude-code, codex, computer-use, docker, electron

Trending topic: rust

  1. 1. Uranid/mnem

    Git for AI Agent Knowledge. A persistent, versioned memory layer for AI systems. Hybrid GraphRAG retrieval. Runs entirely offline.

    GitHub repository with 139 stars and 34 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: agent-memory, graphrag, knowledge-graph, mcp, rust, vector-search

  2. 2. bitloops/bitloops

    Give AI coding agents the context they need to ship production-quality software.

    GitHub repository with 243 stars and 19 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: ai, ai-agent, ai-agents, ai-assistant, ai-infra, ai-infrastructure

  3. 3. wcampbell0x2a/librarium

    Library and binaries for the reading, creating, and modification of cpio

    GitHub repository with 10 stars and 2 forks.

    Trending score: 0.00.

    Language: Rust

    Topics: cpio, extraction, firmware, modification, rust

  4. 4. my-own-web-services/mows

    Leave All the Dark Clouds Behind and Run Your Own!

    GitHub repository with 20 stars and 1 forks.

    Trending score: 0.00.

    Language: TypeScript

    Topics: cloud, self-hosted, distributed-systems, homelab, homelab-automation, homelab-setup

  5. 5. devwhodevs/engraph

    Local knowledge graph for AI agents. Hybrid search + MCP server for Obsidian vaults.

    GitHub repository with 171 stars and 16 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: ai-agents, knowledge-graph, local-first, mcp, obsidian, rag