Αντικειμενοστραφής Προγραμματισμός (C++)
☆23Jan 12, 2026Updated 8 months ago
Alternatives and similar repositories for oop
Users that are interested in oop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple to use but feature rich plugin to guide players around your server.☆18Jul 12, 2025Updated last year
- The NodeJs Lavalink client.☆11Mar 1, 2026Updated 6 months ago
- Notes on Linear Mathematics, by Neil Strickland☆10Jul 22, 2026Updated 2 months ago
- Minecraft mod that optimises worldgen performance for a better gameplay experience.☆23Jul 26, 2026Updated last month
- Handpicked Minecraft Unicode symbols that actually look good. With in-game previews to help people build better lores!☆32Jun 22, 2026Updated 3 months 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 guide to the intrepid adventurer.☆22Nov 23, 2021Updated 4 years ago
- Set Theory Game☆30Updated this week
- 😛 Review of Structure and Interpretation of Computer Programs☆26Jul 20, 2024Updated 2 years ago
- How to read Lean☆28Jan 30, 2025Updated last year
- Java Design Pattern Essentials (Second Edition) - book source code☆23Dec 3, 2014Updated 11 years ago
- Add InteractiveChat functionalities to DiscordSRV as an addon☆42Jul 15, 2026Updated 2 months ago
- Type Checking in Lean 4☆41Mar 22, 2026Updated 6 months ago
- Book about using Lean with How To Prove It☆28Sep 8, 2026Updated 2 weeks ago
- My solutions to the ant book (プログラミングコンテストチャレンジブック [第2版], aka 蟻本, aka 白书)☆25Apr 3, 2022Updated 4 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.
- EarthX is a feature-rich Discord music bot built with discord.js v14+, discord-player v6+, and MongoDB. Elevate your server's audio exper…☆64Jan 26, 2026Updated 7 months ago
- ☆31Jul 16, 2025Updated last year
- 《数据结构教程》（第六版）（李春葆）个人全部题解，实现了涉及的全部基础数据结构。☆23Apr 27, 2025Updated last year
- This tutorial explains how to add Polytonic characters to an existing Monotonic Greek typeface. In terms of the Google Fonts Glyph Sets/G…☆33Oct 24, 2022Updated 3 years ago
- MIT 18.02 lecture notes on multivar☆32Updated this week
- Lean for Scientists and Engineers, course taught in Summer 2024☆45Jan 6, 2025Updated last year
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆71Jul 25, 2026Updated last month
- Lean 4 tutorial files☆64Updated this week
- A subset of style recommendations for Common Lisp based upon the points of agreement found in other style guides.☆91Jan 10, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GPlugin - GSit - Relax with other players on nice seats!☆171Updated this week
- Performant LavaLink alternative written with Node.Js☆155Updated this week
- Beginner's guide to Tactic Programming in Lean☆93Apr 24, 2026Updated 5 months ago
- Add click and hover events to chat messages!☆205Jul 1, 2026Updated 2 months ago
- Overview of tactics in Lean 4 for beginners — longer version☆122Apr 28, 2026Updated 4 months ago
- Level-up mobs on your Spigot/Paper server, RPG-style!☆269Aug 11, 2026Updated last month
- Course notes for Formalising Mathematics 2026☆129Aug 19, 2026Updated last month
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆162Apr 22, 2025Updated last year
- LeanInteract: A Python Interface for Lean 4☆129Jul 17, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Integrates the Stockfish chess engine with Python☆299Sep 3, 2024Updated 2 years ago
- A fork of Mihon with some annoying restrictions removed☆339Updated this week
- Cross-platform IDE for development in Oberon programming language made in the classical FreePascal-like pseudo-graphic style.☆223Aug 7, 2026Updated last month
- コード例で学ぶ Lean 言語☆188Updated this week
- A server-side logging mod for fabric 1.17+☆249Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆226Updated this week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆264Updated this week