jubnzv - Overview (original) (raw)

Skip to content

Navigation Menu

• • AI CODE CREATION
    * GitHub CopilotWrite better code with AI
    * GitHub SparkBuild and deploy intelligent apps
    * GitHub ModelsManage and compare prompts
    * MCP RegistryNewIntegrate external tools

View all features

• Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Pinned Loading

1. TON Static Analyzer
   TypeScript 50 7
2. The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
   LLVM 35.9k 15.4k
3. Scilla - A Smart Contract Intermediate Level Language
   OCaml 250 76
4. Polkadot's ink! to write smart contracts.
   Rust 1.4k 482
5. Static analysis of IEC 61131-3 programs
   OCaml 84 18
6. Neovim plugin that shows type annotations as virtual text
   Lua 415 3