Finland

Marat Khabibullin

Expert
@marat-rkh

I work on JetBrainsRuntime at JetBrains. ex-AI Assistant, ex-GoLand, ex-Arend.

marat-rkh.github.io/homepage/

PLFArend. Programming Language Foundations in Agda and Arend

9

HaskellDebugger. C

7

plfa.github.io. Agda

5

cs-center2018-go. Go

5

JavaEncodingDetector. Simple text files encoding detector

4

atom-cpp-template-foldings. Atom plugin for folding c++ template definitions.

3

FsExplorer. Simple file system explorer

1

van-kampen. Formalization of the Van Kampen theorem in Arend

1
8
Apply