edu-xored / tracker
Git-based distributed issue tracker
☆17Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for tracker
- Team calendars☆5Updated 7 years ago
- An implementation of the Russell logical framework☆8Updated 5 years ago
- ☆39Updated 4 years ago
- Интерактивное руководство теории игр о том, зачем и как мы доверяем друг другу☆96Updated 5 years ago
- Front-end C++ compiler☆51Updated last year
- Opensource code by MikelSV☆7Updated 8 years ago
- Лабораторные работы по основам информатики☆26Updated last year
- Untyped, lightweight, crossplatform OOP language.☆91Updated 4 years ago
- A console client for vk.com☆289Updated 6 years ago
- ☆20Updated 2 years ago
- Hardcore Engineering SaaS Platform☆24Updated last year
- Collective Knowledge packages to build development versions of compilers (LLVM, GCC, etc) and use them in customizable and portable CK re…☆27Updated 3 years ago
- Sources for Russian articles on Algorithmica.org☆81Updated last year
- ☆30Updated 2 years ago
- CK extensions: FAR Manager plugin☆25Updated 6 years ago
- A Telegram bot that sends messages from vk.com to you in Telegram and vice versa☆120Updated 4 months ago
- Ваша первая книга о языке Haskell☆261Updated last year
- Фейковый вечный статус "набирает сообщение" в чатах ВКонтакте☆5Updated 6 years ago
- Benchmark for generic matrix-matrix multiplication (GEMM)☆33Updated 5 years ago
- Ejudge programming contest management system☆193Updated this week
- Shared artifacts and workflows from the EPSRC Pamela project in the customizable, portable and reusable Collective Knowledge format:☆21Updated 3 years ago
- JSON Schema of VK API☆207Updated 4 months ago
- Tree - simple fast compact user-readable binary-safe extensible structural format☆200Updated 4 months ago
- учебник по Haskell☆275Updated last year
- ☆101Updated 5 years ago
- Labs for Operating Systems course at HSE☆73Updated 3 years ago
- Collective Knowledge web extension to browse CK repositories, visualize interactive graphs and articles, render CK-based websites, implem…☆33Updated 3 years ago
- Possibly the smallest compiler ever (Русский перевод | Russian translation)☆61Updated 6 years ago
- Dynamic systems visualizer☆46Updated last year