kaist-cp/circ external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

kaist-cp/circ

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/kaist-cp/circ)

Close

kaist-cp / circView on GitHubMore

• External links
• Readme badge

CIRC: Concurrent Immediate Reference Counting

☆55Nov 15, 2024Updated last year

Alternatives and similar repositories for circ

Users that are interested in circ are comparing it to the libraries listed below

• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Updated this week
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 4 months ago
• XiNiHa / solid-relay

  View on GitHub
  SolidJS bindings for Relay
  ☆39Updated this week
• kaist-cp / smr-benchmark

  View on GitHub
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆46Aug 12, 2025Updated 6 months ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• kaist-cp / cs492-uarch

  View on GitHub
  ☆45Nov 20, 2024Updated last year
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Oct 6, 2025Updated 5 months ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• botahamec / happylock

  View on GitHub
  Deadlock free mutexes
  ☆177Mar 30, 2025Updated 11 months ago
• hyn2028 / kecc-ir-highlight

  View on GitHub
  Support for language highlighting of KECC(KAIST Educational C Compiler) IR
  ☆12May 17, 2022Updated 3 years ago
• XiNiHa / relay-zed

  View on GitHub
  Relay support for Zed
  ☆10Sep 25, 2025Updated 5 months ago
• dahlia / dojang

  View on GitHub
  A cross-platform dotfiles manager
  ☆14Jan 19, 2026Updated last month
• kaist-cp / memento

  View on GitHub
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆19Apr 27, 2023Updated 2 years ago
• iritkatriel / finally

  View on GitHub
  ☆23Nov 20, 2024Updated last year
• portone-io / birecord

  View on GitHub
  Bi-directional record in type-safe way
  ☆17Sep 26, 2024Updated last year
• SabrinaJewson / pinned-aliasable.rs

  View on GitHub
  `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust
  ☆15Aug 27, 2022Updated 3 years ago
• Lulzx / hvm

  View on GitHub
  A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
  ☆31Feb 22, 2026Updated last week
• kaist-cp / shakeflow

  View on GitHub
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆57Jan 23, 2025Updated last year
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• dahlia / logtape-otel

  View on GitHub
  LogTape OpenTelemetry Sink
  ☆14Jun 12, 2025Updated 8 months ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Feb 18, 2026Updated 2 weeks ago
• JunbeomL22 / flashlog

  View on GitHub
  A Rust logging library. It's lazy, thus fast.
  ☆67Jan 31, 2026Updated last month
• ENvironmentSet / hyogwa

  View on GitHub
  Natural 🌿 effect system that fits TypeScript
  ☆62Aug 22, 2024Updated last year
• yoo2001818 / gb-emulator-js

  View on GitHub
  Gameboy Emulator in JS
  ☆15Aug 19, 2023Updated 2 years ago
• daangn / oauth-oidc-practice

  View on GitHub
  "쓰면서 배우는 OAuth 2.0 & OpenID Connect" 자료 저장소
  ☆24Jan 24, 2024Updated 2 years ago
• dahlia / deno-task-hooks

  View on GitHub
  A simple way to run Deno tasks as Git hooks
  ☆30Jun 21, 2024Updated last year
• gnoverse / tlin

  View on GitHub
  Advanced Linter for Gno
  ☆14Feb 16, 2026Updated 2 weeks ago
• kwanghoon / bidi

  View on GitHub
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Mar 23, 2022Updated 3 years ago
• gwyng-dev / react-form-mozard

  View on GitHub
  Compose multiple forms into a single form wizard using a monadic approach.
  ☆21Sep 28, 2025Updated 5 months ago
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• XiNiHa / relay-onboarding

  View on GitHub
  Relay 온보딩 세션용 슬라이드 + 예제 프로젝트 in TypeScript & ReScript
  ☆20May 9, 2023Updated 2 years ago
• haskell-kr / haskell-kr

  View on GitHub
  하스켈 모임 웹사이트 소스 코드
  ☆16Dec 8, 2021Updated 4 years ago
• bytecodealliance / weval

  View on GitHub
  the WebAssembly partial evaluator
  ☆119Feb 23, 2026Updated last week
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• kaist-cp / rv6

  View on GitHub
  ☆135Apr 3, 2023Updated 2 years ago
• GGJJack / TCP-Socket

  View on GitHub
  A TCP Socket library for Deno
  ☆10Sep 19, 2023Updated 2 years ago
• portone-io / tagged-md

  View on GitHub
  Transform tagged Markdown string to HTML during build time.
  ☆24May 22, 2023Updated 2 years ago
• polazarus / hipstr

  View on GitHub
  Yet another string type for Rust
  ☆93Jan 11, 2026Updated last month