Sergey Fukanchik's starred repositories
kgcourse2021
Материалы к курсу по Knowledge Graphs
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
ml-engineering
Machine Learning Engineering Open Book
Terrapin-Scanner
This repository contains a simple vulnerability scanner for the Terrapin attack present in the paper "Terrapin Attack: Breaking SSH Channel Integrity By Sequence Number Manipulation".
astromenace
Hardcore 3D space scroll-shooter with spaceship upgrade possibilities.
pingtunnel
Pingtunnel is a tool that send TCP/UDP traffic over ICMP
awesome-engineering-games
A curated list of engineering-related video games rated Very Positive or higher on Steam
libpg_query
C library for accessing the PostgreSQL parser outside of the server environment
C-Learning-Resources
Resources for learning C that are the best in my opinion.
etherpad-lite
Etherpad: A modern really-real-time collaborative document editor.
opendataeditor
The Open Data Editor (ODE) is a no-code application to explore, validate and publish data in a simple way. Forever free and open source project powered by the Frictionless Framework.
strategic-tensions
Static site for the Problematizing Strategic Tension Lines in the Digital Commons report
par2cmdline
Official repo for par2cmdline and libpar2
vim-clutch
A hardware pedal for improved text editing in Vim
ru-test-assignments
Тестовые задания для самостоятельного выполнения от разных it компаний