☆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:
- ☆17Oct 13, 2025Updated last year
- ☆100Jun 6, 2022Updated 4 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 3 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated last year
- 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.
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆44Feb 14, 2026Updated 8 months ago
- Let's translate works of Grothendieck☆36Aug 13, 2019Updated 7 years ago
- Materials of 2 years Master's level program in Machine Learning and Software Engineering☆33Jul 23, 2023Updated 3 years ago
- Bash, vim and sundry configuration files☆11Mar 20, 2025Updated last year
- ☆51Nov 24, 2025Updated 11 months ago
- YDB public talks, slides and recordings☆14Sep 4, 2026Updated last month
- Separation Logic Proofs in Lean☆57Jan 28, 2026Updated 9 months ago
- Статьи о нейросетях☆17Aug 30, 2019Updated 7 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆126Oct 20, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My ~/.vim directory☆14Dec 5, 2024Updated last year
- yandex browser docker image☆17Dec 15, 2022Updated 3 years ago
- Latex шаблон текста для квалификационных работ☆58Nov 20, 2025Updated 11 months ago
- dotfiles☆24Nov 5, 2023Updated 2 years ago
- Example of RealMedium backend written in the userver framework☆17Jun 29, 2026Updated 4 months ago
- ☆38Feb 15, 2025Updated last year
- Some advanced notes from different programming fields.☆17Sep 15, 2025Updated last year
- A simulator of Kuberntes for batch and service workload.☆50Mar 26, 2021Updated 5 years ago
- Spring Explyt — free, open-source (Apache-2.0) Spring & Spring Boot plugin that brings Ultimate-grade tooling to IntelliJ IDEA Community …☆166Updated this week
- 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.
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆174Oct 24, 2026Updated last week
- Семинары А.В. Грабового к лекционному курсу К.В. Воронцова.☆412Oct 16, 2026Updated 2 weeks ago
- Teaching language LaMa for a compiler course☆82Updated this week
- Framework for testing concurrent code on JVM languages☆701Oct 13, 2026Updated 2 weeks ago
- A collection for IOAI tasks from different years and from national teams selections☆164Sep 18, 2026Updated last month
- Collection of Conan recipe + CI templates☆76Oct 25, 2022Updated 4 years ago
- L-Functions and Modular Forms Database☆301Oct 18, 2026Updated 2 weeks ago
- A verifier for automated and interactive proofs about transition systems.☆349Updated this week
- Kubernetes Scheduler Simulator☆127Jul 31, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Материалы курса АКОС на ФПМИ☆351Sep 10, 2025Updated last year
- amateur translation project of Grothendieck's EGA.☆413Jun 24, 2026Updated 4 months ago
- NNJR: NNJR is Not Jake's Resume. However, it is similar and is written in Typst!☆123Dec 31, 2023Updated 2 years ago
- Install and Cache latest CMake and Ninja for your workflows on your GitHub☆129Updated this week
- CppCon 2018 Presentation materials☆131Oct 12, 2021Updated 5 years ago
- Курс по квантовому машинному обучению☆252May 18, 2026Updated 5 months ago
- Masters course revisited☆159Oct 10, 2026Updated 3 weeks ago