☆18Mar 14, 2024Updated 2 years ago
Alternatives and similar repositories for logic2023a
Users that are interested in logic2023a are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ITMO CT PureVessel's notes.☆30Mar 30, 2025Updated last year
- xd☆68Feb 6, 2025Updated last year
- Собрание материалов, наработанных во время учёбы на КТ ИТМО, M3*36 y2021☆19May 26, 2024Updated 2 years ago
- ☆16Oct 23, 2023Updated 2 years ago
- TUI for managing golang-migrate migrations☆16Jun 6, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repository for homeworks.☆10Jun 1, 2021Updated 5 years ago
- Overlay for competitive programming competitions broadcasts☆65Jun 27, 2026Updated last week
- ☆11Dec 16, 2024Updated last year
- Конспекты M3136-M3137 2023 года☆19Sep 10, 2024Updated last year
- ☆16Jun 22, 2024Updated 2 years ago
- Source code & exercises in Arend's documentation☆21May 8, 2026Updated last month
- LaTex template for ITMO style presentations☆12Jan 19, 2025Updated last year
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Mathematical notes and papers☆27Jun 15, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Конспекты КТ ИТМО 36 y2020☆30Jan 23, 2022Updated 4 years ago
- Райтап Tinkoff CTF 2024☆12Apr 22, 2024Updated 2 years ago
- ☆10Jul 2, 2022Updated 4 years ago
- Game, made with SFML☆19Oct 18, 2022Updated 3 years ago
- Online multiplayer snake game written with Go.☆20Dec 16, 2024Updated last year
- ☆19Jun 24, 2026Updated last week
- Конспекты М3*37 2019 года☆78Updated this week
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆21Jan 31, 2020Updated 6 years ago
- A digital archive of category theory papers.☆35Jun 27, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Facilities for generating dependently-typed data☆30Jun 23, 2026Updated last week
- Автоматизированный Typst шаблон для оформления документов согласно ГОСТ 7.32-2017.☆280Jan 31, 2026Updated 5 months ago
- A Docker example using Django + Gunicorn, React, PostgreSQL and Nginx.☆26Jan 18, 2023Updated 3 years ago
- ITMO labs☆29Oct 22, 2023Updated 2 years ago
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆72Jun 27, 2026Updated last week
- Plugin for Typst support in JetBrains platform: https://plugins.jetbrains.com/plugin/25061-kvasir☆53May 18, 2026Updated last month
- A tutorial on how Agda infers things☆67Jul 10, 2025Updated 11 months ago
- Categorical logic from a categorical point of view☆80Oct 19, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆86Feb 28, 2025Updated last year
- Categorical Logic Notes☆82Mar 3, 2022Updated 4 years ago
- Supplementary materials for Discrete Math course at ITMO University☆118Jun 17, 2026Updated 2 weeks ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆100Updated this week
- Arend plugin for IntelliJ IDEA☆95Feb 26, 2025Updated last year
- A type safe SQL like ORM for Go☆126Jun 23, 2026Updated last week
- A performant NumPy extension for Galois fields and their applications☆464May 3, 2026Updated 2 months ago