Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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