CPS examples
☆20Sep 7, 2025Updated 8 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☆16May 10, 2024Updated 2 years ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated last year
- Android application for department navigation☆40Sep 19, 2025Updated 8 months ago
- ☆11Oct 9, 2025Updated 7 months ago
- Spring Boot Unit testing and Integration testing☆24Nov 27, 2022Updated 3 years 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.
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆177Jan 24, 2025Updated last year
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆33Mar 26, 2026Updated last month
- interactive λ-calculus for learning☆37Jun 1, 2019Updated 6 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆125May 5, 2026Updated 2 weeks ago
- An interactive fluid simulation software that uses Smoothed-Particle Hydrodynamics☆78Oct 11, 2023Updated 2 years ago
- Catalog of visual lambda calculi☆176Jul 15, 2025Updated 10 months ago
- Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others☆268Feb 23, 2022Updated 4 years ago
- Golang programming course☆470May 20, 2025Updated last year
- Course about deep learning for computer vision and graphics co-developed by YSDA and Skoltech.☆392Dec 7, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Parser combinators built for speed and memory efficiency☆710Sep 12, 2024Updated last year
- A high speed C++17 Vulkan game engine☆1,985Sep 21, 2023Updated 2 years ago
- A list of engineering manager resource links.☆10,706Mar 2, 2026Updated 2 months ago
- Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.☆6,270Updated this week
- Xv6 for RISC-V☆9,766Dec 17, 2025Updated 5 months ago
- Envision a future where everyone can read all the code of an educational operating system.☆2,549Apr 28, 2026Updated 3 weeks ago
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆5,374Sep 26, 2025Updated 7 months ago
- Run your GitHub Actions locally 🚀☆70,265May 11, 2026Updated last week
- The core OCaml system: compilers, runtime system, base libraries☆6,329Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- List of awesome reverse engineering resources☆10,085Jul 29, 2023Updated 2 years ago
- Amnezia VPN Client (Desktop+Mobile)☆11,836Updated this week
- 把萌萌哒的看板娘抱回家 (ノ≧∇≦)ノ | Live2D widget for web platform☆10,663May 12, 2026Updated last week
- Comfortably monitor your Internet traffic 🕵️♂️☆37,632Updated this week
- A curated list of Docker resources and projects☆36,026Updated this week
- Bootstrap Kubernetes the hard way. No scripts.☆48,284Apr 10, 2025Updated last year
- 🤪 A list of funny and tricky JavaScript examples☆37,599Mar 18, 2025Updated last year
- Ghidra is a software reverse engineering (SRE) framework☆68,594Updated this week
- An extremely fast Python linter and code formatter, written in Rust.☆47,498May 13, 2026Updated last 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.
- Papers from the computer science community to read and discuss.☆106,195May 7, 2026Updated last week
- A complete computer science study plan to become a software engineer.☆346,906Aug 28, 2025Updated 8 months ago
- A collection of useful .gitignore templates☆173,915Apr 27, 2026Updated 3 weeks ago
- Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.☆349,076Mar 20, 2026Updated 2 months ago
- List of awesome penetration testing resources, tools and other shiny things☆2,747Oct 18, 2023Updated 2 years ago
- Control in C++☆26Nov 1, 2020Updated 5 years ago
- A React component for building Web forms from JSON Schema.☆15,770May 12, 2026Updated last week