☆19Feb 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:
- ☆15Oct 13, 2025Updated 10 months ago
- ☆24Nov 25, 2025Updated 9 months ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- LaTeX шаблон для ВКР СПбГУ☆125Aug 30, 2021Updated 5 years ago
- Hahn: A Coq library☆29Aug 20, 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.
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated 10 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆44Feb 14, 2026Updated 6 months ago
- Materials of 2 years Master's level program in Machine Learning and Software Engineering☆31Jul 23, 2023Updated 3 years ago
- Finite sets, finite maps, multisets and generic sets☆50Jul 17, 2026Updated last month
- Go module dependency graph analysis tool☆31May 8, 2025Updated last year
- Сборник статей по спортивному программированию 2.0☆24Jan 19, 2022Updated 4 years ago
- K8sSim：A Kubernetes cluster simualtor☆23Feb 9, 2023Updated 3 years ago
- Статьи о нейросетях☆17Aug 30, 2019Updated 7 years ago
- Bash, vim and sundry configuration files☆11Mar 20, 2025Updated last year
- 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.
- Separation Logic Proofs in Lean☆56Jan 28, 2026Updated 7 months ago
- A tool for sorting include directives in large projects☆11Feb 20, 2022Updated 4 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆126Jul 22, 2026Updated last month
- Extension of the Boost ASIO library to support the Streaming Control Transport Protocol, SCTP☆19Jun 2, 2012Updated 14 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆88Jul 8, 2020Updated 6 years ago
- Конспекты теории с лекций, набранные в tex.☆37Jan 27, 2023Updated 3 years ago
- Справка по Git☆20Jul 12, 2022Updated 4 years ago
- ☆17Feb 27, 2019Updated 7 years ago
- any traffic in - any traffic out. A Rust construction kit for building gateways of your own shape☆19Jul 6, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Open library with tools for generation the city model and optimal requirements for future development with specified target parameters☆41May 4, 2026Updated 3 months ago
- Algos & Data Structures☆23Nov 25, 2021Updated 4 years ago
- ROS remote development environment setup using Docker and CLion IDE☆22May 13, 2021Updated 5 years ago
- Some advanced notes from different programming fields.☆17Sep 15, 2025Updated 11 months ago
- A simulator of Kuberntes for batch and service workload.☆49Mar 26, 2021Updated 5 years ago
- Generate k8s diagrams of your cluster using D2☆64Jul 16, 2026Updated last month
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆173Updated this week
- Install @kalashnikovisme environment with 1 command☆36Feb 20, 2026Updated 6 months ago
- Семинары А.В. Грабового к лекционному курсу К.В. Воронцова.☆395May 24, 2026Updated 3 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.
- Ridiculously fast <iostream> re-implementation☆62Jan 16, 2025Updated last year
- Framework for testing concurrent code on JVM languages☆693Updated this week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆158Aug 4, 2026Updated 3 weeks ago
- Development board based on NRF52832 E73 module with C++20/CMake/VSCode based development flow☆40Apr 7, 2023Updated 3 years ago
- Old materials of ML course at MIPT 20..-2018☆65Feb 4, 2019Updated 7 years ago
- A verifier for automated and interactive proofs about transition systems.☆286Aug 18, 2026Updated 2 weeks ago
- Kubernetes Scheduler Simulator☆127Jul 31, 2024Updated 2 years ago