OCaml
ट्रैक की गई वे ओपन सोर्स रिपॉजिटरी जिनकी मुख्य भाषा OCaml है, स्टार के हिसाब से क्रमबद्ध।
- #1semgrep@semgrep
कई भाषाओं के लिए हल्का स्टेटिक एनालिसिस। सोर्स कोड जैसे दिखने वाले पैटर्न के साथ बग वेरिएंट खोजें।
★ 16,420+96पिछले 7 दिनों में स्टार का बदलाव - #2infer@facebook
Java, C, C++, और Objective-C के लिए एक स्टेटिक एनालाइजर।
★ 15,692+9पिछले 7 दिनों में स्टार का बदलाव - #3reason@reasonml
सरल, तेज़ और टाइप-सुरक्षित कोड जो JavaScript और OCaml इकोसिस्टम का लाभ उठाता है
★ 10,323-1पिछले 7 दिनों में स्टार का बदलाव - #4ocaml@ocaml
कोर OCaml सिस्टम: कंपाइलर, रनटाइम सिस्टम, बेस लाइब्रेरी।
★ 6,537+12पिछले 7 दिनों में स्टार का बदलाव - #5magic-trace@janestreet
magic-trace किसी प्रक्रिया के काम करने के हाई-रिज़ॉल्यूशन ट्रेस एकत्र करता है और प्रदर्शित करता है
★ 6,250+13पिछले 7 दिनों में स्टार का बदलाव - #6google-drive-ocamlfuse@astrada
Google Drive पर FUSE फाइलसिस्टम।
★ 5,961+1पिछले 7 दिनों में स्टार का बदलाव - #7rocq@rocq-prover
Rocq Prover एक इंटरैक्टिव थ्योरम प्रोवर, या प्रूफ असिस्टेंट है। यह मशीन-जांच किए गए प्रमाणों के अर्द्ध-इंटरैक्टिव विकास के लिए एक वातावरण के साथ गणितीय परिभाषाओं, निष्पादित एल्गोरिदम और प्रमेयों को लिखने के लिए एक औपचारिक भाषा प्रदान करता है।
★ 5,557+8पिछले 7 दिनों में स्टार का बदलाव - #8unison@bcpierce00
यूनिसन फ़ाइल सिंक्रोनाइज़र
★ 5,456+7पिछले 7 दिनों में स्टार का बदलाव - #9opengrep@opengrep
🔎 कोड में सुरक्षा समस्याओं को खोजने के लिए स्टेटिक कोड विश्लेषण इंजन।
★ 2,996+21पिछले 7 दिनों में स्टार का बदलाव - #10mirage@mirage
MirageOS एक लाइब्रेरी ऑपरेटिंग सिस्टम है जो यूनीकर्नल बनाता है
★ 2,980+2पिछले 7 दिनों में स्टार का बदलाव - #11comby@comby-tools
स्ट्रक्चरल सर्च और रिप्लेस के लिए एक कोड रीराइट टूल जो लगभग हर भाषा को सपोर्ट करता है।
★ 2,670+0पिछले 7 दिनों में स्टार का बदलाव - #122027QuantInternships@northwesternfintech
सार्वजनिक क्वांट इंटर्नशिप रिपॉजिटरी, NUFT द्वारा अनुरक्षित लेकिन सभी के लिए उपलब्ध।
★ 2,467+12पिछले 7 दिनों में स्टार का बदलाव - #13catala@CatalaLang
साक्षर प्रोग्रामिंग कानून विनिर्देश के लिए प्रोग्रामिंग भाषा
★ 2,369+4पिछले 7 दिनों में स्टार का बदलाव - #14bap@BinaryAnalysisPlatform
बाइनरी विश्लेषण प्लेटफ़ॉर्म
★ 2,254+5पिछले 7 दिनों में स्टार का बदलाव - #15mina@MinaProtocol
Mina एक क्रिप्टोकरेंसी प्रोटोकॉल है जिसका ब्लॉकचेन आकार स्थिर है, जो विकेंद्रीकरण और सुरक्षा बनाए रखते हुए स्केलिंग में सुधार करता है।
★ 2,117+1पिछले 7 दिनों में स्टार का बदलाव - #16irmin@mirage
Irmin एक वितरित डेटाबेस है जो Git के समान डिज़ाइन सिद्धांतों का पालन करता है।
★ 1,957+5पिछले 7 दिनों में स्टार का बदलाव - #17dune@ocaml
OCaml के लिए एक कंपोज़ेबल बिल्ड सिस्टम।
★ 1,911+2पिछले 7 दिनों में स्टार का बदलाव - #18dream@camlworks
व्यवस्थित, फ़ीचर-कम्प्लीट Web फ्रेमवर्क
★ 1,877+2पिछले 7 दिनों में स्टार का बदलाव - #19bincat@airbus-seclab
IDA इंटीग्रेशन के साथ बाइनरी कोड स्टेटिक एनालाइज़र। यह वैल्यू और टेंट एनालिसिस, टाइप रीकंस्ट्रक्शन, यूज़-आफ्टर-फ्री और डबल-फ्री डिटेक्शन करता है
★ 1,872+2पिछले 7 दिनों में स्टार का बदलाव - #20liquidsoap@savonet
Liquidsoap एक statically typed scripting general-purpose भाषा है जिसमें मीडिया, स्ट्रीमिंग, फ़ाइल जनरेशन, स्वचालन, HTTP बैकएंड और अधिक के लिए समर्पित ऑपरेटर्स और बैकएंड हैं।
★ 1,721+2पिछले 7 दिनों में स्टार का बदलाव - #21merlin@ocaml
Vim और Emacs में OCaml के लिए संदर्भ-संवेदनशील पूर्णता
★ 1,703+3पिछले 7 दिनों में स्टार का बदलाव - #22plzoo@andrejbauer
प्रोग्रामिंग भाषाओं का चिड़ियाघर (Programming Languages Zoo)
★ 1,592+0पिछले 7 दिनों में स्टार का बदलाव - #23austral@austral
रैखिक प्रकारों और क्षमता-आधारित सुरक्षा के साथ सिस्टम भाषा।
★ 1,572+3पिछले 7 दिनों में स्टार का बदलाव - #24incremental@janestreet
इन्क्रीमेंटल कंप्यूटेशन के लिए एक लाइब्रेरी
★ 1,501+6पिछले 7 दिनों में स्टार का बदलाव - #25bonsai@janestreet
Js_of_ocaml का उपयोग करके गतिशील वेबऐप बनाने के लिए एक लाइब्रेरी।
★ 1,391+5पिछले 7 दिनों में स्टार का बदलाव - #26opam@ocaml
opam एक सोर्स-आधारित पैकेज मैनेजर है। यह एक साथ कई कंपाइलर इंस्टॉलेशन, लचीले पैकेज बाधाओं और Git-अनुकूल विकास वर्कफ़्लो का समर्थन करता है।
★ 1,376+2पिछले 7 दिनों में स्टार का बदलाव - #27owl@owlbarn
Owl - OCaml वैज्ञानिक कंप्यूटिंग @ https://ocaml.xyz
★ 1,351+1पिछले 7 दिनों में स्टार का बदलाव - #28core@janestreet
Jane Street Capital की मानक लाइब्रेरी ओवरले
★ 1,319+3पिछले 7 दिनों में स्टार का बदलाव - #29stategraph@stategraph
स्टेट फाइल बॉटलनैक के बिना Terraform
★ 1,269+6पिछले 7 दिनों में स्टार का बदलाव - #30book@realworldocaml
रियल वर्ल्ड OCaml का V2
★ 1,261+1पिछले 7 दिनों में स्टार का बदलाव
