Latex шаблон текста для квалификационных работ
☆47Nov 20, 2025Updated 4 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
Sorting:
- Шаблон презентации для квалификационных работ☆25Jun 24, 2024Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- ☆19Oct 31, 2025Updated 4 months ago
- Android application for department navigation☆39Sep 19, 2025Updated 6 months ago
- ☆12Oct 9, 2025Updated 5 months ago
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆15Nov 6, 2021Updated 4 years ago
- Symbolic execution engine for .NET Core☆53Jan 6, 2025Updated last year
- Cat photo storage☆14May 26, 2024Updated last year
- Python infrastructure to train paths selectors for symbolic execution engines.☆14Updated this week
- ☆11Jun 28, 2025Updated 8 months ago
- fast and effective way to access and analyze java bytecode☆32Dec 10, 2025Updated 3 months ago
- ☆23Feb 18, 2024Updated 2 years ago
- Develop Tarantool applications in VS Code with ease☆18Nov 18, 2025Updated 4 months ago
- Library for Depth Plane Extraction☆10Oct 26, 2023Updated 2 years ago
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆180Jan 24, 2025Updated last year
- Implementation of the Bayesian Online Change-point Detector of Ryan Prescott Adams and David McKay.☆15Aug 16, 2021Updated 4 years ago
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- Bayesian Changepoint detection implementation applied to a number of examples☆15May 30, 2020Updated 5 years ago
- Explyt Spring is a free, source-available plugin for IntelliJ IDEA Community Edition, designed to simplify and improve development with t…☆116Updated this week
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Backport new syntax to older compilers☆14Dec 9, 2019Updated 6 years ago
- ☆14Mar 26, 2024Updated last year
- ☆18Feb 10, 2022Updated 4 years ago
- LaTeX шаблон для ВКР СПбГУ☆119Aug 30, 2021Updated 4 years ago
- ☆19Dec 14, 2024Updated last year
- ☆25May 5, 2025Updated 10 months ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Cute network emulation web-app for self-education and classes (based on mininet).☆62Mar 13, 2026Updated last week
- Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies☆17May 10, 2024Updated last year
- A toolkit for Bayesian change point detection☆35Oct 20, 2025Updated 4 months ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 5 months ago
- Saint-Petersburg: Beamer theme for SPbU☆11Dec 3, 2021Updated 4 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Lecturer-students ASP.NET Core collaboration service☆30Updated this week
- Personal website with projects, articles, and about☆12Jan 10, 2024Updated 2 years ago
- A web server that allows embedding in Discord based on URL.☆11Dec 8, 2022Updated 3 years ago
- EGraphs in OCaml☆80Jan 20, 2024Updated 2 years ago
- [MDPI Remote Sensing 2020] Lake Detection and Lake Ice Monitoring with Webcams and Crowd-Sourced Images (RGB) using Deep Learning (Deepl…☆15Feb 10, 2022Updated 4 years ago
- SDK to extend Merlin☆27Oct 21, 2024Updated last year