Latex шаблон текста для квалификационных работ
☆56Nov 20, 2025Updated 10 months ago
Alternatives and similar repositories for matmex-diploma-template
Users that are interested in matmex-diploma-template are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Шаблон презентации для квалификационных работ☆26Jun 24, 2024Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- CPS examples☆20Sep 7, 2025Updated last year
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆126Oct 2, 2026Updated last week
- ☆18Oct 31, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Android application for department navigation☆44May 31, 2026Updated 4 months ago
- An automated project intelligence and evaluation tool for performance and migration readiness.☆23Updated this week
- graphs-graphs-team-4 created by GitHub Classroom☆15May 30, 2025Updated last year
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆16Nov 6, 2021Updated 4 years ago
- Cat photo storage☆13May 26, 2024Updated 2 years ago
- ☆11Jun 28, 2025Updated last year
- Develop Tarantool applications in VS Code with ease☆17Nov 18, 2025Updated 10 months ago
- fast and effective way to access and analyze java bytecode☆33Updated this week
- Python infrastructure to train paths selectors for symbolic execution engines.☆16Updated this week
- 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.
- ☆23Feb 18, 2024Updated 2 years ago
- Library for Depth Plane Extraction☆10Oct 26, 2023Updated 2 years ago
- Cute network emulation web-app for self-education and classes (based on mininet).☆72Updated this week
- Universal Symbolic Virtual Machine☆33Updated this week
- Library code for upcoming RetroClash book☆11Jun 8, 2026Updated 4 months ago
- typing haskell in haskell☆18Sep 22, 2022Updated 4 years ago
- ☆13May 6, 2026Updated 5 months ago
- Implementation of the Bayesian Online Change-point Detector of Ryan Prescott Adams and David McKay.☆15Aug 16, 2021Updated 5 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Spring Explyt — free, open-source (Apache-2.0) Spring & Spring Boot plugin that brings Ultimate-grade tooling to IntelliJ IDEA Community …☆162Updated this week
- Python module for change point detection in a time series with experimental environment☆14Apr 19, 2026Updated 5 months ago
- Command-line tool for tracking your day-to-day software development work☆18May 8, 2022Updated 4 years ago
- ☆14Mar 26, 2024Updated 2 years ago
- ☆19Feb 10, 2022Updated 4 years ago
- Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies☆18Sep 5, 2026Updated last month
- Python implementation of "Adaptive Sequential Bayesian Change Point Detection" algorithm (Turner, et.al)☆22Feb 5, 2020Updated 6 years ago
- The open source taint analysis engine for the AI era. A formal dataflow analysis tool you can customize and self-host, built so AI agents…☆163Updated this week
- ☆19Dec 14, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A neural network fast inference library implementing Coral Edge TPU emulator using AVX2.☆15Mar 30, 2022Updated 4 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆13Jan 12, 2026Updated 8 months ago
- ☆26Updated this week
- Saint-Petersburg: Beamer theme for SPbU☆11Dec 3, 2021Updated 4 years ago
- Sample project to compare how side-effects can be managed and tested in Haskell☆25Apr 17, 2025Updated last year
- A web server that allows embedding in Discord based on URL.☆11Dec 8, 2022Updated 3 years ago
- A Hugo module for the Simple Icons icon set.☆12Oct 1, 2026Updated last week