awesome-repositories.com
Blog
MCP
awesome-repositories.com

Descoperă cele mai bune repository-uri open source cu căutare AI.

ExploreazăCăutări recomandateAlternative open-sourceSoftware self-hostedBlogHartă site
ProiectServer MCPDespreCum realizăm clasamentulPresă
LegalConfidențialitateTermeni
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

3 repository-uri

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

Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
  • ponylang/ponycAvatar ponylang

    ponylang/ponyc

    6,133Vezi pe 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
    Vezi pe GitHub↗6,133
  • koka-lang/kokaAvatar koka-lang

    koka-lang/koka

    3,936Vezi pe GitHub↗

    Koka este un limbaj de programare funcțional, tipizat static, care dispune de un sistem de efecte algebrice. Utilizează un sistem de tipuri puternic pentru a verifica corectitudinea programului și a urmări efectele secundare la momentul compilării. Limbajul se distinge printr-un compilator cu numărare de referințe care transformă codul sursă în cod C nativ, eliminând nevoia unui garbage collector de tip tracing. Utilizează actualizări in-place bazate pe percepție pentru a reduce overhead-ul de memorie și folosește recursivitatea pe coadă modulo cons pentru construcția structurilor de date cu spațiu constant. Sistemul oferă o bibliotecă standard cuprinzătoare care acoperă operațiuni numerice cu aritmetică de precizie arbitrară, procesarea șirurilor de caractere cu vizualizări eficiente și modelarea datelor co-inductive pentru structuri infinite. Include, de asemenea, suport integrat pentru profilarea execuției prin eșantionare hardware și un mecanism compozabil pentru gestionarea excepțiilor și a fluxurilor asincrone.

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

    Kokaalgebraic-effectseffect-handlershandler
    Vezi pe GitHub↗3,936
  • onthecodepath/ios-interview-questionsAvatar onthecodepath

    onthecodepath/iOS-Interview-Questions

    987Vezi pe 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
    Vezi pe 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