Nikita Sivukhin

Elite
@sivukhin

godjot. Djot parser written in Go

52

govanish. Cute linter which alerts you about the code removed from binary by Go compiler

9

sqlite3-lean-proofs. Lean

9

cuebootstrap. Go

8

cuemon. Manage Grafana dashboards with CUE

7

SimdLecture. Lecture about SIMD in C#

4

agent-context-manager. TypeScript

3

Internship.Task. Kontur internship 2017

2

sivukhin.github.io. HTML

2

urbaton2019.OK. C#

1

gok8sproxy. Library for setting up DNS proxy to k8s service

1

cell-visualization. TypeScript

1

gosmartmap. Go

1

lectures.

1

jewels-of-stringology-lean. Lean

1

aoc2023. Rust

1

lc3-rust. Rust

1

turbo-agent. Python

1
18
Apply