Support for language highlighting of KECC(KAIST Educational C Compiler) IR
โ12May 17, 2022Updated 3 years ago
Alternatives and similar repositories for kecc-ir-highlight
Users that are interested in kecc-ir-highlight are comparing it to the libraries listed below
Sorting:
- ๐ผHelp the cat escapeโ10May 10, 2020Updated 5 years ago
- A library which provides simple functional pattern matching. (PoC)โ10Feb 19, 2020Updated 6 years ago
- Concurrent Data Structure for Rustโ29Dec 25, 2022Updated 3 years ago
- โ10Nov 20, 2023Updated 2 years ago
- CIRC: Concurrent Immediate Reference Countingโ55Nov 15, 2024Updated last year
- Event historyโ12Jun 29, 2024Updated last year
- A simple blob sign generatorโ15May 12, 2022Updated 3 years ago
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ28Oct 24, 2025Updated 4 months ago
- Upscale Twitch stream and restream into Twitch or RTMP or File.โ16Sep 16, 2023Updated 2 years ago
- A simple Rust and WebAssembly example implementing the Game of Lifeโ15Aug 4, 2021Updated 4 years ago
- 2022๋ ์จ๋ผ์ธ ์คํฐ๋ - Rust๋ก ๋ง๋๋ ์ปดํ์ผ๋ฌโ33Feb 15, 2022Updated 4 years ago
- Simple AWS ELB log parser which parses Classic LB and ALB logs into JSONsโ18May 2, 2025Updated 10 months ago
- Kubernetes policy checkerโ46Aug 1, 2024Updated last year
- An RPC Transport Library for asyncioโ21Jan 22, 2026Updated last month
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!โ178Jun 13, 2025Updated 8 months ago
- Analyze the causes of urban engineering problems such as gentrificationโ22Sep 13, 2019Updated 6 years ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.โ151Mar 16, 2025Updated 11 months ago
- Libplanet-based sample clicker gameโ30Jun 21, 2022Updated 3 years ago
- โ55Dec 19, 2025Updated 2 months ago
- Lib9c is a library that contains key implementations of Nine Chronicles, a decentralized RPG developed with Libplanet. Lib9c includes Ninโฆโ28Updated this week
- Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500โ25Jan 27, 2021Updated 5 years ago
- CLI Coding Agent not for Vibe-coding, for C# Expert.โ104Dec 25, 2025Updated 2 months ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offeringsโ15Oct 5, 2023Updated 2 years ago
- โ36Nov 7, 2025Updated 4 months ago
- โ23Apr 1, 2021Updated 4 years ago
- The .NET data provider for GaussDB.โ10Nov 19, 2025Updated 3 months ago
- Duck Game modโ11Jun 11, 2024Updated last year
- A powerful Rust SDK for real-time listening and parsing Fourmeme contract events on BSC, with automatic tracking of token lifecycle from โฆโ52Oct 9, 2025Updated 5 months ago
- ๋๋ฌผ๋จธ๋ฆฌ์ ์ ๋๋ฃ๋ฅผ ์ฐพ์ต๋๋ค.โ14Jan 18, 2019Updated 7 years ago
- Web Browser Engineeringโ42Jun 29, 2022Updated 3 years ago
- ๋ธ์ด์ฐ - ์น์ง์ง ์คํธ๋ฆฌ๋จธ๋ฅผ ์ํ ๋ฐฉ์ก ์ฑํ ๋ด & ๋งคํฌ๋ก ํ๋ก๊ทธ๋จโ16Updated this week
- Composable numerical solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust. WASM compatibleโ14Jul 10, 2025Updated 7 months ago
- Deploy a dedicated or consumption based Function App with all dependencies and minimal configโ11Apr 12, 2018Updated 7 years ago
- Start and Stop AWS EC2 Instancesโ12Sep 9, 2021Updated 4 years ago
- Implementation of a transfer hook which allows for OFAC style sanctioned addressesโ11Feb 3, 2025Updated last year
- Minimal Forth interpreter for ARMv7 machinesโ10Jul 26, 2017Updated 8 years ago
- Universal tool for managing your computer. Monitoring of temperatures and power consumption, checking the health status of hard drives anโฆโ10Feb 13, 2022Updated 4 years ago
- Docker compose setup that makes it simple to run one or multiple headless miners for Nine Chronicles, a blockchain-based idle game I someโฆโ11Jan 27, 2021Updated 5 years ago
- โ39Dec 7, 2021Updated 4 years ago