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
Sorting:
- β10Nov 20, 2023Updated 2 years ago
- π A Rocq library written by members of PnV Discord Serverβ19Updated this week
- π (WIP) Rewriting Software Foundations in Lean 4β28Oct 24, 2025Updated 4 months ago
- SolidJS bindings for Relayβ39Updated this week
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemesβ46Aug 12, 2025Updated 6 months ago
- β14Feb 26, 2024Updated 2 years ago
- β45Nov 20, 2024Updated last year
- WebAssembly interpreter in a Header (WAH)β31Oct 6, 2025Updated 5 months ago
- β75Nov 21, 2024Updated last year
- Deadlock free mutexesβ177Mar 30, 2025Updated 11 months ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IRβ12May 17, 2022Updated 3 years ago
- Relay support for Zedβ10Sep 25, 2025Updated 5 months ago
- A cross-platform dotfiles managerβ14Jan 19, 2026Updated last month
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)β19Apr 27, 2023Updated 2 years ago
- β23Nov 20, 2024Updated last year
- Bi-directional record in type-safe wayβ17Sep 26, 2024Updated last year
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rustβ15Aug 27, 2022Updated 3 years ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.β31Feb 22, 2026Updated last week
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)β57Jan 23, 2025Updated last year
- β36Nov 7, 2025Updated 3 months ago
- LogTape OpenTelemetry Sinkβ14Jun 12, 2025Updated 8 months ago
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β20Feb 18, 2026Updated 2 weeks ago
- A Rust logging library. It's lazy, thus fast.β67Jan 31, 2026Updated last month
- Natural πΏ effect system that fits TypeScriptβ62Aug 22, 2024Updated last year
- Gameboy Emulator in JSβ15Aug 19, 2023Updated 2 years ago
- "μ°λ©΄μ λ°°μ°λ OAuth 2.0 & OpenID Connect" μλ£ μ μ₯μβ24Jan 24, 2024Updated 2 years ago
- A simple way to run Deno tasks as Git hooksβ30Jun 21, 2024Updated last year
- Advanced Linter for Gnoβ14Feb 16, 2026Updated 2 weeks ago
- bidirectional type checking algorithms for higher-ranked polymorphismβ19Mar 23, 2022Updated 3 years ago
- Compose multiple forms into a single form wizard using a monadic approach.β21Sep 28, 2025Updated 5 months ago
- β19Nov 5, 2023Updated 2 years ago
- Relay μ¨λ³΄λ© μΈμ μ© μ¬λΌμ΄λ + μμ νλ‘μ νΈ in TypeScript & ReScriptβ20May 9, 2023Updated 2 years ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- the WebAssembly partial evaluatorβ119Feb 23, 2026Updated last week
- β17May 29, 2023Updated 2 years ago
- β135Apr 3, 2023Updated 2 years ago
- A TCP Socket library for Denoβ10Sep 19, 2023Updated 2 years ago
- Transform tagged Markdown string to HTML during build time.β24May 22, 2023Updated 2 years ago
- Yet another string type for Rustβ93Jan 11, 2026Updated last month