☆19Mar 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:
- xd☆68Feb 6, 2025Updated last year
- ☆17Oct 23, 2023Updated 2 years ago
- ITMO CT PureVessel's notes.☆31Mar 30, 2025Updated last year
- ☆18Mar 4, 2025Updated last year
- Overlay for competitive programming competitions broadcasts☆67Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Coding Theory course at ITMO University☆13Dec 9, 2022Updated 3 years ago
- ☆17Jun 22, 2024Updated 2 years ago
- Template for a CV using typst☆18Oct 24, 2023Updated 2 years ago
- LaTex template for ITMO style presentations☆12Jan 19, 2025Updated last year
- ☆17Feb 1, 2026Updated 7 months ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Автоматизированный Typst шаблон для оформления документов согласно ГОСТ 7.32-2017.☆294Aug 31, 2026Updated 3 weeks ago
- Конспекты КТ ИТМО 36 y2020☆29Jan 23, 2022Updated 4 years ago
- ☆10Jul 2, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Source code & exercises in Arend's documentation☆22Jul 24, 2026Updated last month
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆21Jan 31, 2020Updated 6 years ago
- Конспекты М3*37 2019 года☆79Updated this week
- bot which tells your grade in IT using inline mode☆14Mar 31, 2026Updated 5 months ago
- Mathematical notes and papers☆28Jun 15, 2026Updated 3 months ago
- An ocean simulator built from scratch☆18Sep 10, 2026Updated last week
- Online multiplayer snake game written with Go.☆20Dec 16, 2024Updated last year
- ☆28Updated this week
- types for various combinatory systems, especialy tree calculi☆29Jan 23, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Turing machine visualizer☆23Feb 28, 2020Updated 6 years ago
- ☆48Nov 25, 2024Updated last year
- Yandex Cloud Crossplane Provider☆44Aug 27, 2026Updated 3 weeks ago
- A developer-centric toolkit module for Android to facilitate in-depth profiling and benchmarking.☆73Apr 16, 2021Updated 5 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆71Updated this week
- ☆85Feb 28, 2025Updated last year
- Arend plugin for IntelliJ IDEA☆95Feb 26, 2025Updated last year
- A lambda calculus interpeter☆71Dec 19, 2024Updated last year
- Yandex.Cloud Go SDK☆100Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆118Sep 1, 2026Updated 3 weeks ago
- Control and manage Android and iOS devices directly from your browser. Real-time screen viewing, responsive controls and device managemen…☆240Aug 26, 2026Updated 3 weeks ago
- Slides and other materials for functional programming lectures ITMO university☆626Jan 17, 2022Updated 4 years ago
- Supplementary materials for Discrete Math course at ITMO University☆136Updated this week
- ETNA – Time-Series Library☆203Aug 12, 2026Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆205Jun 12, 2021Updated 5 years ago
- Sources for Russian articles on Algorithmica.org☆94Mar 5, 2023Updated 3 years ago