Projects in Awesome Lists tagged with ownership-types
A curated list of projects in awesome lists tagged with ownership-types .
https://github.com/cschreib/observable_unique_ptr
Unique-ownership smart pointers with observable lifetime.
cpp cpp17 header-only ownership-types smart-pointers
Last synced: 06 May 2025
https://github.com/ilyasergey/gradual-ownership
Experimental implementation of Gradual Ownership Types for Java 1.4
gradual-typing jastadd java ownership-types type-system
Last synced: 27 Mar 2025
https://github.com/idorobots/low-level-linear-logic-lisp-like-language
An implementation of a low-level VM that can execute linear-logic-based dialect of Lisp.
language-design lisp ownership-types
Last synced: 07 Apr 2025
