CPS examples
☆20Sep 7, 2025Updated 11 months ago
Alternatives and similar repositories for CotoPeS
Users that are interested in CotoPeS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies☆17May 10, 2024Updated 2 years ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated 2 years ago
- Latex шаблон текста для квалификационных работ☆54Nov 20, 2025Updated 9 months ago
- Материалы по направлению "Технологии программирования" в СПбГУ. Materials on the "Technology programming" direction at SPbU☆11Dec 8, 2023Updated 2 years ago
- ☆11Nov 1, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆10Oct 9, 2025Updated 10 months ago
- Spring Boot Unit testing and Integration testing☆24Nov 27, 2022Updated 3 years ago
- Cute network emulation web-app for self-education and classes (based on mininet).☆71Updated this week
- generate an ELF64 binary from scratch☆16Jan 18, 2019Updated 7 years ago
- An automated project intelligence and evaluation tool for performance and migration readiness.☆22Aug 21, 2026Updated last week
- Develop Tarantool applications in VS Code with ease☆17Nov 18, 2025Updated 9 months ago
- interactive λ-calculus for learning☆38Jun 1, 2019Updated 7 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆126Jul 22, 2026Updated last month
- Yet another compiler from Russian version of C into virtual machine☆17Dec 27, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Desbordante is a high-performance data profiler that is capable of discovering many different patterns in data using various algorithms. …☆498Aug 25, 2026Updated last week
- Platform for data science and machine learning prototyping. Developed by Tatradev.com☆56Aug 16, 2023Updated 3 years ago
- Telegram bot for VK public☆37Sep 5, 2022Updated 3 years ago
- A simple Bitmap (BMP) library.☆96Apr 17, 2024Updated 2 years ago
- A small malloc implementation, for use in WebAssembly☆194Dec 19, 2023Updated 2 years ago
- ☆101Jun 6, 2022Updated 4 years ago
- Catalog of visual lambda calculi☆176Jul 15, 2025Updated last year
- Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others☆269Feb 23, 2022Updated 4 years ago
- High-performance multi-path covert channel over DNS☆310Jun 24, 2026Updated 2 months ago
- 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.
- My NLP datasets for Russian language☆393Feb 18, 2023Updated 3 years ago
- IT internships in Russia 🇷🇺☆451Mar 18, 2024Updated 2 years ago
- ⏺ SlipGate — Unified tunnel manager for Linux servers. Deploys and manages DNS tunnels (DNSTT, NoizDNS, Slipstream) and HTTPS proxies (Na…☆418May 21, 2026Updated 3 months ago
- Build a minimal multi-tasking OS kernel for RISC-V from scratch☆505May 24, 2023Updated 3 years ago
- 2D physics header-only library for videogames developed in C using raylib library.☆609Oct 20, 2024Updated last year
- A new, render-graph based 3D game engine for Linux and Windows using C++20 and Vulkan API 1.3 (in early development)☆1,210Aug 10, 2026Updated 3 weeks ago
- Grokking Deep Reinforcement Learning☆1,036Feb 4, 2022Updated 4 years ago
- WireGuard Web UI for self-serve client configurations, with optional auth.☆1,518Apr 12, 2023Updated 3 years ago
- A high speed C++17 Vulkan game engine☆2,021Sep 21, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A list of engineering manager resource links.☆10,725Aug 17, 2026Updated 2 weeks ago
- Cryptography Toolkit☆3,309Updated this week
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆5,420Sep 26, 2025Updated 11 months ago
- Envision a future where everyone can read all the code of an educational operating system.☆3,590Aug 16, 2026Updated 2 weeks ago
- A Grub Theme in the style of Minecraft!☆4,601Updated this week
- ☆3,974Apr 16, 2026Updated 4 months ago
- Run your GitHub Actions locally 🚀☆71,733Aug 9, 2026Updated 3 weeks ago