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 11 months ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Editionβ10Jan 4, 2023Updated 3 years ago
- Type-safe GitHub Actions workflows in TypeScript, GitHub Actions Justified Improvementsβ27Sep 6, 2026Updated last month
- Automatically send BOJ info to your discord server.β19Apr 15, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 2025λ κ΅λ―Όλνκ΅ KPSC + AIM μ€ν°λ - κ°ννμ΅μ μ΄μ©ν μ²΄μ€ AI λ§λ€κΈ°β13Jun 22, 2025Updated last year
- λ°±μ€ λ λ°λ¨ΉκΈ° (Legacy repo)β19Jan 1, 2026Updated 9 months ago
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- C++λ‘ λ₯λ¬λ, λ¨Έμ λ¬λ λͺ¨λΈ ꡬνβ10Mar 25, 2021Updated 5 years ago
- Mod that allows you to convert picture to certain Geometry Dash Objects.β17Jun 19, 2025Updated last year
- Advanced Linter for Gnoβ14Updated this week
- μλ λ κ°μ΅ λ§€λ΄μΌβ22Sep 2, 2024Updated 2 years ago
- A cross-platform dotfiles managerβ15Jul 30, 2026Updated 2 months ago
- Simple protogen firmware ^w^β19Jan 28, 2026Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- β10Nov 20, 2023Updated 2 years ago
- A Lambda expression compiler targeting web assembly.β20Aug 7, 2024Updated 2 years ago
- β14Feb 26, 2024Updated 2 years ago
- Natural πΏ effect system that fits TypeScriptβ62Aug 22, 2024Updated 2 years ago
- β17Feb 12, 2026Updated 8 months ago
- Rust μ½λλ₯Ό μ»΄νμΌν ν μ€ν νμΌμ μ¨λΌμΈ μ±μ νκ²½μ μ μΆν μ μλλ‘ λ³νν©λλ€.β141Jun 15, 2026Updated 4 months ago
- A simple hwp parser for cross-platform written in Rustβ10Aug 13, 2023Updated 3 years ago
- A online playground to explore with type Inference algorithms.β18Jan 28, 2026Updated 8 months ago
- C β μν¬β16Apr 21, 2024Updated 2 years 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.
- Embedded-first ActivityPub server frameworkβ24Sep 30, 2026Updated 2 weeks ago
- With TaskCreationHelper, you can create tasks for Business Programmers much easier.β10Mar 4, 2024Updated 2 years ago
- λμ¬κ²¨λ³Όλ§ν λ°±μ€ μ¨λΌμΈ μ μ§ κ΄λ ¨ νλ‘μ νΈλ₯Ό λͺ¨μλ‘λλ€.β57Mar 18, 2026Updated 7 months ago
- β35Nov 7, 2025Updated 11 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 2 months ago
- Modified version of QPBO algorithm by Vladimir Kolmogorov for very large graphs.β12Dec 14, 2018Updated 7 years ago
- μ€ν¬λ¦½νΈ ν μΉ λΉμ£ΌμΌλ Έλ²¨ λΌμ΄λΈλ¬λ¦¬β15Jun 8, 2023Updated 3 years ago
- The federated and networked oekaki boardβ23Updated this week
- 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.
- TypeScript compiler and JavaScript engine in Leanβ66Updated this week
- Rust programming, in Korean. μ¬λ―Έλ‘ ν΄λ³΄λ νκΈ Rust μ½λ©β16Sep 22, 2021Updated 5 years ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IRβ12May 17, 2022Updated 4 years ago
- Genomic signature interpretation tool for DNA double-strand break repair mechanismβ11Oct 8, 2025Updated last year
- Generic implementation of different CFA families based on monadic decompositionβ23Jan 16, 2013Updated 13 years ago
- BOJ λνμ λ±μ§ λ° λ°°κ²½ μ 보λ₯Ό νμΈνλ νμ₯ νλ‘κ·Έλ¨β11Apr 4, 2026Updated 6 months ago
- ChessAgine MCP is a MCP server that gives AI agents access to chess domain knowledge.β34Sep 29, 2026Updated 2 weeks ago