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

Entdecke die besten Open-Source-Repositories mit KI-gestützter Suche.

EntdeckenKuratierte SuchenOpen-Source-AlternativenSelf-hosted SoftwareBlogSitemap
ProjektMCP-ServerÜber unsRanking-MethodikPresse
RechtlichesDatenschutzAGB
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

3 Repos

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

Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
  • ponylang/ponycAvatar von ponylang

    ponylang/ponyc

    6,133Auf GitHub ansehen↗

    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
    Auf GitHub ansehen↗6,133
  • koka-lang/kokaAvatar von koka-lang

    koka-lang/koka

    3,936Auf GitHub ansehen↗

    Koka ist eine statisch typisierte funktionale Programmiersprache mit einem algebraischen Effektsystem. Sie verwendet ein starkes Typsystem, um die Korrektheit von Programmen zu verifizieren und Seiteneffekte zur Kompilierzeit zu verfolgen. Die Sprache zeichnet sich durch einen Referenzzählungs-Compiler aus, der Quellcode in nativen C-Code umwandelt, wodurch ein Garbage Collector überflüssig wird. Sie verwendet wahrnehmungsbasierte In-Place-Updates, um den Speicher-Overhead zu reduzieren, und nutzt Tail Recursion Modulo Cons für die Konstruktion von Datenstrukturen mit konstantem Speicherbedarf. Das System bietet eine umfassende Standardbibliothek, die numerische Operationen mit beliebiger Präzisionsarithmetik, String-Verarbeitung mit effizienten Views und koinduktive Datenmodellierung für unendliche Strukturen abdeckt. Sie enthält zudem integrierte Unterstützung für hardware-sampling-basiertes Ausführungs-Profiling sowie einen komponierbaren Mechanismus zur Behandlung von Exceptions und asynchronen Abläufen.

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

    Kokaalgebraic-effectseffect-handlershandler
    Auf GitHub ansehen↗3,936
  • onthecodepath/ios-interview-questionsAvatar von onthecodepath

    onthecodepath/iOS-Interview-Questions

    987Auf GitHub ansehen↗

    Dieses Projekt ist eine kuratierte Sammlung technischer Fragen und Antworten, die Entwicklern bei der Vorbereitung auf Software-Engineering-Interviews innerhalb des iOS-Ökosystems helfen sollen. Es dient als strukturiertes Lerntool zur Bewertung der Kompetenz in mobiler Anwendungsarchitektur, Systemdesign und grundlegenden Programmierkonzepten. Das Repository bietet eine umfassende Referenz für wesentliche Entwicklungsthemen, einschließlich Speicherverwaltung, Nebenläufigkeit, Design-Patterns und Datenpersistenz. Durch die Abdeckung dieser grundlegenden Bereiche ermöglicht es Benutzern, gängige Industrie-Interviewthemen zu überprüfen und ihr Verständnis dafür zu testen, wie Anwendungslogik strukturiert und Systemressourcen effektiv verwaltet werden. Der Inhalt erstreckt sich über ein breites Spektrum technischer Domänen, von der Implementierung von Interface-Constraints und View-Lebenszyklusmanagement bis zur Anwendung automatisierter Test- und Debugging-Techniken. Diese Materialien sind so organisiert, dass sie Entwicklern helfen, Bereiche für weiteres Studium zu identifizieren und ihr Wissen über die Standardpraktiken zu verfeinern, die zur Aufrechterhaltung zuverlässiger und reaktionsschneller mobiler Anwendungen verwendet werden.

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

    interview-practiceinterview-questionsios
    Auf GitHub ansehen↗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