Beast code in Giters

Sergey's repositories

DePuzzle is a simple puzzle-like word game

Language:TypeScript100

Properties of big-O notation proven in Coq

Language:Coq010

A supplementary Coq workout repository

Language:Coq020

This test measures how many human faces one can keep in short term memory at once

Language:TypeScript000

010

Language:HTML010

A website that targets developers who want to contribute to open source software but do not know where or how to start.

Language:JavaScriptMIT000

SPbSU homework, 2013+

Language:F#020

Automatically exported from code.google.com/p/jb-lab-proceedings

Language:TeX020

Language:Coq000

Language:Jupyter Notebook020

Language:Sage020

Language:Haskell020

A small auto-grad engine written in Rust

Language:Rust000

Model-counting algorithm written in Coq

Language:Coq010