we are getting to the very core of what makes computers capable of reasoning.
8
Kamu depoları
34.911
Toplam yıldız
2.675
Takipçiler
HigherOrderCO, GitHub'da geniş bir açık kaynak projesi yelpazesi sunmaktadır. Rust, Haskell, Cuda, C ve TypeScript gibi çeşitli dillerde yazılmış projeleri ile dikkat çekmektedir. Öne çıkan depoları arasında Bend ve HVM2 yer alıyor, bu projeler hesaplamalı düşünme yeteneklerini geliştirmeyi amaçlamaktadır.
En popüler diller
Kamu depoları
Bend
A massively parallel, high-level programming language
HVM2
A massively parallel, optimal functional runtime in Rust
Kind
A modern proof language
HVM3
HVM3
HVM4
Bu depo için açıklama sağlanmadı.
HVM1
A massively parallel, optimal functional runtime in Rust
bench
Benchmarks for HVM and Bend
.github
Bu depo için açıklama sağlanmadı.
Sıkça sorulan sorular
HigherOrderCO GitHub'da ne tür projeler geliştiriyor?
HigherOrderCO, hesaplama yeteneklerini geliştiren çeşitli projeler geliştirmektedir. Bend, yüksek seviyeli programlama dili, HVM2 ise optimizasyon amaçlı bir işlevsel çalışma zamanı sunmaktadır.
HigherOrderCO hangi programlama dillerini kullanıyor?
HigherOrderCO, Rust, Haskell, Cuda, C ve TypeScript gibi birçok programlama dilini kullanmaktadır. Bu diller, projelerinin farklı yönlerine hizmet etmektedir.
HigherOrderCO'nun depoları halka açık mı?
Evet, HigherOrderCO'nun tüm depoları halka açıktır. Bu sayede, projelerinin kaynak kodlarına ve güncellemelerine herkes erişim sağlayabilir.
Bu ifşa amaçlı mı?
HigherOrderCO ile RepoGuard'ı izleyin ve yeni bir kamu deposu belirdiğinde anında uyarı alın.
Bu hesabı izleyin