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

Découvrez les meilleurs dépôts open-source grâce à notre recherche par IA.

ExplorerRecherches sélectionnéesAlternatives open sourceLogiciels auto-hébergésBlogPlan du site
ProjetServeur MCPÀ proposNotre méthodologiePresse
Mentions légalesConfidentialitéConditions d'utilisation
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

3 dépôts

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

Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
  • ponylang/ponycAvatar de ponylang

    ponylang/ponyc

    6,133Voir sur 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
    Voir sur GitHub↗6,133
  • koka-lang/kokaAvatar de koka-lang

    koka-lang/koka

    3,936Voir sur GitHub↗

    Koka is a statically typed functional programming language featuring an algebraic effect system. It uses a strong type system to verify program correctness and track side effects at compile time. The language is distinguished by a reference counting compiler that transforms source code into native C code, eliminating the need for a tracing garbage collector. It employs perceive-based in-place updates to reduce memory overhead and utilizes tail recursion modulo cons for constant-space data structure construction. The system provides a comprehensive standard library covering numeric operations

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

    Kokaalgebraic-effectseffect-handlershandler
    Voir sur GitHub↗3,936
  • onthecodepath/ios-interview-questionsAvatar de onthecodepath

    onthecodepath/iOS-Interview-Questions

    987Voir sur GitHub↗

    Ce projet est une collection organisée de questions et réponses techniques conçues pour aider les développeurs à se préparer aux entretiens en ingénierie logicielle au sein de l'écosystème iOS. Il sert d'outil d'étude structuré pour évaluer la maîtrise de l'architecture d'applications mobiles, de la conception de systèmes et des concepts fondamentaux de programmation. Le dépôt fournit une référence complète pour les sujets de développement essentiels, incluant la gestion de la mémoire, la concurrence, les modèles de conception et la persistance des données. En couvrant ces domaines fondamentaux, il permet aux utilisateurs de réviser les sujets d'entretien courants de l'industrie et de tester leur compréhension de la manière de structurer la logique d'application et de gérer efficacement les ressources système. Le contenu couvre un large éventail de domaines techniques, de l'implémentation des contraintes d'interface et de la gestion du cycle de vie des vues à l'application de techniques de test et de débogage automatisés. Ces matériaux sont organisés pour aider les développeurs à identifier les domaines nécessitant une étude plus approfondie et à affiner leur connaissance des pratiques standards utilisées pour maintenir des applications mobiles fiables et réactives.

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

    interview-practiceinterview-questionsios
    Voir sur 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