SimonTsirikov

SPbU Mathematics and Mechanics.

Saint Petersburg, Russia

Pinned Repositories

spbu2020_mathematical_logic
Solver for sequent calculus.
Language:Python21
bucklescript
A backend for the OCaml compiler which emits JavaScript.
Language:OCaml10
1C_analyser
Language:Roff00
deptycheck
Facilities for generating dependently-typed data
Language:Idris00
EpitopeMappingPredictor
Language:Python01
flask_app
Language:Python00
https-proxy
Language:Python00
linear-algebraic-topological-sort
Implementation of topological sort on directed acyclig graphs (DAG) with GraphBlas.
Language:C++00
MinimalPathCovering
Language:C00
snakecharm
Plugin for PyCharm / IntelliJ IDEA Platform IDEs which adds support for Snakemake language.
Language:Python617

SimonTsirikov's Repositories

SimonTsirikov/deptycheck
Facilities for generating dependently-typed data
Language:Idris
SimonTsirikov/EpitopeMappingPredictor
Language:Python1
SimonTsirikov/MinimalPathCovering
Language:C
SimonTsirikov/https-proxy
Language:Python
SimonTsirikov/linear-algebraic-topological-sort
Implementation of topological sort on directed acyclig graphs (DAG) with GraphBlas.
Language:C++
SimonTsirikov/flask_app
Language:Python
SimonTsirikov/1C_analyser
Language:Roff
SimonTsirikov/bucklescript
A backend for the OCaml compiler which emits JavaScript.
Language:OCaml1
SimonTsirikov/spbu2020_mathematical_logic
Solver for sequent calculus.
Language:Python21