Popular repositories Loading

1. deep-dungeon deep-dungeon Public

   Python 2

2. rl_2018 rl_2018 Public

   CSS 1

3. mipt_python mipt_python Public

   Python 1

4. lambda-calculus lambda-calculus Public

   My implementation of untyped lambda calculus. Supports defining function name

   Haskell 1

5. verified-queue verified-queue Public

   Coq 1

6. 2016-solar_project 2016-solar_project Public

   Forked from mipt-cs/2016-solar_project

   Модель Солнечной системы на языке Python

   Python