☆18Feb 10, 2022Updated 4 years ago
Alternatives and similar repositories for bsse-latex-templates
Users that are interested in bsse-latex-templates are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆24Nov 25, 2025Updated 5 months ago
- LaTeX шаблон для ВКР СПбГУ☆122Aug 30, 2021Updated 4 years ago
- Домашние задания для курса "Вычисления на видеокартах" в CS Space☆31Apr 19, 2026Updated last week
- Hahn: A Coq library☆29Jun 25, 2024Updated last year
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Separation Logic Proofs in Lean☆52Jan 28, 2026Updated 3 months ago
- infrastructure layer for high-load Telegram bots☆16Feb 8, 2026Updated 2 months ago
- Slides to my talks on various conferences☆11Jun 17, 2025Updated 10 months ago
- Finite sets, finite maps, multisets and generic sets☆51Apr 1, 2026Updated 3 weeks ago
- A rewrite version of segment-sandbox in Rust☆11Apr 1, 2021Updated 5 years ago
- YDB public talks, slides and recordings☆14Apr 15, 2026Updated 2 weeks ago
- Bash, vim and sundry configuration files☆11Mar 20, 2025Updated last year
- Example of RealMedium backend written in the userver framework☆15Updated this week
- Extension of the Boost ASIO library to support the Streaming Control Transport Protocol, SCTP☆19Jun 2, 2012Updated 13 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.
- ☆17Mar 31, 2026Updated 3 weeks ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆87Jul 8, 2020Updated 5 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆125Updated this week
- yandex browser docker image☆17Dec 15, 2022Updated 3 years ago
- dotfiles☆24Nov 5, 2023Updated 2 years ago
- ☆17Feb 27, 2019Updated 7 years ago
- ☆17Jan 23, 2025Updated last year
- Algos & Data Structures☆23Nov 25, 2021Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆124Apr 13, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Dotfiles configuration☆21Apr 10, 2026Updated 2 weeks ago
- material related to empirical mode decomposition☆18Mar 14, 2023Updated 3 years ago
- Repository for the book "Design for Failure" 📈☆18Jul 30, 2021Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆69Mar 1, 2025Updated last year
- Ansible role for installing the Rust programming language☆32Sep 30, 2021Updated 4 years ago
- Polybar-Arch-gnome☆25May 6, 2022Updated 3 years ago
- Lightweight, header-only, Boost-based socket pool library☆26May 5, 2023Updated 2 years ago
- Задания лабораторных работ по курсу БД☆19Oct 30, 2024Updated last year
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆165Apr 22, 2026Updated last 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.
- simple implementation of socks5 proxy protocol for quick & easy private socks5 proxy server☆33Jun 2, 2018Updated 7 years ago
- A Model Context Protocol (MCP) server that enables AI assistants to interact with Anki, the spaced repetition flashcard application.☆242Updated this week
- This road is never-ending☆68Apr 22, 2026Updated last week
- 1st year programming course examples☆23Oct 30, 2025Updated 5 months ago
- Шпаргалка по [Obsidian](https://obsidian.md/)☆44Oct 29, 2022Updated 3 years ago
- Boost.org date_time module☆68Apr 22, 2026Updated last week
- My dotfiles☆102Apr 11, 2024Updated 2 years ago