Pinned Loading

1. nowarp/misti nowarp/misti Public

   TON Static Analyzer

   TypeScript 50 7

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

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

   LLVM 35.1k 15k

3. Zilliqa/scilla Zilliqa/scilla Public archive

   Scilla - A Smart Contract Intermediate Level Language

   OCaml 250 76

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

   Polkadot's ink! to write smart contracts.

   Rust 1.4k 478

5. iec-checker iec-checker Public

   Static analysis of IEC 61131-3 programs

   OCaml 83 16

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

   Neovim plugin that shows type annotations as virtual text

   Lua 412 3