4
Wyvern adalah bahasa pengaturcaraan baru yang direka untuk membantu pemaju menjadi sangat produktif ketika menulis aplikasi jaminan tinggi.Inovasi utama yang pertama di Wyvern adalah bahasa jenis khusus, ciri yang membolehkan para pengaturcara membuat literal dari jenis tertentu (misalnya jenis SQLQuery) dalam bahasa yang sesuai dengan jenis tersebut (misalnya SQL).Kami sedang mengusahakan model objek Wyvern dan menyediakan arkitek dengan lebih banyak kawalan seni bina.
wyvern
ciri-ciri
Kategori
Alternatif untuk Wyvern untuk BSD
1126
515
250
243
178
146
Lua
Lua adalah bahasa skrip yang kuat, cepat, ringan, tersembunyi.
123
61
53
27
Nim (programming language)
Nim adalah bahasa pemrograman ditaip statik, yang mempunyai sistem makro yang kuat yang cuba memberikan kuasa muktamad pengatur tanpa kompromi pada kecekapan runtime.
2
Chibi Scheme
Skema Chibi adalah perpustakaan yang sangat kecil tanpa kebergantungan luar yang dimaksudkan untuk digunakan sebagai bahasa lanjutan dan skrip dalam program C.
2
Jim Tcl — The Jim Interpreter
Jim adalah penerapan langkah-langkah kecil dalam penggunaan bahasa pengaturcaraan Tcl.
2
Nim (programming language)
Nim adalah bahasa pengaturcaraan statik yang diketik secara statistik yang cuba memberi kuasa muktamad pengatur tanpa kompromi pada kecekapan runtime.
1
TinyScheme
TinyScheme adalah jurubahasa Skema yang ringan yang menerapkan seberapa besar subset R5RS seperti yang mungkin tanpa menjadi sangat besar dan rumit.