Topik · linear-types

linear-types

Repositori open source terpantau bertanda linear-types, diurutkan berdasarkan bintang.

Repositori

1

Total bintang

1.573

Rata-rata bintang

1.573

Porsi

0,00%

Topik yang sering muncul berdampingan dengan linear-types di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda linear-types.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
austral ↗@australOCaml
Bahasa sistem dengan tipe linier dan keamanan berbasis kapabilitas.
★ 1.573+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik