Topik · programming-language

programming-language

Repositori open source terpantau bertanda programming-language, diurutkan berdasarkan bintang.

191 repositori

#61
FStar ↗@FStarLangF*
Bahasa pemrograman yang berorientasi pada pembuktian
★ 3.103+4Perubahan bintang dalam 7 hari terakhir
#62
jakt ↗@SerenityOSC++
Bahasa Pemrograman Jakt
★ 2.988-1Perubahan bintang dalam 7 hari terakhir
#63
ispc ↗@ispcC++
Intel® Implicit SPMD Program Compiler
★ 2.950+0Perubahan bintang dalam 7 hari terakhir
#64
agda ↗@agdaHaskell
Agda adalah bahasa pemrograman dengan pengetikan dependen / pembuktian teorema interaktif.
★ 2.922+3Perubahan bintang dalam 7 hari terakhir
#65
erg ↗@erg-langRust
Bahasa dengan pengetikan statis yang kompatibel dengan Python
★ 2.859-1Perubahan bintang dalam 7 hari terakhir
#66
Beef ↗@beefytechC++
Bahasa Pemrograman Beef
★ 2.846+0Perubahan bintang dalam 7 hari terakhir
#67
Computer-Science-Resources ↗@the-akira
Kumpulan sumber daya yang mencakup bidang-bidang utama Ilmu Komputer.
★ 2.809+2Perubahan bintang dalam 7 hari terakhir
#68
awesome-tensor-compilers ↗@merrymercy
Daftar proyek dan makalah kompilator luar biasa untuk komputasi tensor dan deep learning.
★ 2.776+1Perubahan bintang dalam 7 hari terakhir
#69
flix ↗@flixFlix
Bahasa Pemrograman Flix
★ 2.734+0Perubahan bintang dalam 7 hari terakhir
#70
zig-book ↗@pedropark99Zig
Buku pengantar teknis terbuka untuk bahasa pemrograman Zig 📚📖
★ 2.687+3Perubahan bintang dalam 7 hari terakhir
#71
numbat ↗@sharkdpRust
Bahasa pemrograman dengan pengetikan statis untuk komputasi ilmiah dengan dukungan kelas satu untuk dimensi dan satuan fisik
★ 2.675+4Perubahan bintang dalam 7 hari terakhir
#72
steel ↗@mattwparasRust
Interpreter skema tertanam dalam Rust
★ 2.564+7Perubahan bintang dalam 7 hari terakhir
#73
ACM-ICPC-Preparation ↗@BedirTC++
Panduan Persiapan ACM-ICPC
★ 2.500+2Perubahan bintang dalam 7 hari terakhir
#74
CS-Ebook ↗@lining808Python
Daftar rekomendasi buku komputer klasik berkualitas tinggi, dengan fitur: hanya mengumpulkan buku berkualitas tinggi dan klasik dari berbagai bidang, tidak mencari kuantitas, hanya fokus pada kualitas.
★ 2.443+0Perubahan bintang dalam 7 hari terakhir
#75
nelua-lang ↗@edubartLua
Bahasa pemrograman sistem yang minimal, efisien, bertipe statis, dan dapat diprogram secara meta yang sangat terinspirasi oleh Lua, dikompilasi ke C dan kode natif.
★ 2.416+0Perubahan bintang dalam 7 hari terakhir
#76
kcl ↗@kcl-langRust
Inti dan API Bahasa Pemrograman KCL (Proyek CNCF Sandbox). https://kcl-lang.io
★ 2.408+4Perubahan bintang dalam 7 hari terakhir
#77
CreepyCodeCollection ↗@MinhasKamalC
Koleksi Kode Konyol yang Menjijikkan
★ 2.400-1Perubahan bintang dalam 7 hari terakhir
#78
moonbit-docs ↗@moonbitlangMoonBit
Dokumentasi bahasa pemrograman MoonBit
★ 2.400+8Perubahan bintang dalam 7 hari terakhir
#79
catala ↗@CatalaLangOCaml
Bahasa pemrograman untuk spesifikasi hukum pemrograman literasi
★ 2.373+4Perubahan bintang dalam 7 hari terakhir
#80
rune ↗@rune-rsRust
Bahasa pemrograman dinamis yang dapat disematkan untuk Rust.
★ 2.317+3Perubahan bintang dalam 7 hari terakhir
#81
nature ↗@nature-langC
Bahasa Pemrograman Nature
★ 2.254+0Perubahan bintang dalam 7 hari terakhir
#82
dark ↗@darklangF#
Repositori utama Darklang, mencakup bahasa, backend, dan infrastruktur
★ 2.169+0Perubahan bintang dalam 7 hari terakhir
#83
awesome-games-of-coding ↗@michelpereira
Daftar pilihan permainan yang dapat mengajarkan Anda cara mempelajari bahasa pemrograman.
★ 2.149+0Perubahan bintang dalam 7 hari terakhir
#84
pocketpy ↗@pocketpyC
Interpreter Python 3.x portabel dalam C modern untuk skrip game.
★ 2.113+1Perubahan bintang dalam 7 hari terakhir
#85
umka-lang ↗@vtereshkovC
Umka: bahasa skrip yang dapat disematkan dengan pengetikan statis
★ 2.098+5Perubahan bintang dalam 7 hari terakhir
#86
command-line-rust ↗@kyclarkRust
Kode untuk Command-Line Rust (O'Reilly, 2024, ISBN 9781098109417)
★ 2.025+0Perubahan bintang dalam 7 hari terakhir
#87
chapel ↗@chapel-langChapel
Bahasa pemrograman paralel yang produktif.
★ 2.020+1Perubahan bintang dalam 7 hari terakhir
#88
Vale ↗@ValeLangScala
Kompilator untuk bahasa pemrograman Vale - http://vale.dev/
★ 2.008+0Perubahan bintang dalam 7 hari terakhir
#89
fut ↗@fusionlanguageC++
Bahasa pemrograman Fusion. Melakukan transpiling ke C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript, dan OpenCL C.
★ 1.927+0Perubahan bintang dalam 7 hari terakhir
#90
lamdu ↗@lamduHaskell
lamdu - menuju IDE generasi berikutnya
★ 1.899+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik