☆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:
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- 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 11 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 3 months ago
- Separation Logic Proofs in Lean☆52Jan 28, 2026Updated 4 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.
- infrastructure layer for high-load Telegram bots☆16Feb 8, 2026Updated 4 months ago
- Slides to my talks on various conferences☆11Jun 2, 2026Updated last week
- A rewrite version of segment-sandbox in Rust☆11Apr 1, 2021Updated 5 years ago
- YDB public talks, slides and recordings☆14May 5, 2026Updated last month
- Implementation of the OutlineVPN Server Management API in Rust☆13Dec 3, 2023Updated 2 years ago
- My ~/.vim directory☆14Dec 5, 2024Updated last year
- A tool for sorting include directives in large projects☆12Feb 20, 2022Updated 4 years ago
- YDB C++ SDK☆16Updated this week
- ☆17Mar 31, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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☆126May 31, 2026Updated last week
- Конспекты теории с лекций, набранные в tex.☆37Jan 27, 2023Updated 3 years ago
- My personal dotfiles☆20Updated this week
- dotfiles☆24Nov 5, 2023Updated 2 years ago
- Algos & Data Structures☆23Nov 25, 2021Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆124Apr 13, 2020Updated 6 years ago
- Dotfiles configuration☆21May 12, 2026Updated 3 weeks ago
- A drop in profile for python-archinstall, that installs stuff for t2 macs☆22Dec 12, 2021Updated 4 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.
- Ansible role for installing the Rust programming language☆32Sep 30, 2021Updated 4 years ago
- Polybar-Arch-gnome☆25May 6, 2022Updated 4 years ago
- ☆35Apr 20, 2022Updated 4 years ago
- Lightweight, header-only, Boost-based socket pool library☆26May 5, 2023Updated 3 years ago
- Задания лабораторных работ по курсу БД☆19Oct 30, 2024Updated last year
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆170Updated this week
- simple implementation of socks5 proxy protocol for quick & easy private socks5 proxy server☆34Jun 2, 2018Updated 8 years ago
- Список ресурсов для изучения Git☆37Dec 30, 2025Updated 5 months ago
- Boost C++ Application Development Cookbook Second Edition, published by Packt☆42Jan 14, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This road is never-ending☆68May 7, 2026Updated last month
- Instructions to have your own Wireguard VPN with Google Cloud Free Tier☆48May 24, 2021Updated 5 years ago
- 1st year programming course examples☆23Oct 30, 2025Updated 7 months ago
- Distributed systems lecture notes☆74Oct 31, 2025Updated 7 months ago
- Шпаргалка по [Obsidian](https://obsidian.md/)☆44Oct 29, 2022Updated 3 years ago
- Libcap-ng is a library for Linux that makes using posix capabilities easy.☆91Jun 2, 2026Updated last week
- Collection of Conan recipe + CI templates☆75Oct 25, 2022Updated 3 years ago