Pinned Loading

1. TON Static Analyzer

   TypeScript 51 6

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

   LLVM 37.2k 16.4k

3. Scilla - A Smart Contract Intermediate Level Language

   OCaml 250 76

4. Polkadot's ink! to write smart contracts.

   Rust 1.5k 479

5. Static analysis of IEC 61131-3 programs

   OCaml 89 18

6. Neovim plugin that shows type annotations as virtual text

   Lua 414 3