Pinned Loading

1. nowarp/misti nowarp/misti Public

   TON Static Analyzer

   TypeScript 24 1

2. llvm/llvm-project llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 28.9k 11.9k

3. Zilliqa/scilla Zilliqa/scilla Public

   Scilla - A Smart Contract Intermediate Level Language

   OCaml 240 78

4. use-ink/ink use-ink/ink Public

   Polkadot's ink! to write smart contracts.

   Rust 1.4k 428

5. iec-checker iec-checker Public

   Static analysis of IEC 61131-3 programs

   OCaml 63 12

6. virtual-types.nvim virtual-types.nvim Public

   Neovim plugin that shows type annotations as virtual text

   Lua 371 4