competitive programming language
โ10Jun 24, 2024Updated 2 years ago
Alternatives and similar repositories for namul
Users that are interested in namul 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 Modern Programming Language Empowering Algorithmic Thinkingโ14Jun 24, 2024Updated 2 years ago
- A toy nanopass compiler for x86 written in leanโ15Oct 25, 2025Updated last year
- Type-safe GitHub Actions workflows in TypeScript, GitHub Actions Justified Improvementsโ27Sep 6, 2026Updated 2 months ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Editionโ10Jan 4, 2023Updated 3 years ago
- Automatically send BOJ info to your discord server.โ19Apr 15, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits โข AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- โ35Nov 7, 2025Updated 11 months ago
- Github Profile์ ๋ ํผ๋ด์ ๋ฌ ์ ์๊ฒ ํ๋ ํ๋ก์ ํธ์ ๋๋ค.โ12Sep 23, 2025Updated last year
- 2025๋ ๊ตญ๋ฏผ๋ํ๊ต KPSC + AIM ์คํฐ๋ - ๊ฐํํ์ต์ ์ด์ฉํ ์ฒด์ค AI ๋ง๋ค๊ธฐโ13Jun 22, 2025Updated last year
- ๋ฐฑ์ค ๋ ๋ฐ๋จน๊ธฐ (Legacy repo)โ19Jan 1, 2026Updated 10 months ago
- POSTECH CS321: Programming Languages (Spring 2026)โ14Jun 25, 2026Updated 4 months ago
- An opinionated changelog managerโ17Oct 25, 2026Updated last week
- Mod that allows you to convert picture to certain Geometry Dash Objects.โ16Jun 19, 2025Updated last year
- Materials for the ESSLLI 2026 course "Introduction to Homotopy Type Theory / Univalent Foundations"โ15Sep 15, 2026Updated last month
- Haze's Agent Skillsโ13Jul 18, 2026Updated 3 months ago
- 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.
- CIRC: Concurrent Immediate Reference Countingโ55Nov 15, 2024Updated last year
- Type analysis of a simplified Ruby-like IRโ15Jan 26, 2026Updated 9 months ago
- C++๋ก ๋ฅ๋ฌ๋, ๋จธ์ ๋ฌ๋ ๋ชจ๋ธ ๊ตฌํโ10Mar 25, 2021Updated 5 years ago
- Simple protogen firmware ^w^โ19Jan 28, 2026Updated 9 months ago
- A cross-platform dotfiles managerโ15Jul 30, 2026Updated 3 months ago
- Advanced Linter for Gnoโ14Oct 13, 2026Updated 3 weeks ago
- โ10Nov 20, 2023Updated 2 years ago
- ์๋ ๋ ๊ฐ์ต ๋งค๋ด์ผโ22Sep 2, 2024Updated 2 years ago
- A Lambda expression compiler targeting web assembly.โ20Aug 7, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available โข AdRun AI, ML, and HPC workloads on powerful cloud GPUsโwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Natural ๐ฟ effect system that fits TypeScriptโ62Aug 22, 2024Updated 2 years ago
- A simple hwp parser for cross-platform written in Rustโ10Aug 13, 2023Updated 3 years ago
- โ17Feb 12, 2026Updated 8 months ago
- Rust ์ฝ๋๋ฅผ ์ปดํ์ผํ ํ ์คํ ํ์ผ์ ์จ๋ผ์ธ ์ฑ์ ํ๊ฒฝ์ ์ ์ถํ ์ ์๋๋ก ๋ณํํฉ๋๋ค.โ140Jun 15, 2026Updated 4 months ago
- C โ ์ํฌโ16Apr 21, 2024Updated 2 years ago
- With TaskCreationHelper, you can create tasks for Business Programmers much easier.โ10Mar 4, 2024Updated 2 years ago
- A online playground to explore with type Inference algorithms.โ18Jan 28, 2026Updated 9 months ago
- โ14Feb 26, 2024Updated 2 years ago
- ์คํฌ๋ฆฝํธ ํ ์น ๋น์ฃผ์ผ๋ ธ๋ฒจ ๋ผ์ด๋ธ๋ฌ๋ฆฌโ15Jun 8, 2023Updated 3 years ago
- 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.
- ๋์ฌ๊ฒจ๋ณผ๋งํ ๋ฐฑ์ค ์จ๋ผ์ธ ์ ์ง ๊ด๋ จ ํ๋ก์ ํธ๋ฅผ ๋ชจ์๋ก๋๋ค.โ57Mar 18, 2026Updated 7 months ago
- A simple Rust and WebAssembly example implementing the Game of Lifeโ14Aug 4, 2021Updated 5 years ago
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ35Aug 4, 2026Updated 3 months ago
- The federated and networked oekaki boardโ23Updated this week
- Rust programming, in Korean. ์ฌ๋ฏธ๋ก ํด๋ณด๋ ํ๊ธ Rust ์ฝ๋ฉโ16Sep 22, 2021Updated 5 years ago
- A proof of the consistency of ZF in axiom-free Leanโ23Sep 19, 2026Updated last month
- Support for language highlighting of KECC(KAIST Educational C Compiler) IRโ12May 17, 2022Updated 4 years ago