Pinned Loading

1. JetBrains-Research/coqpilot JetBrains-Research/coqpilot Public

   VSCode extension that is designed to help automate writing of Coq proofs.

   TypeScript 76 3

2. JetBrains-Research/bitcode-tools JetBrains-Research/bitcode-tools Public

   Gradle tools to analyze bitcode of a Kotlin/Native project

   Kotlin 6

3. DLochmelis33/fashion.pulse DLochmelis33/fashion.pulse Public

   Jupyter Notebook 1

4. kibrq/ub-tester-tool kibrq/ub-tester-tool Public

   C++ 1

5. AoC-2022 AoC-2022 Public

   Advent of Code 2022 solved by me 🎄🤛

   Kotlin

6. RGB-rogue-like-game RGB-rogue-like-game Public

   Software Design HW: rogue-like 2D game "RGB" with tile graphics

   Kotlin 2