Alternatives and similar repositories for kecc-ir-highlight

Users that are interested in kecc-ir-highlight are comparing it to the libraries listed below

• 0x1f440 / Catscape

  View on GitHub
  😼Help the cat escape
  ☆10May 10, 2020Updated 5 years ago
• kaist-cp / rv6

  View on GitHub
  ☆135Apr 3, 2023Updated 2 years ago
• codingskynet / concurrent-data-structure

  View on GitHub
  Concurrent Data Structure for Rust
  ☆29Dec 25, 2022Updated 3 years ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆54Nov 15, 2024Updated last year
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• sprintseoul / history

  View on GitHub
  Event history
  ☆12Jun 29, 2024Updated last year
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆29Oct 24, 2025Updated 3 months ago
• simnalamburt / elb-log-parser

  View on GitHub
  Simple AWS ELB log parser which parses Classic LB and ALB logs into JSONs
  ☆18May 2, 2025Updated 9 months ago
• devsisters / checkpoint

  View on GitHub
  Kubernetes policy checker
  ☆46Aug 1, 2024Updated last year
• lablup / callosum

  View on GitHub
  An RPC Transport Library for asyncio
  ☆21Jan 22, 2026Updated 3 weeks ago
• kaist-cp / kecc-public

  View on GitHub
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆179Jun 13, 2025Updated 8 months ago
• utilForever / CubbyCity

  View on GitHub
  Analyze the causes of urban engineering problems such as gentrification
  ☆22Sep 13, 2019Updated 6 years ago
• ANLAB-KAIST / KENSv3

  View on GitHub
  This is an auto-generated repository from the whole source code, without reference solution source codes.
  ☆151Mar 16, 2025Updated 11 months ago
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Dec 19, 2025Updated last month
• planetarium / lib9c

  View on GitHub
  Lib9c is a library that contains key implementations of Nine Chronicles, a decentralized RPG developed with Libplanet. Lib9c includes Nin…
  ☆28Feb 5, 2026Updated last week
• Cysharp / CompilerBrain

  View on GitHub
  CLI Coding Agent not for Vibe-coding, for C# Expert.
  ☆103Dec 25, 2025Updated last month
• veerashayyagari / llmsharp-tokenizers

  View on GitHub
  BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings
  ☆14Oct 5, 2023Updated 2 years ago
• JTorresConsulta / TailwindCSS-offline

  View on GitHub
  All the Tailwind CSS v3.4.1 basic classes in one css file to work offline
  ☆13Jan 14, 2024Updated 2 years ago
• ilotoki0804 / fieldenum

  View on GitHub
  Rust-like fielded Enums (ADT) in Python
  ☆33Sep 12, 2025Updated 5 months ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• Nyrest / cpu-optimizer-bg3

  View on GitHub
  Elevate the CPU Priority of the game process. Improve overall performance and Prevent stutters caused by other processes.
  ☆11Mar 24, 2025Updated 10 months ago
• vnxfsc / fourmeme_parser_sdk

  View on GitHub
  A powerful Rust SDK for real-time listening and parsing Fourmeme contract events on BSC, with automatic tracking of token lifecycle from …
  ☆51Oct 9, 2025Updated 4 months ago
• 0ctobyte / arm4th

  View on GitHub
  Minimal Forth interpreter for ARMv7 machines
  ☆10Jul 26, 2017Updated 8 years ago
• rust-kr / browser-engineering

  View on GitHub
  Web Browser Engineering
  ☆42Jun 29, 2022Updated 3 years ago
• sendaifun / skills

  View on GitHub
  a public marketplace of all solana-related skills for agents to learn from!
  ☆43Feb 4, 2026Updated last week
• lepoco / radiograph_

  View on GitHub
  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
• flyweightrocks / aws-ec2-action

  View on GitHub
  Start and Stop AWS EC2 Instances
  ☆12Sep 9, 2021Updated 4 years ago
• fedemagnani / optimization-solvers

  View on GitHub
  Composable numerical solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust. WASM compatible
  ☆13Jul 10, 2025Updated 7 months ago
• doomoolmori / colleagues

  View on GitHub
  두물머리의 새 동료를 찾습니다.
  ☆14Jan 18, 2019Updated 7 years ago
• Kwabang / chzzk-sdk

  View on GitHub
  ☆10Sep 18, 2024Updated last year
• hankes-garden / capacitive_screen

  View on GitHub
  ☆12Jan 18, 2018Updated 8 years ago
• auejin / vzzk-bot

  View on GitHub
  브이찍 - 치지직 스트리머를 위한 방송 채팅봇 & 매크로 프로그램
  ☆16Updated this week
• KeithHanson / c9-docker-compose

  View on GitHub
  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
• Nyrest / AncientMysteriesMod

  View on GitHub
  Duck Game mod
  ☆11Jun 11, 2024Updated last year
• parksb / daily-news-for-trainee

  View on GitHub
  🗞️ 고립된 훈련병을 위한 종합 뉴스
  ☆40Dec 10, 2022Updated 3 years ago
• planetarium / NineChronicles.Headless

  View on GitHub
  A headless node of NineChronicles game network, powered by Libplanet.
  ☆37Jan 28, 2026Updated 2 weeks ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• derekargueta / selenium-profiler

  View on GitHub
  Automatically exported from code.google.com/p/selenium-profiler
  ☆10Mar 16, 2015Updated 10 years ago
• MeilCli / setup-crystal-action

  View on GitHub
  setup Crystal action for GitHub Actions.
  ☆11Mar 7, 2024Updated last year