ownership-types

There are 0 repository under ownership-types topic.

• cschreib / observable_unique_ptr

  Unique-ownership smart pointers with observable lifetime.

  cppcpp17header-onlyownership-typessmart-pointers
  Language:C++ 33

• marcoonroad / ownership-disciplines

  My own personal list of ownership policies. :microscope: :books: :question: :thinking: [Work in Progress]

  ownershipownership-objectsownership-typestype-systemprogramming-language-theoryownership-policiesownership-disciplinetype-theory
  Language:Ruby 3

• ilyasergey / Gradual-Ownership

  Experimental implementation of Gradual Ownership Types for Java 1.4

  gradual-typingownership-typesjavatype-systemjastadd
  1

• Idorobots / low-level-linear-logic-lisp-like-language

  An implementation of a low-level VM that can execute linear-logic-based dialect of Lisp.

  lisplanguage-designownership-types
  Language:Racket