Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 13 Nov 2024
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: 05 Dec 2024
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: 20 Dec 2024