Topik · type-system

type-system

Repositori open source terpantau bertanda type-system, diurutkan berdasarkan bintang.

Repositori

8

Total bintang

62.570

Rata-rata bintang

7.821

Porsi

0,00%

Topik yang sering muncul berdampingan dengan type-system di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda type-system.

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

#1
type-challenges ↗@type-challengesTypeScript
Kumpulan tantangan tipe TypeScript dengan penguji daring
★ 48.485+31Perubahan bintang dalam 7 hari terakhir
#2
typedb ↗@typedbRust
TypeDB: Dibuat untuk sistem, bukan sekadar catatan.
★ 4.435+10Perubahan bintang dalam 7 hari terakhir
#3
zui ↗@brimdataTypeScript
Zui adalah aplikasi desktop yang andal untuk menjelajahi dan mengolah data. Front-end resmi untuk Zed lake.
★ 1.968-1Perubahan bintang dalam 7 hari terakhir
#4
HypeScript ↗@ronamiTypeScript
🐬 Implementasi sederhana dari sistem tipe TypeScript yang ditulis dalam sistem tipe TypeScript
★ 1.965+1Perubahan bintang dalam 7 hari terakhir
#5
typed-japanese ↗@typedgrammarTypeScript
🌸 Belajar tata bahasa Jepang dengan TypeScript
★ 1.945+0Perubahan bintang dalam 7 hari terakhir
#6
hash ↗@hashintelTypeScript
🚀 Platform open-source multi-tenant untuk membangun knowledge graph dan simulasi secara mandiri
★ 1.649+4Perubahan bintang dalam 7 hari terakhir
#7
datatype99 ↗@hirrolotC
Tipe data aljabar untuk C99
★ 1.508+0Perubahan bintang dalam 7 hari terakhir
#8
Gradualizer ↗@josefsErlang
Sistem tipe bertahap (gradual type system) untuk Erlang
★ 618+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik