Pinned Loading

1. nowarp/misti nowarp/misti Public

   TON Static Analyzer

   TypeScript 52 6

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

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

   LLVM 39k 17.7k

3. Zilliqa/scilla Zilliqa/scilla Public archive

   Scilla - A Smart Contract Intermediate Level Language

   OCaml 251 76

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

   Polkadot's ink! to write smart contracts.

   Rust 1.5k 476

5. iec-checker/iec-checker iec-checker/iec-checker Public

   Static analysis of IEC 61131-3 programs

   OCaml 101 20

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

   Neovim plugin that shows type annotations as virtual text

   Lua 416 3