knisht

knisht's Stars

• vlang/v

  Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

  Language:V35.8k4788.7k2.2k

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust18.5k1951.4k1.4k

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java6901325333

• Kotlin/multik

  Multidimensional array library for Kotlin

  Language:Kotlin6441716239

• OlyaB/DarkPurpleTheme

  A dark theme in purple tones for JetBrains IDEs

  16463616

• TwoFX/sudoku

  A sudoku game where you have to prove that your deductions are valid

  Language:Lean113348

• tonyxty/Collections-DT

  Dependently-typed implementations of common collections

  8200

• hazzus/symphon.io

  VK Hackathon project - Symphon.io

  Language:Python1200