☆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:
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Домашние задания для курса "Вычисления на видеокартах" в CS Space☆32Apr 19, 2026Updated 2 months ago
- Separation Logic Proofs in Lean☆52Jan 28, 2026Updated 5 months ago
- Сборник статей по спортивному программированию 2.0☆24Jan 19, 2022Updated 4 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆126May 31, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Distributed systems lecture notes☆74Oct 31, 2025Updated 7 months ago
- Components of microsoft/vcpkg's binary.☆589Updated this week
- Selection and partial sorting algorithms☆139Apr 3, 2025Updated last year
- Ejudge programming contest management system☆231Updated this week
- ☆109Jan 5, 2019Updated 7 years ago
- A C++ library of Concurrent Data Structures☆2,739Oct 17, 2023Updated 2 years ago
- Samples for Learning Modern CMake☆245Aug 31, 2016Updated 9 years ago
- java内存对象搜索辅助工具☆820Sep 23, 2022Updated 3 years ago
- A computer science textbook☆4,898Aug 11, 2024Updated last year
- 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.
- Fast CSV parser and writer for Modern C++☆623Dec 23, 2023Updated 2 years ago
- Sorting algorithms & related tools for C++☆712Jun 3, 2026Updated 3 weeks ago
- Example library that shows best practices and proper usage of CMake by using targets☆678Mar 18, 2021Updated 5 years ago
- 🌴 Soothing pastel theme for Alacritty☆779Apr 24, 2025Updated last year
- A bounded single-producer single-consumer wait-free and lock-free queue written in C++11☆1,252Jan 4, 2024Updated 2 years ago
- The book "Performance Analysis and Tuning on Modern CPU"☆3,576Jun 9, 2025Updated last year
- Open Machine Learning course☆3,485May 4, 2026Updated last month
- The best tool for finding one gadget RCE in libc.so.6☆2,330Jun 16, 2026Updated last week
- Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in…☆3,295Dec 28, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A C++11 library for serialization☆4,678Mar 11, 2026Updated 3 months ago
- Simple, fast, accurate single-header microbenchmarking functionality for C++11/14/17/20☆1,706Oct 6, 2024Updated last year
- Advanced real-time screen translator for games, hardcoded subtitles in videos, static text and etc.☆5,457Jun 14, 2026Updated 2 weeks ago
- C++14 concurrent lock-free low-latency queue.☆1,861Jun 22, 2026Updated last week
- A collection of resources on wait-free and lock-free programming☆2,060Feb 25, 2024Updated 2 years ago
- Asynchronous Programming in Rust☆2,184May 24, 2026Updated last month
- A comprehensive list of books on Software Architecture.☆11,069Mar 15, 2023Updated 3 years ago
- Instant Kubernetes-Native Application Observability☆6,470Jun 22, 2026Updated last week
- Rofi: A window switcher, application launcher and dmenu replacement☆16,213Jun 22, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Java implementation of JSON Web Token (JWT)☆6,228Updated this week
- A template CMake project to get you started with C++ and tooling☆2,586Apr 19, 2023Updated 3 years ago
- A fast JSON parser/generator for C++ with both SAX/DOM style API☆15,096Feb 5, 2025Updated last year
- 🍨 Soothing pastel theme for Neovim☆7,484Jun 21, 2026Updated last week
- Goroutine leak detector☆5,220Jun 2, 2026Updated 3 weeks ago
- YDB is an open source Distributed SQL Database that combines high availability and scalability with strong consistency and ACID transacti…☆4,742Updated this week
- Range library for C++14/17/20, basis for C++20's std::ranges☆4,368Apr 12, 2026Updated 2 months ago