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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)β21Apr 27, 2023Updated 3 years ago
- π A Rocq library written by members of PnV Discord Serverβ19Updated this week
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)β59Jan 23, 2025Updated last year
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemesβ48Jun 5, 2026Updated 2 months ago
- β46Nov 20, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An automatic, safe, and concurrent garbage collector for Rustβ18Jul 19, 2026Updated last month
- SolidJS bindings for Relayβ44Aug 26, 2026Updated last week
- A cross-platform dotfiles managerβ15Jul 30, 2026Updated last month
- Bridge Definition Languageβ19Jul 23, 2026Updated last month
- β76Nov 21, 2024Updated last year
- β14Feb 26, 2024Updated 2 years ago
- Relay support for Zedβ10Apr 4, 2026Updated 5 months ago
- The federated and networked oekaki boardβ23Updated this week
- Deadlock free mutexesβ177Mar 30, 2025Updated last year
- 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.
- Fast-forward merge for GitHubβ32Aug 25, 2026Updated last week
- A lightweight ActivityPub server framework in Rustβ22Aug 8, 2026Updated 3 weeks ago
- LogTape OpenTelemetry Sinkβ14Jun 12, 2025Updated last year
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rustβ15Aug 27, 2022Updated 4 years ago
- β19Nov 5, 2023Updated 2 years ago
- β35Nov 7, 2025Updated 9 months ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IRβ12May 17, 2022Updated 4 years ago
- π (WIP) Rewriting Software Foundations in Lean 4β35Aug 4, 2026Updated last month
- Natural πΏ effect system that fits TypeScriptβ62Aug 22, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- μΈμ λ μ΄μ΄ μ°λ κΈμ°κΈ° μ±β19Updated this week
- γνμ€κ΅μ΄λμ¬μ γ MCP μλ²β28Mar 29, 2026Updated 5 months ago
- A simple way to run Deno tasks as Git hooksβ30Jun 21, 2024Updated 2 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!β187Apr 14, 2026Updated 4 months ago
- WebAssembly interpreter in a Header (WAH)β63Jun 13, 2026Updated 2 months ago
- Advanced Linter for Gnoβ14Aug 24, 2026Updated last week
- β17Feb 12, 2026Updated 6 months ago
- A toy nanopass compiler for x86 written in leanβ15Oct 25, 2025Updated 10 months ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Rust implementation of the cdb (constant database) format with 64-bit support.β19May 13, 2026Updated 3 months ago
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33May 5, 2026Updated 3 months ago
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β29Aug 1, 2026Updated last month
- KAIST CS420: Compiler Designβ568Apr 3, 2025Updated last year
- β18Jan 6, 2026Updated 7 months ago
- Epoch-based garbage collectionβ82Nov 5, 2018Updated 7 years ago
- Deno Korea Community Websiteβ10Aug 25, 2022Updated 4 years ago