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
- Type-safe GitHub Actions workflows in TypeScript, GitHub Actions Justified Improvementsβ27Sep 6, 2026Updated 3 weeks 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 5 months 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.
- 2025λ κ΅λ―Όλνκ΅ KPSC + AIM μ€ν°λ - κ°ννμ΅μ μ΄μ©ν μ²΄μ€ AI λ§λ€κΈ°β13Jun 22, 2025Updated last year
- λ°±μ€ λ λ°λ¨ΉκΈ° (Legacy repo)β19Jan 1, 2026Updated 8 months ago
- C++λ‘ λ₯λ¬λ, λ¨Έμ λ¬λ λͺ¨λΈ ꡬνβ10Mar 25, 2021Updated 5 years ago
- A cross-platform dotfiles managerβ15Jul 30, 2026Updated last month
- Mod that allows you to convert picture to certain Geometry Dash Objects.β17Jun 19, 2025Updated last year
- Advanced Linter for Gnoβ14Sep 15, 2026Updated last week
- μλ λ κ°μ΅ λ§€λ΄μΌβ22Sep 2, 2024Updated 2 years ago
- Simple protogen firmware ^w^β19Jan 28, 2026Updated 7 months ago
- β10Nov 20, 2023Updated 2 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.
- A Lambda expression compiler targeting web assembly.β20Aug 7, 2024Updated 2 years ago
- Natural πΏ effect system that fits TypeScriptβ62Aug 22, 2024Updated 2 years ago
- β14Feb 26, 2024Updated 2 years ago
- β17Feb 12, 2026Updated 7 months ago
- A lightweight ActivityPub server framework in Rustβ24Aug 8, 2026Updated last month
- 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
- β35Nov 7, 2025Updated 10 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.
- With TaskCreationHelper, you can create tasks for Business Programmers much easier.β10Mar 4, 2024Updated 2 years ago
- The federated and networked oekaki boardβ23Updated this week
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- 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 last month
- TypeScript compiler and JavaScript engine in Leanβ66Updated this week
- Modified version of QPBO algorithm by Vladimir Kolmogorov for very large graphs.β12Dec 14, 2018Updated 7 years ago
- μ€ν¬λ¦½νΈ ν μΉ λΉμ£ΌμΌλ Έλ²¨ λΌμ΄λΈλ¬λ¦¬β15Jun 8, 2023Updated 3 years ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IRβ12May 17, 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.
- Genomic signature interpretation tool for DNA double-strand break repair mechanismβ11Oct 8, 2025Updated 11 months ago
- μΈμ λ μ΄μ΄ μ°λ κΈμ°κΈ° μ±β21Updated this week
- Rust μ½λλ₯Ό μ»΄νμΌν ν μ€ν νμΌμ μ¨λΌμΈ μ±μ νκ²½μ μ μΆν μ μλλ‘ λ³νν©λλ€.β142Jun 15, 2026Updated 3 months ago
- BOJ λνμ λ±μ§ λ° λ°°κ²½ μ 보λ₯Ό νμΈνλ νμ₯ νλ‘κ·Έλ¨β11Apr 4, 2026Updated 5 months ago
- Generic implementation of different CFA families based on monadic decompositionβ23Jan 16, 2013Updated 13 years ago
- WebAssembly interpreter in a Header (WAH)β65Jun 13, 2026Updated 3 months ago
- ChessAgine MCP is a MCP server that gives AI agents access to chess domain knowledge.β31Sep 15, 2026Updated last week