awesome-repositories.com
博客
MCP
awesome-repositories.com

通过 AI 驱动的搜索，发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目MCP 服务器关于排名机制媒体报道
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

3 个仓库

Awesome GitHub RepositoriesCompiler-Inserted Reference Countings

Memory management where the compiler automatically inserts reference counting operations based on static capability analysis.

Distinct from Memory Reference Counting: Distinct from Memory Reference Counting: the reference counting is inserted by the compiler based on type capabilities, not manually managed by the programmer.

Explore 3 awesome GitHub repositories matching data & databases · Compiler-Inserted Reference Countings. Refine with filters or upvote what's useful.

Awesome Compiler-Inserted Reference Countings GitHub Repositories

用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
  • ponylang/ponycponylang 的头像

    ponylang/ponyc

    6,133在 GitHub 上查看↗

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

    Manages memory through compiler-inserted reference counting driven by reference capabilities, eliminating the need for a tracing garbage collector.

    Ponyactor-modelpony-languagepony-source
    在 GitHub 上查看↗6,133
  • koka-lang/kokakoka-lang 的头像

    koka-lang/koka

    3,936在 GitHub 上查看↗

    Koka 是一种具有代数效应系统的静态类型函数式编程语言。它使用强大的类型系统在编译时验证程序正确性并跟踪副作用。 该语言的特点是采用引用计数编译器，将源代码转换为原生 C 代码，消除了对跟踪垃圾回收器的需求。它采用基于感知的就地更新来减少内存开销，并利用尾递归模 cons 进行常量空间数据结构构建。 该系统提供了一个全面的标准库，涵盖了具有任意精度算术的数值运算、具有高效视图的字符串处理以及用于无限结构的共感数据建模。它还包括对硬件采样执行分析的内置支持，以及用于处理异常和异步流的可组合机制。

    Utilizes a compiler that automatically inserts reference counting for memory management without a garbage collector.

    Kokaalgebraic-effectseffect-handlershandler
    在 GitHub 上查看↗3,936
  • onthecodepath/ios-interview-questionsonthecodepath 的头像

    onthecodepath/iOS-Interview-Questions

    987在 GitHub 上查看↗

    This project is a curated collection of technical questions and answers designed to assist developers in preparing for software engineering interviews within the iOS ecosystem. It serves as a structured study tool for evaluating proficiency in mobile application architecture, system design, and core programming concepts. The repository provides a comprehensive reference for essential development topics, including memory management, concurrency, design patterns, and data persistence. By covering these foundational areas, it enables users to review common industry interview subjects and test th

    Covers memory management where the compiler automatically inserts reference counting operations based on static capability analysis.

    interview-practiceinterview-questionsios
    在 GitHub 上查看↗987
  1. Home
  2. Data & Databases
  3. Data Engineering and Infrastructure
  4. Data Persistence and Storage
  5. Data Storage Architectures
  6. Zero-Copy Memory Mappings
  7. Memory Reference Counting
  8. Compiler-Inserted Reference Countings