Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Prusti Assistant	22	3 months ago	11	mit	TypeScript
VS Code extension to verify Rust programs with the Prusti verifier.
Vscode Simple Rest Client	18	a year ago	15	mit	TypeScript
Easy to examine your API’s responses directly within Visual Studio Code. Send requests to verify your API.

Alternatives To Prusti Assistant

Select To Compare

Prusti Assistant ⭐ 22

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

most recent commit 3 months ago

Vscode Simple Rest Client ⭐ 18

Easy to examine your API’s responses directly within Visual Studio Code. Send requests to verify your API.

most recent commit a year ago

Suggest An Alternative To prusti-assistant

Alternative Project Comparisons

Prusti Assistant vs Vscode Simple Rest Client

Popular Verify Projects

Immudb ⭐ 8,416

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

dependent packages 21total releases 139latest release October 16, 2023most recent commit 3 months ago

Gitoxide ⭐ 7,537

An idiomatic, lean, fast & safe pure Rust implementation of Git

dependent packages 45total releases 35latest release December 06, 2023most recent commit 3 months ago

Jose ⭐ 4,373

JWA, JWS, JWE, JWT, JWK, JWKS for Node.js, Browser, Cloudflare Workers, Deno, Bun, and other Web-interoperable runtimes.

dependent packages 1,092total releases 186latest release November 30, 2023most recent commit 3 months ago

Gitpython ⭐ 4,261

GitPython is a python library used to interact with Git repositories.

dependent packages 2,895total releases 94latest release October 18, 2023most recent commit 3 months ago

End To End ⭐ 4,106

End-To-End is a crypto library to encrypt, decrypt, digital sign, and verify signed messages (implementing OpenPGP)

most recent commit a year ago

Popular Vscode Extension Projects

Awesome Vscode ⭐ 23,406

🎨 A curated list of delightful VS Code packages and resources.

most recent commit 5 months ago

Codelf ⭐ 13,539

A search tool helps dev to solve the naming things problem.

most recent commit a year ago

Git History ⭐ 13,480

Quickly browse the history of a file from any git repository

dependent packages 2total releases 7latest release March 19, 2019most recent commit a year ago

Vim ⭐ 12,902

:star: Vim for Visual Studio Code

most recent commit 3 months ago

Pretty Ts Errors ⭐ 11,897

🔵 Make TypeScript errors prettier and human-readable in VSCode 🎀

dependent packages 2total releases 4latest release April 18, 2023most recent commit 3 months ago

Popular Libraries Categories