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:
- β10Nov 20, 2023Updated 2 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)β57Jan 23, 2025Updated last year
- β46Nov 20, 2024Updated last year
- π (WIP) Rewriting Software Foundations in Lean 4β28Oct 24, 2025Updated 5 months ago
- DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemesβ46Aug 12, 2025Updated 7 months ago
- WebAssembly interpreter in a Header (WAH)β31Updated this week
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.β32Feb 22, 2026Updated last month
- Relay support for Zedβ10Sep 25, 2025Updated 6 months ago
- β14Feb 26, 2024Updated 2 years ago
- Deadlock free mutexesβ176Mar 30, 2025Updated 11 months ago
- LogTape OpenTelemetry Sinkβ14Jun 12, 2025Updated 9 months ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IRβ12May 17, 2022Updated 3 years ago
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rustβ15Aug 27, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrencyβ43Mar 4, 2026Updated 3 weeks ago
- The federated and networked oekaki boardβ21Feb 6, 2026Updated last month
- A cross-platform dotfiles managerβ14Jan 19, 2026Updated 2 months ago
- Natural πΏ effect system that fits TypeScriptβ62Aug 22, 2024Updated last year
- β23Nov 20, 2024Updated last year
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β21Feb 18, 2026Updated last month
- A simple way to run Deno tasks as Git hooksβ30Jun 21, 2024Updated last year
- A Rust logging library. It's lazy, thus fast.β67Jan 31, 2026Updated last month
- Prototype for https://github.com/Innf107/vegaβ19Jul 22, 2024Updated last year
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!β180Jun 13, 2025Updated 9 months ago
- Bi-directional record in type-safe wayβ17Sep 26, 2024Updated last year
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Editionβ10Jan 4, 2023Updated 3 years ago
- KAIST CS420: Compiler Designβ555Apr 3, 2025Updated 11 months ago
- the WebAssembly partial evaluatorβ119Mar 4, 2026Updated 3 weeks ago
- Epoch-based garbage collectionβ82Nov 5, 2018Updated 7 years ago
- AI-powered CLI tool to automatically organize your GitHub Stars into Lists.β46Feb 3, 2026Updated last month
- automatially find crashes in the rust compiler & toolingβ81Apr 15, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Enable support for try expressions in JavaScript toolsβ37Mar 16, 2026Updated last week
- Deno Korea Community Websiteβ10Aug 25, 2022Updated 3 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLitsβ16Jul 25, 2024Updated last year
- A lightweight implementation of the Unicode Text Segmentation (UAX #29)β98Jan 28, 2026Updated last month
- Colored pencil or highlighter to use in Neovimβ10Feb 8, 2025Updated last year
- (μ£Ό)λ€μκ³Ό λΆμ°λνκ΅ μΈκ³΅μ§λ₯μ°κ΅¬μ€/(μ£Ό)λλΌμΈν¬ν ν¬μ μΉ μλΉμ€λ₯Ό μ΄μ©ν νκΈ λ§μΆ€λ² κ²μ¬κΈ°.β26Apr 22, 2023Updated 2 years ago
- "μ°λ©΄μ λ°°μ°λ OAuth 2.0 & OpenID Connect" μλ£ μ μ₯μβ24Jan 24, 2024Updated 2 years ago