Topik · ocaml

ocaml

Repositori open source terpantau bertanda ocaml, diurutkan berdasarkan bintang.

Repositori

Total bintang

92.847

Rata-rata bintang

2.443

Porsi

0,00%

Topik yang sering muncul berdampingan dengan ocaml di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda ocaml.

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

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
PDF tidak resmi dan sumber LaTeX untuk 'Category Theory for Programmers' karya Bartosz Milewski.
★ 11.690+9Perubahan bintang dalam 7 hari terakhir
#2
reason ↗@reasonmlOCaml
Kode yang sederhana, cepat, & aman dari segi tipe yang memanfaatkan ekosistem JavaScript & OCaml
★ 10.321-2Perubahan bintang dalam 7 hari terakhir
#3
awesomo ↗@lk-geimfariGo
Proyek open source yang keren. Pilih proyek Anda dan terlibatlah dalam pengembangan Open Source sekarang.
★ 9.932+7Perubahan bintang dalam 7 hari terakhir
#4
ocaml ↗@ocamlOCaml
Sistem inti OCaml: kompiler, runtime system, dan pustaka dasar
★ 6.548+11Perubahan bintang dalam 7 hari terakhir
#5
google-drive-ocamlfuse ↗@astradaOCaml
Sistem file FUSE di atas Google Drive
★ 5.964+5Perubahan bintang dalam 7 hari terakhir
#6
extism ↗@extismRust
Kerangka kerja untuk membangun dengan WebAssembly (wasm). Memuat modul wasm dengan mudah & aman, memindahkan data, memanggil fungsi, dan membangun aplikasi yang dapat diperluas.
★ 5.751+12Perubahan bintang dalam 7 hari terakhir
#7
klipse ↗@viebelHTML
Klipse adalah plugin JavaScript untuk menyematkan cuplikan kode interaktif di blog teknologi.
★ 3.134+0Perubahan bintang dalam 7 hari terakhir
#8
awesome-ocaml ↗@ocaml-community
Koleksi pilihan alat, framework, pustaka, dan artikel OCaml yang luar biasa.
★ 3.112+2Perubahan bintang dalam 7 hari terakhir
#9
FStar ↗@FStarLangF*
Bahasa pemrograman yang berorientasi pada pembuktian
★ 3.103+3Perubahan bintang dalam 7 hari terakhir
#10
mirage ↗@mirageOCaml
MirageOS adalah sistem operasi pustaka yang membangun unikernel.
★ 2.982+1Perubahan bintang dalam 7 hari terakhir
#11
bap ↗@BinaryAnalysisPlatformOCaml
Platform Analisis Biner
★ 2.254+1Perubahan bintang dalam 7 hari terakhir
#12
mina ↗@MinaProtocolOCaml
Mina adalah protokol mata uang kripto dengan blockchain berukuran konstan, meningkatkan skalabilitas sambil tetap menjaga desentralisasi dan keamanan.
★ 2.117+1Perubahan bintang dalam 7 hari terakhir
#13
irmin ↗@mirageOCaml
Irmin adalah database terdistribusi yang mengikuti prinsip desain yang sama dengan Git
★ 1.956-1Perubahan bintang dalam 7 hari terakhir
#14
dune ↗@ocamlOCaml
Sistem build yang dapat disusun untuk OCaml.
★ 1.912+1Perubahan bintang dalam 7 hari terakhir
#15
dream ↗@camlworksOCaml
Web framework yang rapi dan kaya fitur
★ 1.879+1Perubahan bintang dalam 7 hari terakhir
#16
merlin ↗@ocamlOCaml
Penyelesaian kode sensitif konteks untuk OCaml di Vim dan Emacs
★ 1.704+0Perubahan bintang dalam 7 hari terakhir
#17
nodebook ↗@netgustoGo
Nodebook - Web REPL Multi-Bahasa + Penjalan Kode CLI.
★ 1.643+0Perubahan bintang dalam 7 hari terakhir
#18
opam ↗@ocamlOCaml
opam adalah manajer paket berbasis sumber. Mendukung beberapa instalasi compiler secara bersamaan, batasan paket yang fleksibel, dan alur kerja pengembangan yang ramah Git.
★ 1.376+0Perubahan bintang dalam 7 hari terakhir
#19
stategraph ↗@stategraphOCaml
Terraform tanpa hambatan file state
★ 1.279+11Perubahan bintang dalam 7 hari terakhir
#20
SATySFi ↗@gfngfnOCaml
Sistem typesetting fungsional berketik statis
★ 1.247+0Perubahan bintang dalam 7 hari terakhir
#21
hazel ↗@hazelgroveReason
Hazel, lingkungan pemrograman fungsional live dengan typed holes
★ 1.142+2Perubahan bintang dalam 7 hari terakhir
#22
js_of_ocaml ↗@ocsigenOCaml
Compiler dari OCaml ke Javascript.
★ 1.130+0Perubahan bintang dalam 7 hari terakhir
#23
aeneas ↗@AeneasVerifOCaml
Rantai alat verifikasi untuk program Rust
★ 944+8Perubahan bintang dalam 7 hari terakhir
#24
felix ↗@felix-langC
Bahasa Pemrograman Felix
★ 817+0Perubahan bintang dalam 7 hari terakhir
#25
lwt ↗@ocsigenOCaml
Promise Ocaml dan I/O konkuren
★ 792+1Perubahan bintang dalam 7 hari terakhir
#26
ocaml-cohttp ↗@mirageOCaml
Pustaka OCaml untuk klien dan server HTTP menggunakan Lwt atau Async
★ 777+1Perubahan bintang dalam 7 hari terakhir
#27
ocamlformat ↗@ocaml-ppxOCaml
Pemformat otomatis untuk kode OCaml
★ 730+0Perubahan bintang dalam 7 hari terakhir
#28
eio ↗@ocaml-multicoreOCaml
IO gaya langsung berbasis efek untuk OCaml multi-inti
★ 722+0Perubahan bintang dalam 7 hari terakhir
#29
angstrom ↗@inhabitedtypeOCaml
Kombinator parser yang dibuat untuk kecepatan dan efisiensi memori
★ 705+1Perubahan bintang dalam 7 hari terakhir
#30
query-json ↗@davesnxOCaml
Implementasi bahasa terinspirasi jq yang lebih cepat, sederhana, dan portabel dalam OCaml
★ 636+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik

Topik terkait

Yang sedang naik