Vlad-Shcherbina

postgres_sync. A synchronous PostgreSQL client using std::net, with an API compatible with the popular postgres crate.

TheoryOfRefinement. proving theorems in Hoare's theory of refinement with ITP

icfpc2014-tbd. fourth place

icfpc2021-tbd. Rust

icfpc2016-tbd. Judges' prize; 17th place

unlambda. Rust

icfpc2015-tbd. Python

icfpc2018-tbd. JavaScript

edi2. Rust

win-msg-name. Get Windows message name from a message ID, e.g. 0x000f -> 'WM_PAINT'

rbc. Reconnaissance blind chess bot

heptagonal_coordinates. Haskell

tbd-playground. Python

card_gen. прожка для генерации карточек

Morph-Endo-Legacy. Python